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