analyzer: enable taint state machine by default [PR103533]
[official-gcc.git] / gcc / testsuite / c-c++-common / Waddress-1.c
blob9790a3198818f96df0c26cced6ce414d5a1347fe
1 /* PR c/69768 */
2 /* { dg-do compile } */
3 /* { dg-options "-Waddress" } */
5 static int e;
7 int
8 foo ()
10 return "foo1" != (void *) 0 /* { dg-bogus "comparison with string literal results in unspecified behavior" } */
11 && "foo2" != (const char *) ((void *) 0) /* { dg-bogus "comparison with string literal results in unspecified behavior" } */
12 && "foo3" != (const char *) ((void *) (10 - 10)) /* { dg-bogus "comparison with string literal results in unspecified behavior" } */
13 && "foo4" != (const char *) ((void *) (&e - &e)) /* { dg-warning "15:comparison with string literal results in unspecified behavior" "" { target c } } */
14 && "foo5" != "foo6"; /* { dg-warning "15:comparison with string literal results in unspecified behavior" } */