blob: 8d0c295087656c1d9d5dfa65587db74989ad1f55 (
plain)
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 "-fanalyzer-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-bogus "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-bogus "path" } */
}
}
|