| /* Verify that we consider various paths to be impossible, |
| using functions to thwart early optimizations. */ |
| |
| #include "analyzer-decls.h" |
| |
| void test_1 (int idx) |
| { |
| if (idx > 0) |
| if (idx - 1 < 0) |
| __analyzer_dump_path (); /* { dg-bogus "" } */ |
| } |
| |
| static int called_by_test_1a (int idx) |
| { |
| return idx - 1; |
| } |
| |
| void test_1a (int idx) |
| { |
| if (idx > 0) |
| if (called_by_test_1a (idx) < 0) |
| __analyzer_dump_path (); /* { dg-bogus "" } */ |
| } |
| |
| void test_2 (int idx) |
| { |
| if (idx + 1 > 0) |
| if (idx < 0) |
| __analyzer_dump_path (); /* { dg-bogus "" } */ |
| } |
| |
| static int called_by_test_2a (int idx) |
| { |
| return idx + 1; |
| } |
| |
| void test_2a (int idx) |
| { |
| if (called_by_test_2a (idx) > 0) |
| if (idx < 0) |
| __analyzer_dump_path (); /* { dg-bogus "" } */ |
| } |
