Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/analyzer/conditionals-notrans.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
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
145
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
1 /* { dg-additional-options "-fno-analyzer-transitivity" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
2 #include "analyzer-decls.h"
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
3
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
4 void test (int i, int j)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
5 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
6 if (i > 4)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
7 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
8 __analyzer_eval (i > 4); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
9 __analyzer_eval (i <= 4); /* { dg-warning "FALSE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
10 __analyzer_eval (i > 3); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
11 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
12
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
13 __analyzer_eval (i > 5); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
14 __analyzer_eval (i != 3); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
15 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
16
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
17 __analyzer_eval (i == 3); /* { dg-warning "FALSE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
18 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
19
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
20 __analyzer_eval (i != 4); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
21 __analyzer_eval (i == 4); /* { dg-warning "FALSE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
22 __analyzer_eval (i == 5); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
23 __analyzer_eval (i != 5); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
24 __analyzer_eval (i < 5); /* { dg-warning "FALSE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
25 __analyzer_eval (i <= 5); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
26
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
27 /* Tests of transitivity. */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
28 if (j < i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
29 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
30 __analyzer_eval (j < i); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
31 __analyzer_eval (j <= 4); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
32 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
33 else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
34 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
35 __analyzer_eval (j >= i); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
36 __analyzer_eval (j > 4); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
37 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
38 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
39 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
40 else
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
41 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
42 __analyzer_eval (i > 4); /* { dg-warning "FALSE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
43 __analyzer_eval (i <= 4); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
44 __analyzer_eval (i > 3); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
45
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
46 __analyzer_eval (i > 5); /* { dg-warning "FALSE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
47 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
48 __analyzer_eval (i != 3); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
49
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
50 __analyzer_eval (i == 3); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
51
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
52 __analyzer_eval (i != 4); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
53 __analyzer_eval (i == 4); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
54 __analyzer_eval (i == 5); /* { dg-warning "FALSE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
55 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
56 __analyzer_eval (i != 5); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
57 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
58 __analyzer_eval (i < 5); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
59 __analyzer_eval (i <= 5); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
60 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
61 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
62 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
63
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
64 void test_2 (int i, int j, int k)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
65 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
66 if (i >= j)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
67 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
68 __analyzer_eval (i == k); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
69 if (j >= k)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
70 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
71 __analyzer_eval (i >= k); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
72 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
73 __analyzer_eval (i == k); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
74 if (k >= i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
75 __analyzer_eval (i == k); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
76 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
77 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
78 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
79 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
80
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
81 void test_3 (int flag, unsigned int i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
82 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
83 if (!flag) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
84 return;
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
85 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
86
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
87 __analyzer_eval (flag); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
88
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
89 if (i>0) {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
90 __analyzer_eval (i > 0); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
91 __analyzer_eval (flag); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
92 } else {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
93 __analyzer_eval (i <= 0); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
94 __analyzer_eval (flag); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
95 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
96
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
97 __analyzer_eval (flag); /* { dg-warning "TRUE" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
98 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
99
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
100 void test_range_int_gt_lt (int i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
101 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
102 if (i > 3)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
103 if (i < 5)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
104 __analyzer_eval (i == 4); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
105 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
106 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
107
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
108 void test_range_float_gt_lt (float f)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
109 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
110 if (f > 3)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
111 if (f < 5)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
112 __analyzer_eval (f == 4); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
113 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
114
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
115 void test_range_int_ge_lt (int i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
116 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
117 if (i >= 4)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
118 if (i < 5)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
119 __analyzer_eval (i == 4); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
120 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
121 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
122
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
123 void test_range_float_ge_lt (float f)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
124 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
125 if (f >= 4)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
126 if (f < 5)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
127 __analyzer_eval (f == 4); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
128 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
129
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
130 void test_range_int_gt_le (int i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
131 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
132 if (i > 3)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
133 if (i <= 4)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
134 __analyzer_eval (i == 4); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
135 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
136 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
137
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
138 void test_range_float_gt_le (float f)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
139 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
140 if (f > 3)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
141 if (f <= 4)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
142 __analyzer_eval (f == 4); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
143 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
144
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
145 void test_range_int_ge_le (int i)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
146 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
147 if (i >= 4)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
148 if (i <= 4)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
149 __analyzer_eval (i == 4); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
150 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
151 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
152
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
153 void test_range_float_ge_le (float f)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
154 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
155 if (f >= 4)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
156 if (f <= 4)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
157 __analyzer_eval (f == 4); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
158 /* { dg-bogus "UNKNOWN" "status quo" { xfail *-*-* } .-1 } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
159 }
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
160
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
161 void test_float_selfcmp (float f)
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
162 {
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
163 __analyzer_eval (f == f); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
164 __analyzer_eval (f != f); /* { dg-warning "UNKNOWN" } */
1830386684a0 gcc-9.2.0
anatofuz
parents:
diff changeset
165 }