1// REQUIRES: target={{x86_64.*}}
2//
3// RUN: %clangxx -fsanitize=builtin -fno-inline -w %s -O3 -o %t
4// RUN: %run %t 2>&1 | FileCheck %s --check-prefix=RECOVER
5// RUN: %clangxx -fsanitize=builtin -fno-inline -fno-sanitize-recover=builtin -w %s -O3 -o %t.abort
6// RUN: not %run %t.abort 2>&1 | FileCheck %s --check-prefix=ABORT
7
8void check_ctz(int n) {
9 // ABORT: builtins.cpp:[[@LINE+2]]:17: runtime error: passing zero to __builtin_ctz(), which is not a valid argument
10 // RECOVER: builtins.cpp:[[@LINE+1]]:17: runtime error: passing zero to __builtin_ctz(), which is not a valid argument
11 __builtin_ctz(n);
12
13 // RECOVER: builtins.cpp:[[@LINE+1]]:18: runtime error: passing zero to __builtin_ctz(), which is not a valid argument
14 __builtin_ctzl(n);
15
16 // RECOVER: builtins.cpp:[[@LINE+1]]:19: runtime error: passing zero to __builtin_ctz(), which is not a valid argument
17 __builtin_ctzll(n);
18}
19
20void check_clz(int n) {
21 // RECOVER: builtins.cpp:[[@LINE+1]]:17: runtime error: passing zero to __builtin_clz(), which is not a valid argument
22 __builtin_clz(n);
23
24 // RECOVER: builtins.cpp:[[@LINE+1]]:18: runtime error: passing zero to __builtin_clz(), which is not a valid argument
25 __builtin_clzl(n);
26
27 // RECOVER: builtins.cpp:[[@LINE+1]]:19: runtime error: passing zero to __builtin_clz(), which is not a valid argument
28 __builtin_clzll(n);
29}
30
31void check_assume(int n) {
32 // RECOVER: builtins.cpp:[[@LINE+1]]:20: runtime error: assumption is violated during execution
33 __builtin_assume(n);
34}
35
36void check_assume_attr(int n) {
37 // RECOVER: builtins.cpp:[[@LINE+1]]:25: runtime error: assumption is violated during execution
38 __attribute__((assume(n)));
39}
40
41int main() {
42 check_ctz(n: 0);
43 check_clz(n: 0);
44 check_assume(n: 0);
45 check_assume_attr(n: 0);
46 return 0;
47}
48

Provided by KDAB

Privacy Policy
Improve your Profiling and Debugging skills
Find out more

source code of compiler-rt/test/ubsan/TestCases/Misc/builtins.cpp