diff options
| -rw-r--r-- | compiler-rt/test/ubsan/TestCases/coverage.cc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/compiler-rt/test/ubsan/TestCases/coverage.cc b/compiler-rt/test/ubsan/TestCases/coverage.cc new file mode 100644 index 00000000000..d34e570f867 --- /dev/null +++ b/compiler-rt/test/ubsan/TestCases/coverage.cc @@ -0,0 +1,17 @@ +// RUN: %clangxx -O1 -fsanitize-coverage=func %s -o %t +// RUN: %env_ubsan_opts=coverage=1:coverage_bitset=1:verbosity=1 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1 +// RUN: %clangxx -O1 -fsanitize-coverage=bb %s -o %t +// RUN: %env_ubsan_opts=coverage=1:coverage_bitset=1:verbosity=1 %run %t 2>&1 | FileCheck %s --check-prefix=CHECK2 +// +// UNSUPPORTED: ubsan-tsan +// UNSUPPORTED: android +volatile int sink; +int main(int argc, char **argv) { + if (argc == 0) + sink = 0; +} + +// CHECK1: CovDump: bitset of 1 bits written for '{{.*}}', 1 bits are set +// CHECK1: 1 PCs written +// CHECK2: CovDump: bitset of 2 bits written for '{{.*}}', 1 bits are set +// CHECK2: 1 PCs written |
