diff options
Diffstat (limited to 'test/msan/coverage-levels.cc')
| -rw-r--r-- | test/msan/coverage-levels.cc | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/test/msan/coverage-levels.cc b/test/msan/coverage-levels.cc new file mode 100644 index 000000000000..7c2e143d3ab8 --- /dev/null +++ b/test/msan/coverage-levels.cc @@ -0,0 +1,28 @@ +// Test various levels of coverage +// +// RUN: %clangxx_msan -DINIT_VAR=1 -O1 -fsanitize-coverage=1 %s -o %t +// RUN: mkdir -p %T/coverage-levels +// RUN: MSAN_OPTIONS=coverage=1:verbosity=1:coverage_dir=%T/coverage-levels %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1 --check-prefix=CHECK_NOWARN +// RUN: %clangxx_msan -O1 -fsanitize-coverage=1 %s -o %t +// RUN: MSAN_OPTIONS=coverage=1:verbosity=1:coverage_dir=%T/coverage-levels not %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1 --check-prefix=CHECK_WARN +// RUN: %clangxx_msan -O1 -fsanitize-coverage=2 %s -o %t +// RUN: MSAN_OPTIONS=coverage=1:verbosity=1:coverage_dir=%T/coverage-levels not %run %t 2>&1 | FileCheck %s --check-prefix=CHECK2 --check-prefix=CHECK_WARN +// RUN: %clangxx_msan -O1 -fsanitize-coverage=3 %s -o %t +// RUN: MSAN_OPTIONS=coverage=1:verbosity=1:coverage_dir=%T/coverage-levels not %run %t 2>&1 | FileCheck %s --check-prefix=CHECK3 --check-prefix=CHECK_WARN +// +volatile int sink; +int main(int argc, char **argv) { + int var; +#if INIT_VAR + var = 0; +#endif + if (argc == 0) + sink = 0; + return *(volatile int*)&var; +} + +// CHECK_WARN: WARNING: MemorySanitizer: use-of-uninitialized-value +// CHECK_NOWARN-NOT: ERROR +// CHECK1: 1 PCs written +// CHECK2: 2 PCs written +// CHECK3: 3 PCs written |