diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-15 19:21:25 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-16 05:49:44 +0100 |
| commit | 1b84ed358f51f36c0dd1f69ce45a158f82b5f140 (patch) | |
| tree | 89605c73b327818ad6dd5f899fdc78ea6a22a65f /executor/executor_bsd.h | |
| parent | f213e07ead587b07a84e60c356520bce7277166c (diff) | |
executor: don't use coverage edges for gvisor
gvisor coverage is not a trace, so producing edges won't work.
Diffstat (limited to 'executor/executor_bsd.h')
| -rw-r--r-- | executor/executor_bsd.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/executor/executor_bsd.h b/executor/executor_bsd.h index 65d9fd925..fa31099fe 100644 --- a/executor/executor_bsd.h +++ b/executor/executor_bsd.h @@ -168,12 +168,7 @@ static void cover_collect(cover_t* cov) cov->size = *(uint64*)cov->data; } -static bool cover_check(uint32 pc) -{ - return true; -} - -static bool cover_check(uint64 pc) +static bool use_cover_edges(uint64 pc) { return true; } |
