diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-06 12:54:09 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-09 09:22:14 +0100 |
| commit | 716124b06a7c7d1e482f90d16f88db80dab0964b (patch) | |
| tree | c0fa701a21d9201e5433383c130b035417e0576d /executor/executor.cc | |
| parent | 99917735b6a974a09d3833c34b3d4a8b8198522d (diff) | |
executor: minor coverage filter cleanup
Slightly reduce number of ifdef's, define coverage_filter only
in shmem mode and remove unnecessary cast.
Diffstat (limited to 'executor/executor.cc')
| -rw-r--r-- | executor/executor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 7c31f9cc2..10bed012c 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -878,7 +878,7 @@ void write_coverage_signal(cover_t* cov, uint32* signal_count_pos, uint32* cover } cover_data_t sig = pc ^ prev; prev = hash(pc); - if (flag_coverage_filter && !coverage_filter((uint64)pc)) + if (!coverage_filter(pc)) continue; if (dedup(sig)) continue; |