1 /* Test -f*sanitize*=all */
2 /* { dg-do run } */
3 /* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */
4 /* { dg-skip-if "" { *-*-* } { "-flto -fno-fat-lto-objects" } } */
5 /* { dg-options "-fsanitize=undefined,float-cast-overflow,float-divide-by-zero -fno-sanitize=all -fdump-tree-optimized" } */
6
7 int a[4];
8
9 int
f1(int x,int y,int z)10 f1 (int x, int y, int z)
11 {
12 return a[x] + (1 << y) + (100 / z);
13 }
14
15 char *
f2(int x)16 f2 (int x)
17 {
18 char *p = (char *) __builtin_calloc (64, 1);
19 p[x] = 3;
20 return p;
21 }
22
23 int
f3(int x,int * y,double z,double w)24 f3 (int x, int *y, double z, double w)
25 {
26 int a[*y];
27 if (x)
28 __builtin_unreachable ();
29 asm volatile ("" : : "r" (&a[0]));
30 return z / w;
31 }
32
33 int
main()34 main ()
35 {
36 return 0;
37 }
38
39 /* { dg-final { scan-tree-dump-not "__ubsan_" "optimized" } } */
40 /* { dg-final { scan-tree-dump-not "UBSAN_CHECK_" "optimized" } } */
41