Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/g++.dg/warn/Walways-true-1.C @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 1830386684a0 |
children |
line wrap: on
line source
// Test -Waddress for testing an address against NULL. // Origin: Ian Lance Taylor <iant@google.com> // { dg-do compile } // { dg-options "-Waddress" } extern int foo (int); int i; void bar (int a) { lab: if (foo) // { dg-warning "7:the address of .int foo\\(int\\). will never be NULL" "correct warning" } foo (0); if (foo (1)) ; if (&i) // { dg-warning "7:the address of .i. will never be NULL" "correct warning" } foo (2); if (i) foo (3); if (&a) // { dg-warning "7:the address of .a. will never be NULL" "correct warning" } foo (4); if (a) foo (5); if (&&lab) // { dg-warning "7:the address of .lab. will never be NULL" "correct warning" } foo (6); if (foo == 0) // { dg-warning "11:the address of .int foo\\(int\\). will never be NULL" "correct warning" } foo (7); if (foo (1) == 0) foo (8); if (&i == 0) // { dg-warning "10:the address of .i. will never be NULL" "correct warning" } foo (9); if (i == 0) foo (10); if (&a == 0) // { dg-warning "10:the address of .a. will never be NULL" "correct warning" } foo (11); if (a == 0) foo (12); if (&&lab == 0) // { dg-warning "13:the address of .lab. will never be NULL" "correct warning" } foo (13); if (0 == foo) // { dg-warning "9:the address of .int foo\\(int\\). will never be NULL" "correct warning" } foo (14); if (0 == foo (1)) foo (15); if (0 == &i) // { dg-warning "9:the address of .i. will never be NULL" "correct warning" } foo (16); if (0 == i) foo (17); if (0 == &a) // { dg-warning "9:the address of .a. will never be NULL" "correct warning" } foo (18); if (0 == a) foo (19); if (0 == &&lab) // { dg-warning "9:the address of .lab. will never be NULL" "correct warning" } foo (20); }