blob: 0d78242381a6be39f4b4a061dd711ad4a7da022f (
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
/* { dg-additional-options "-fno-analyzer-suppress-followups" } */
#include "analyzer-decls.h"
/* The example from store.h */
void test_1 (char a, char b, char c, char d, char e, char f,
int i, int j)
{
char arr[1024]; /* { dg-message "region created on stack here" } */
arr[2] = a; /* (1) */
arr[3] = b; /* (2) */
__analyzer_eval (arr[2] == a); /* { dg-warning "TRUE" } */
__analyzer_eval (arr[3] == b); /* { dg-warning "TRUE" } */
__analyzer_eval (arr[4]); /* { dg-warning "UNKNOWN" "unknown" } */
/* { dg-warning "use of uninitialized value 'arr\\\[4\\\]'" "uninit" { target *-*-* } .-1 } */
/* Replace one concrete binding's value with a different value. */
arr[3] = c; /* (3) */
__analyzer_eval (arr[2] == a); /* { dg-warning "TRUE" } */
__analyzer_eval (arr[3] == c); /* { dg-warning "TRUE" } */
__analyzer_eval (arr[3] == b); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (arr[4]); /* { dg-warning "UNKNOWN" "unknown" } */
/* { dg-warning "use of uninitialized value 'arr\\\[4\\\]'" "uninit" { target *-*-* } .-1 } */
/* Symbolic binding. */
arr[i] = d; /* (4) */
__analyzer_eval (arr[i] == d); /* { dg-warning "TRUE" } */
__analyzer_eval (arr[2] == a); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (arr[3] == c); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (arr[4]); /* { dg-warning "UNKNOWN" } */ /* Don't report uninit. */
/* Replace symbolic binding with a different one. */
arr[j] = e; /* (5) */
__analyzer_eval (arr[j] == e); /* { dg-warning "TRUE" } */
__analyzer_eval (arr[i] == d); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (arr[4]); /* { dg-warning "UNKNOWN" } */ /* Don't report uninit. */
/* Add a concrete binding. */
arr[3] = f; /* (6) */
__analyzer_eval (arr[3] == f); /* { dg-warning "TRUE" } */
__analyzer_eval (arr[j] == e); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (arr[4]); /* { dg-warning "UNKNOWN" } */ /* Don't report uninit. */
}
// TODO: as above, but with int rather than char so there's a cast
|
