1 /* { dg-options "-fdump-tree-sanopt" } */
2 /* { dg-do compile } */
3 /* { dg-skip-if "" { *-*-* } { "*" } { "-O0" } } */
4
5 char e[5];
6
7 extern struct S
8 {
9 int a;
10 char b;
11 } s;
12
13 int
foo(int * a,char * b,char * c)14 foo (int *a, char *b, char *c)
15 {
16 int d = __builtin_memcmp (&s.a, e, 4);
17 /* No check because s.a was instrumented above with access size 4. */
18 return s.a;
19 }
20
21 /* { dg-final { scan-tree-dump-not "& 7" "sanopt" } } */
22 /* { dg-final { scan-tree-dump-not "__builtin___asan_report_load4" "sanopt" } } */
23