gcc/testsuite/c-c++-common/analyzer/pr96650-2-trans.c

   1 /* { dg-additional-options "-fanalyzer-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-bogus "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-bogus "path" } */
  29         }
  30 }