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/nocover.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/nocover.h')
| -rw-r--r-- | executor/nocover.h | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/executor/nocover.h b/executor/nocover.h index e23d69162..da0d0e2f7 100644 --- a/executor/nocover.h +++ b/executor/nocover.h @@ -26,12 +26,7 @@ static void cover_unprotect(cover_t* cov) { } -static bool cover_check(uint32 pc) -{ - return true; -} - -static bool cover_check(uint64 pc) +static bool use_cover_edges(uint64 pc) { return true; } |