diff options
author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2016-06-14 21:33:59 +0000 |
---|---|---|
committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2016-06-14 21:33:59 +0000 |
commit | 57882988078171781d865d4eca69bdfcd3ab339c (patch) | |
tree | d272f4d137401b5474dfb86574d5ef3cc7ec47d2 /test/ubsan | |
parent | ea253ae8c9857f0cb542e8fe049a0411e2a3072e (diff) |
Compiler-rt test for sanitizer coverage w/o sanitizers.
git-svn-id: https://llvm.org/svn/llvm-project/compiler-rt/trunk@272718 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/ubsan')
-rw-r--r-- | test/ubsan/TestCases/coverage.cc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/test/ubsan/TestCases/coverage.cc b/test/ubsan/TestCases/coverage.cc new file mode 100644 index 000000000..d34e570f8 --- /dev/null +++ b/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 |