| /* { dg-additional-options "-fno-analyzer-transitivity" } */ | |
| #include "analyzer-decls.h" | |
| int foo (void); | |
| /* Infeasible path, requiring transitivity to find. */ | |
| void test_1 (int co, int y) | |
| { | |
| if (4 < co) | |
| if (co < y) | |
| if (y == 0) | |
| __analyzer_dump_path (); /* { dg-message "path" } */ | |
| } | |
| /* Infeasible path, requiring transitivity to find, with a merger. */ | |
| void test_2 (int co, int y, int z) | |
| { | |
| if (4 < co) | |
| if (co < y) | |
| if (y == 0) | |
| { | |
| while (foo ()) | |
| { | |
| } | |
| __analyzer_dump_path (); /* { dg-message "path" } */ | |
| } | |
| } |