gcc/testsuite/gcc.dg/analyzer/pr96650-2-notrans.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

/* { dg-additional-options "-fno-analyzer-transitivity" } */

#include "analyzer-decls.h"

int foo (void);

/* Infeasible path, requiring transitivity to find.  */

void test_1 (int co, int y)
{
  if (4 < co)
    if (co < y)
      if (y == 0)
	__analyzer_dump_path (); /* { dg-message "path" } */
}

/* Infeasible path, requiring transitivity to find, with a merger.  */

void test_2 (int co, int y, int z)
{
  if (4 < co)
    if (co < y)
      if (y == 0)
	{
	  while (foo ())
	    {
	    }
	  __analyzer_dump_path (); /* { dg-message "path" } */
	}
}