analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / testsuite / c-c++-common / pr51628-33.c
blob6b5e277b7c6db08299db46ed34ea9ac451d76fb8
1 /* PR c/51628. */
2 /* { dg-do compile } */
3 /* { dg-options "-O" } */
5 struct pair_t
7 char x;
8 int i[4];
9 } __attribute__ ((packed, aligned (4)));
11 extern struct pair_t p;
12 extern void bar (int *);
14 void
15 foo (struct pair_t *p)
17 bar (p ? p->i : (int *) 0);
18 /* { dg-warning "may result in an unaligned pointer value" "" { target { ! default_packed } } .-1 } */