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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
/* { dg-additional-options "-fno-analyzer-state-merge" } */
#include "analyzer-decls.h"
static void __analyzer_only_called_when_flag_a_true (int i)
{
__analyzer_eval (i == 42); /* { dg-warning "TRUE" } */
}
static void __analyzer_only_called_when_flag_b_true (int i)
{
__analyzer_eval (i == 17); /* { dg-warning "TRUE" } */
}
int test_1 (int flag_a, int flag_b)
{
int i = 17;
__analyzer_eval (flag_a); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (flag_b); /* { dg-warning "UNKNOWN" } */
if (flag_a)
{
__analyzer_eval (flag_a); /* { dg-warning "TRUE" } */
__analyzer_eval (flag_b); /* { dg-warning "UNKNOWN" } */
i = 42;
}
__analyzer_eval (flag_b); /* { dg-warning "UNKNOWN" } */
if (flag_a)
{
__analyzer_eval (flag_a); /* { dg-warning "TRUE" } */
__analyzer_eval (flag_b); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i == 42); /* { dg-warning "TRUE" } */
__analyzer_eval (i == 17); /* { dg-warning "FALSE" } */
__analyzer_only_called_when_flag_a_true (i);
}
else
{
__analyzer_eval (flag_a); /* { dg-warning "FALSE" } */
__analyzer_eval (flag_b); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i == 42); /* { dg-warning "FALSE" } */
__analyzer_eval (i == 17); /* { dg-warning "TRUE" } */
__analyzer_only_called_when_flag_b_true (i);
}
}
|
