URL
https://opencores.org/ocsvn/openrisc_me/openrisc_me/trunk
Subversion Repositories openrisc_me
[/] [openrisc/] [trunk/] [gnu-src/] [gcc-4.5.1/] [gcc/] [testsuite/] [gcc.dg/] [Walways-true-1.c] - Rev 305
Go to most recent revision | Compare with Previous | Blame | View Log
/* Test -Waddress for testing an address against NULL. Origin: Ian Lance Taylor <iant@google.com>. */ /* { dg-do compile} */ /* { dg-options "-Waddress -fshow-column" } */ extern int foo (int); int i; void bar (int a) { lab: if (foo) /* { dg-warning "7:always evaluate as" "correct warning" } */ foo (0); if (foo (1)) ; if (&i) /* { dg-warning "7:always evaluate as" "correct warning" } */ foo (2); if (i) foo (3); if (&a) /* { dg-warning "7:always evaluate as" "correct warning" } */ foo (4); if (a) foo (5); if (&&lab) /* { dg-warning "7:always evaluate as" "correct warning" } */ foo (6); if (foo == 0) /* { dg-warning "11:never be NULL" "correct warning" } */ foo (7); if (foo (1) == 0) foo (8); if (&i == 0) /* { dg-warning "10:never be NULL" "correct warning" } */ foo (9); if (i == 0) foo (10); if (&a == 0) /* { dg-warning "10:never be NULL" "correct warning" } */ foo (11); if (a == 0) foo (12); if (&&lab == 0) /* { dg-warning "13:never be NULL" "correct warning" } */ foo (13); if (0 == foo) /* { dg-warning "9:never be NULL" "correct warning" } */ foo (14); if (0 == foo (1)) foo (15); if (0 == &i) /* { dg-warning "9:never be NULL" "correct warning" } */ foo (16); if (0 == i) foo (17); if (0 == &a) /* { dg-warning "9:never be NULL" "correct warning" } */ foo (18); if (0 == a) foo (19); if (0 == &&lab) /* { dg-warning "9:never be NULL" "correct warning" } */ foo (20); }
Go to most recent revision | Compare with Previous | Blame | View Log