1*eb8b6fe7SRoman Lebedev // RUN: %clang -x c -fsanitize=pointer-overflow -O0 %s -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB-C
2*eb8b6fe7SRoman Lebedev // RUN: %clang -x c -fsanitize=pointer-overflow -O1 %s -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB-C
3*eb8b6fe7SRoman Lebedev // RUN: %clang -x c -fsanitize=pointer-overflow -O2 %s -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB-C
4*eb8b6fe7SRoman Lebedev // RUN: %clang -x c -fsanitize=pointer-overflow -O3 %s -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB-C
5*eb8b6fe7SRoman Lebedev
6536b0ee4SRoman Lebedev // RUN: %clang -x c++ -fsanitize=pointer-overflow -O0 %s -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK
7536b0ee4SRoman Lebedev // RUN: %clang -x c++ -fsanitize=pointer-overflow -O1 %s -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK
8536b0ee4SRoman Lebedev // RUN: %clang -x c++ -fsanitize=pointer-overflow -O2 %s -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK
9536b0ee4SRoman Lebedev // RUN: %clang -x c++ -fsanitize=pointer-overflow -O3 %s -o %t && %run %t 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK
10536b0ee4SRoman Lebedev
11*eb8b6fe7SRoman Lebedev // RUN: %clang -x c -fsanitize=pointer-overflow -O0 %s -o %t && %run %t I_AM_UB 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB
12*eb8b6fe7SRoman Lebedev // RUN: %clang -x c -fsanitize=pointer-overflow -O1 %s -o %t && %run %t I_AM_UB 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB
13*eb8b6fe7SRoman Lebedev // RUN: %clang -x c -fsanitize=pointer-overflow -O2 %s -o %t && %run %t I_AM_UB 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB
14*eb8b6fe7SRoman Lebedev // RUN: %clang -x c -fsanitize=pointer-overflow -O3 %s -o %t && %run %t I_AM_UB 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB
15*eb8b6fe7SRoman Lebedev
16536b0ee4SRoman Lebedev // RUN: %clang -x c++ -fsanitize=pointer-overflow -O0 %s -o %t && %run %t I_AM_UB 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB
17536b0ee4SRoman Lebedev // RUN: %clang -x c++ -fsanitize=pointer-overflow -O1 %s -o %t && %run %t I_AM_UB 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB
18536b0ee4SRoman Lebedev // RUN: %clang -x c++ -fsanitize=pointer-overflow -O2 %s -o %t && %run %t I_AM_UB 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB
19536b0ee4SRoman Lebedev // RUN: %clang -x c++ -fsanitize=pointer-overflow -O3 %s -o %t && %run %t I_AM_UB 2>&1 | FileCheck %s --implicit-check-not="error:" --check-prefix=CHECK-UB
20536b0ee4SRoman Lebedev
21536b0ee4SRoman Lebedev #include <stdint.h>
22536b0ee4SRoman Lebedev #include <stdio.h>
23536b0ee4SRoman Lebedev
24536b0ee4SRoman Lebedev // Just so deduplication doesn't do anything.
getelementpointer_inbounds_v0(char * base,unsigned long offset)25536b0ee4SRoman Lebedev static char *getelementpointer_inbounds_v0(char *base, unsigned long offset) {
26536b0ee4SRoman Lebedev // Potentially UB.
27536b0ee4SRoman Lebedev return base + offset;
28536b0ee4SRoman Lebedev }
29536b0ee4SRoman Lebedev
main(int argc,char * argv[])30536b0ee4SRoman Lebedev int main(int argc, char *argv[]) {
31536b0ee4SRoman Lebedev char *base;
32536b0ee4SRoman Lebedev unsigned long offset;
33536b0ee4SRoman Lebedev
34536b0ee4SRoman Lebedev printf("Dummy\n");
35536b0ee4SRoman Lebedev // CHECK: Dummy
36536b0ee4SRoman Lebedev
37536b0ee4SRoman Lebedev base = (char *)0;
38536b0ee4SRoman Lebedev offset = argc - 1;
39536b0ee4SRoman Lebedev (void)getelementpointer_inbounds_v0(base, offset);
40*eb8b6fe7SRoman Lebedev // CHECK-UB: {{.*}}.cpp:[[@LINE-13]]:15: runtime error: applying non-zero offset 1 to null pointer
41*eb8b6fe7SRoman Lebedev // CHECK-UB-C: {{.*}}.cpp:[[@LINE-14]]:15: runtime error: applying zero offset to null pointer
42536b0ee4SRoman Lebedev
43536b0ee4SRoman Lebedev return 0;
44536b0ee4SRoman Lebedev }
45