1  #include "analyzer-decls.h"
       2  
       3  int get(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  }