diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-06-10 11:06:30 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-06-11 05:18:24 +0000 |
| commit | 5f02070655b3c1f2ab50a82fd5f466aaeb7af44a (patch) | |
| tree | 6cd193271272ef3357a2be86af98d1edf7889b73 /executor/nocover.h | |
| parent | b7d9eb04f4c510213e29f46db7eab4ec5c72a4ae (diff) | |
executor: add end-to-end coverage/signal/comparisons test
Diffstat (limited to 'executor/nocover.h')
| -rw-r--r-- | executor/nocover.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/executor/nocover.h b/executor/nocover.h index 0ba7a56cc..ba26dd1d5 100644 --- a/executor/nocover.h +++ b/executor/nocover.h @@ -29,6 +29,11 @@ static void cover_unprotect(cover_t* cov) { } +static bool is_kernel_data(uint64 addr) +{ + return false; +} + static bool use_cover_edges(uint64 pc) { return true; |