48 lines · cpp
1// REQUIRES: target={{x86_64.*}}2//3// RUN: %clangxx -fsanitize=builtin -fno-inline -w %s -O3 -o %t4// RUN: %run %t 2>&1 | FileCheck %s --check-prefix=RECOVER5// RUN: %clangxx -fsanitize=builtin -fno-inline -fno-sanitize-recover=builtin -w %s -O3 -o %t.abort6// RUN: not %run %t.abort 2>&1 | FileCheck %s --check-prefix=ABORT7 8void check_ctz(int n) {9 // ABORT: builtins.cpp:[[@LINE+2]]:17: runtime error: passing zero to __builtin_ctz(), which is not a valid argument10 // RECOVER: builtins.cpp:[[@LINE+1]]:17: runtime error: passing zero to __builtin_ctz(), which is not a valid argument11 __builtin_ctz(n);12 13 // RECOVER: builtins.cpp:[[@LINE+1]]:18: runtime error: passing zero to __builtin_ctz(), which is not a valid argument14 __builtin_ctzl(n);15 16 // RECOVER: builtins.cpp:[[@LINE+1]]:19: runtime error: passing zero to __builtin_ctz(), which is not a valid argument17 __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 argument22 __builtin_clz(n);23 24 // RECOVER: builtins.cpp:[[@LINE+1]]:18: runtime error: passing zero to __builtin_clz(), which is not a valid argument25 __builtin_clzl(n);26 27 // RECOVER: builtins.cpp:[[@LINE+1]]:19: runtime error: passing zero to __builtin_clz(), which is not a valid argument28 __builtin_clzll(n);29}30 31void check_assume(int n) {32 // RECOVER: builtins.cpp:[[@LINE+1]]:20: runtime error: assumption is violated during execution33 __builtin_assume(n);34}35 36void check_assume_attr(int n) {37 // RECOVER: builtins.cpp:[[@LINE+1]]:25: runtime error: assumption is violated during execution38 __attribute__((assume(n)));39}40 41int main() {42 check_ctz(0);43 check_clz(0);44 check_assume(0);45 check_assume_attr(0);46 return 0;47}48