Pirama Arumuga Nainar | 799172d | 2016-03-03 15:50:30 -0800 | [diff] [blame^] | 1 | // Test various levels of coverage |
| 2 | // |
| 3 | // FIXME: Port the environment variable logic below for the lit shell. |
| 4 | // REQUIRES: shell |
| 5 | // |
| 6 | // RUN: mkdir -p %T/coverage-levels |
| 7 | // RUN: %clangxx -fsanitize=shift -DGOOD_SHIFT=1 -O1 -fsanitize-coverage=func %s -o %t |
| 8 | // RUN: %env_ubsan_opts=coverage=1:verbosity=1:coverage_dir=%T/coverage-levels %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1 --check-prefix=CHECK_NOWARN |
| 9 | // RUN: %clangxx -fsanitize=undefined -DGOOD_SHIFT=1 -O1 -fsanitize-coverage=func %s -o %t |
| 10 | // RUN: %env_ubsan_opts=coverage=1:verbosity=1:coverage_dir=%T/coverage-levels %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1 --check-prefix=CHECK_NOWARN |
| 11 | |
| 12 | // RUN: %clangxx -fsanitize=shift -O1 -fsanitize-coverage=func %s -o %t |
| 13 | // RUN: %env_ubsan_opts=coverage=1:verbosity=1:coverage_dir=%T/coverage-levels %run %t 2>&1 | FileCheck %s --check-prefix=CHECK1 --check-prefix=CHECK_WARN |
| 14 | // RUN: %clangxx -fsanitize=shift -O1 -fsanitize-coverage=bb %s -o %t |
| 15 | // RUN: %env_ubsan_opts=coverage=1:verbosity=1:coverage_dir=%T/coverage-levels %run %t 2>&1 | FileCheck %s --check-prefix=CHECK2 --check-prefix=CHECK_WARN |
| 16 | // RUN: %clangxx -fsanitize=shift -O1 -fsanitize-coverage=edge %s -o %t |
| 17 | // RUN: %env_ubsan_opts=coverage=1:verbosity=1:coverage_dir=%T/coverage-levels %run %t 2>&1 | FileCheck %s --check-prefix=CHECK3 --check-prefix=CHECK_WARN |
| 18 | |
| 19 | // Coverage is not yet implemented in TSan. |
| 20 | // XFAIL: ubsan-tsan |
| 21 | |
| 22 | volatile int sink; |
| 23 | int main(int argc, char **argv) { |
| 24 | int shift = argc * 32; |
| 25 | #if GOOD_SHIFT |
| 26 | shift = 3; |
| 27 | #endif |
| 28 | if ((argc << shift) == 16) // False. |
| 29 | return 1; |
| 30 | return 0; |
| 31 | } |
| 32 | |
| 33 | // CHECK_WARN: shift exponent 32 is too large |
| 34 | // CHECK_NOWARN-NOT: ERROR |
| 35 | // FIXME: Currently, coverage instrumentation kicks in after ubsan, so we get |
| 36 | // more than the minimal number of instrumented blocks. |
| 37 | // FIXME: Currently, ubsan with -fno-sanitize-recover and w/o asan will fail |
| 38 | // to dump coverage. |
| 39 | // CHECK1: 1 PCs written |
| 40 | // CHECK2: 3 PCs written |
| 41 | // CHECK3: 3 PCs written |