diff options
| author | Marco Elver <elver@google.com> | 2021-02-22 11:54:25 +0100 |
|---|---|---|
| committer | Marco Elver <me@marcoelver.com> | 2021-02-22 12:55:13 +0100 |
| commit | c26fb06b75e80ff45e13dc5cc575c8490c44411d (patch) | |
| tree | aa51b1838f3a78e1fca9d133ebc2b283186842ee /pkg/report/linux.go | |
| parent | a659b3f1dc889d5ab5ead017b877765b3d042379 (diff) | |
pkg/report: ignore kcsan_setup_watchpoint in reports
kcsan_setup_watchpoint() reads the value before and after the delay to
check for value changes. If the memory location is inaccessible, do not
report the bug in kcsan_setup_watchpoint() but instead in the caller.
This also allows properly deduplicating related reports from non-KCSAN
configs.
Diffstat (limited to 'pkg/report/linux.go')
| -rw-r--r-- | pkg/report/linux.go | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkg/report/linux.go b/pkg/report/linux.go index ec3f74dfa..2b29b2154 100644 --- a/pkg/report/linux.go +++ b/pkg/report/linux.go @@ -740,6 +740,7 @@ var linuxStackParams = &stackParams{ "kasan", "__msan", "kmsan", + "kcsan_setup_watchpoint", "check_memory_region", "read_word_at_a_time", "print_address_description", |