1  /* { dg-additional-options "-fno-analyzer-transitivity" } */
       2  
       3  #include "analyzer-decls.h"
       4  
       5  int foo (void);
       6  
       7  /* Infeasible path, requiring transitivity to find.  */
       8  
       9  void test_1 (int co, int y)
      10  {
      11    if (4 < co)
      12      if (co < y)
      13        if (y == 0)
      14  	__analyzer_dump_path (); /* { dg-message "path" } */
      15  }
      16  
      17  /* Infeasible path, requiring transitivity to find, with a merger.  */
      18  
      19  void test_2 (int co, int y, int z)
      20  {
      21    if (4 < co)
      22      if (co < y)
      23        if (y == 0)
      24  	{
      25  	  while (foo ())
      26  	    {
      27  	    }
      28  	  __analyzer_dump_path (); /* { dg-message "path" } */
      29  	}
      30  }