Mercurial > hg > CbC > CbC_gcc

comparison gcc/testsuite/g++.dg/warn/Walways-true-2.C @ 145:1830386684a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
comparison
equal deleted inserted replaced
131:84e7813d76e9 145:1830386684a0
21 ; 21 ;
22 if (&i) 22 if (&i)
23 foo (2); 23 foo (2);
24 if (i) 24 if (i)
25 foo (3); 25 foo (3);
26 if (&a) // { dg-warning "always evaluate as|never be NULL" "correct warning" } 26 if (&a) // { dg-warning "7:the address of .a. will never be NULL" "correct warning" }
27 foo (4); 27 foo (4);
28 if (a) 28 if (a)
29 foo (5); 29 foo (5);
30 if (&&lab) // { dg-warning "always evaluate as|never be NULL" "correct warning" } 30 if (&&lab) // { dg-warning "7:the address of .lab. will never be NULL" "correct warning" }
31 foo (6); 31 foo (6);
32 if (foo == 0) 32 if (foo == 0)
33 foo (7); 33 foo (7);
34 if (foo (1) == 0) 34 if (foo (1) == 0)
35 foo (8); 35 foo (8);
36 if (&i == 0) 36 if (&i == 0)
37 foo (9); 37 foo (9);
38 if (i == 0) 38 if (i == 0)
39 foo (10); 39 foo (10);
40 if (&a == 0) // { dg-warning "never be NULL" "correct warning" } 40 if (&a == 0) // { dg-warning "10:the address of .a. will never be NULL" "correct warning" }
41 foo (11); 41 foo (11);
42 if (a == 0) 42 if (a == 0)
43 foo (12); 43 foo (12);
44 if (&&lab == 0) // { dg-warning "never be NULL" "correct warning" } 44 if (&&lab == 0) // { dg-warning "13:the address of .lab. will never be NULL" "correct warning" }
45 foo (13); 45 foo (13);
46 if (0 == foo) 46 if (0 == foo)
47 foo (14); 47 foo (14);
48 if (0 == foo (1)) 48 if (0 == foo (1))
49 foo (15); 49 foo (15);
50 if (0 == &i) 50 if (0 == &i)
51 foo (16); 51 foo (16);
52 if (0 == i) 52 if (0 == i)
53 foo (17); 53 foo (17);
54 if (0 == &a) // { dg-warning "never be NULL" "correct warning" } 54 if (0 == &a) // { dg-warning "9:the address of .a. will never be NULL" "correct warning" }
55 foo (18); 55 foo (18);
56 if (0 == a) 56 if (0 == a)
57 foo (19); 57 foo (19);
58 if (0 == &&lab) // { dg-warning "never be NULL" "correct warning" } 58 if (0 == &&lab) // { dg-warning "9:the address of .lab. will never be NULL" "correct warning" }
59 foo (20); 59 foo (20);
60 } 60 }