1// REQUIRES: target={{x86_64.*}}
2//
3// RUN: %clangxx -fsanitize=builtin -w %s -O3 -o %t
4// RUN: %run %t 2>&1 | FileCheck %s --check-prefix=RECOVER
5// RUN: %clangxx -fsanitize=builtin -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 ctz(), which is not a valid argument
10 // RECOVER: builtins.cpp:[[@LINE+1]]:17: runtime error: passing zero to ctz(), which is not a valid argument
11 __builtin_ctz(n);
12
13 // RECOVER: builtins.cpp:[[@LINE+1]]:18: runtime error: passing zero to ctz(), which is not a valid argument
14 __builtin_ctzl(n);
15
16 // RECOVER: builtins.cpp:[[@LINE+1]]:19: runtime error: passing zero to 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 clz(), which is not a valid argument
22 __builtin_clz(n);
23
24 // RECOVER: builtins.cpp:[[@LINE+1]]:18: runtime error: passing zero to clz(), which is not a valid argument
25 __builtin_clzl(n);
26
27 // RECOVER: builtins.cpp:[[@LINE+1]]:19: runtime error: passing zero to clz(), which is not a valid argument
28 __builtin_clzll(n);
29}
30
31int main() {
32 check_ctz(n: 0);
33 check_clz(n: 0);
34 return 0;
35}
36

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