aboutsummaryrefslogtreecommitdiffstats
path: root/executor/executor_bsd.h
diff options
context:
space:
mode:
authorDmitry Vyukov <dvyukov@google.com>2020-12-15 19:21:25 +0100
committerDmitry Vyukov <dvyukov@google.com>2020-12-16 05:49:44 +0100
commit1b84ed358f51f36c0dd1f69ce45a158f82b5f140 (patch)
tree89605c73b327818ad6dd5f899fdc78ea6a22a65f /executor/executor_bsd.h
parentf213e07ead587b07a84e60c356520bce7277166c (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.h7
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;
}