1 #include "analyzer-decls.h" 2 3 int get(void); test(void)4 void test (void) 5 { 6 int got = 0; 7 while (1) 8 { 9 if (get ()) 10 got = 1; 11 else 12 if (got) 13 __analyzer_dump_path (); /* { dg-message "path" } */ 14 } 15 } 16