analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / testsuite / c-c++-common / pr51628-31.c
blobb2963581dcbd78d4acb1bab61ea82afd77987036
1 /* PR c/51628. */
2 /* { dg-do compile } */
3 /* { dg-options "-O" } */
5 typedef int v4si __attribute__((vector_size(16)));
6 struct X
8 v4si x;
9 } __attribute__((packed)) x;
11 int *
12 foo()
14 return &x.x[1];
15 /* { dg-warning "may result in an unaligned pointer value" "" { target { ! default_packed } } .-1 } */