Skip several analyzer socket tests on hppa*-*-hpux*
[official-gcc.git] / gcc / testsuite / c-c++-common / analyzer / loop-start-down-to-end-by-1.c
blob092cc97190678ce13f1add91959f8a395780a53f
1 #include "../../gcc.dg/analyzer/analyzer-decls.h"
3 void test(int start, int end, int step)
5 int i;
7 __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */
9 for (i = start; i > end; i --) {
10 __analyzer_eval (i > end); /* { dg-warning "TRUE" "true" } */
11 /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */
12 /* TODO(xfail^^^): should report TRUE twice. */
14 __analyzer_eval (i == start); /* { dg-warning "TRUE" "1st" } */
15 /* { dg-warning "FALSE" "2nd" { xfail *-*-* } .-1 } */
16 /* { dg-warning "UNKNOWN" "status quo" { target *-*-* } .-2 } */
17 /* TODO(xfail^^^): ideally we ought to figure out i > 0 after 1st iteration. */
19 __analyzer_eval (i <= start); /* { dg-warning "TRUE" "true" } */
20 /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */
21 /* TODO(xfail^^^): should report TRUE twice. */
23 __analyzer_dump_exploded_nodes (0); /* { dg-warning "2 processed enodes" } */
26 __analyzer_eval (i >= end); /* { dg-warning "TRUE" "true" { xfail *-*-* } } */
27 /* { dg-bogus "UNKNOWN" "unknown" { xfail *-*-* } .-1 } */
29 // FIXME: do we know this? What if we overshoot?
30 __analyzer_eval (i == end); /* { dg-warning "TRUE" "desired" { xfail *-*-* } } */
31 /* { dg-warning "UNKNOWN" "status quo" { target *-*-* } .-1 } */
32 /* TODO(xfail^^^): it only figures out i >= 256, rather than i == 256. */
34 __analyzer_dump_exploded_nodes (0); /* { dg-warning "1 processed enode" } */