blob: f6064bffb729b42b9264ad6036ac0148830aacc5 [file] [log] [blame]
Tim Duesterhusbce91082021-10-16 17:48:14 +02001@@
2statement S;
3expression E;
4expression F;
5@@
6
7 if (
8(
9dns_hostname_cmp
10|
11eb_memcmp
12|
13memcmp
14|
15strcasecmp
16|
17strcmp
18|
19strncasecmp
20|
21strncmp
22)
23- (E, F)
24+ (E, F) != 0
25 )
26(
27 S
28|
29 { ... }
30)
31
32@@
33statement S;
34expression E;
35expression F;
36@@
37
38 if (
39- !
40(
41dns_hostname_cmp
42|
43eb_memcmp
44|
45memcmp
46|
47strcasecmp
48|
49strcmp
50|
51strncasecmp
52|
53strncmp
54)
55- (E, F)
56+ (E, F) == 0
57 )
58(
59 S
60|
61 { ... }
62)
63
64@@
65expression E;
66expression F;
67expression G;
68@@
69
70(
71G &&
72(
73dns_hostname_cmp
74|
75eb_memcmp
76|
77memcmp
78|
79strcasecmp
80|
81strcmp
82|
83strncasecmp
84|
85strncmp
86)
87- (E, F)
88+ (E, F) != 0
89)
90
91@@
92expression E;
93expression F;
94expression G;
95@@
96
97(
98G ||
99(
100dns_hostname_cmp
101|
102eb_memcmp
103|
104memcmp
105|
106strcasecmp
107|
108strcmp
109|
110strncasecmp
111|
112strncmp
113)
114- (E, F)
115+ (E, F) != 0
116)
117
118@@
119expression E;
120expression F;
121expression G;
122@@
123
124(
125(
126dns_hostname_cmp
127|
128eb_memcmp
129|
130memcmp
131|
132strcasecmp
133|
134strcmp
135|
136strncasecmp
137|
138strncmp
139)
140- (E, F)
141+ (E, F) != 0
142&& G
143)
144
145@@
146expression E;
147expression F;
148expression G;
149@@
150
151(
152(
153dns_hostname_cmp
154|
155eb_memcmp
156|
157memcmp
158|
159strcasecmp
160|
161strcmp
162|
163strncasecmp
164|
165strncmp
166)
167- (E, F)
168+ (E, F) != 0
169|| G
170)
171
172@@
173expression E;
174expression F;
175expression G;
176@@
177
178(
179G &&
180- !
181(
182dns_hostname_cmp
183|
184eb_memcmp
185|
186memcmp
187|
188strcasecmp
189|
190strcmp
191|
192strncasecmp
193|
194strncmp
195)
196- (E, F)
197+ (E, F) == 0
198)
199
200@@
201expression E;
202expression F;
203expression G;
204@@
205
206(
207G ||
208- !
209(
210dns_hostname_cmp
211|
212eb_memcmp
213|
214memcmp
215|
216strcasecmp
217|
218strcmp
219|
220strncasecmp
221|
222strncmp
223)
224- (E, F)
225+ (E, F) == 0
226)
227
228@@
229expression E;
230expression F;
231expression G;
232@@
233
234(
235- !
236(
237dns_hostname_cmp
238|
239eb_memcmp
240|
241memcmp
242|
243strcasecmp
244|
245strcmp
246|
247strncasecmp
248|
249strncmp
250)
251- (E, F)
252+ (E, F) == 0
253&& G
254)
255
256@@
257expression E;
258expression F;
259expression G;
260@@
261
262(
263- !
264(
265dns_hostname_cmp
266|
267eb_memcmp
268|
269memcmp
270|
271strcasecmp
272|
273strcmp
274|
275strncasecmp
276|
277strncmp
278)
279- (E, F)
280+ (E, F) == 0
281|| G
282)
283
284@@
285expression E;
286expression F;
287expression G;
288@@
289
290(
291- !
292(
293dns_hostname_cmp
294|
295eb_memcmp
296|
297memcmp
298|
299strcasecmp
300|
301strcmp
302|
303strncasecmp
304|
305strncmp
306)
307- (E, F)
308+ (E, F) == 0
309)