diff options
| author | Marco Elver <elver@google.com> | 2020-06-15 05:13:42 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-06-15 09:56:18 +0200 |
| commit | 8e3ab94116d1518722c1b341ce88a81b957e90be (patch) | |
| tree | e0eee18c0c5a162b3a67a341ba7edb7ffde111d7 /pkg/csource/generated.go | |
| parent | 2a22c77acf37f7d1907dda704aa5ca5ea28075ca (diff) | |
executor: Improve used terminology
Improve used terminology by using better verbs to express the effect of
the whitelist/blacklist.
This also changes executor to exclusively show respectful log messages,
and as per recent conversion, converts the last such case.
Diffstat (limited to 'pkg/csource/generated.go')
| -rw-r--r-- | pkg/csource/generated.go | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/pkg/csource/generated.go b/pkg/csource/generated.go index fe69f9237..33362b51b 100644 --- a/pkg/csource/generated.go +++ b/pkg/csource/generated.go @@ -8343,15 +8343,16 @@ static void setup_kcsan() } #if SYZ_EXECUTOR -static void setup_kcsan_filterlist(char** frames, int nframes, bool ignore) +static void setup_kcsan_filterlist(char** frames, int nframes, bool suppress) { int fd = open(KCSAN_DEBUGFS_FILE, O_WRONLY); if (fd == -1) fail("failed to open(\"%s\")", KCSAN_DEBUGFS_FILE); - const char* const filtertype = ignore ? "blacklist" : "whitelist"; - printf("adding functions to KCSAN %s: ", filtertype); - dprintf(fd, "%s\n", filtertype); + printf("%s KCSAN reports in functions: ", + suppress ? "suppressing" : "only showing"); + if (!suppress) + dprintf(fd, "whitelist\n"); for (int i = 0; i < nframes; ++i) { printf("'%s' ", frames[i]); dprintf(fd, "!%s\n", frames[i]); |