blob: 7e4af3849718583d595a212fd6cdee9a7461bb7d (
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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
#include "analyzer-decls.h"
struct s1
{
char a;
char b;
char c;
char d;
};
struct s2
{
char arr[4];
};
struct s3
{
struct inner {
char a;
char b;
} arr[2];
};
void test_1 ()
{
struct s1 x = {'A', 'B', 'C', 'D'};
__analyzer_eval (x.a == 'A'); /* { dg-warning "TRUE" } */
__analyzer_eval (x.b == 'B'); /* { dg-warning "TRUE" } */
__analyzer_eval (x.c == 'C'); /* { dg-warning "TRUE" } */
__analyzer_eval (x.d == 'D'); /* { dg-warning "TRUE" } */
__analyzer_eval (((struct s2 *)&x)->arr[0] == 'A'); /* { dg-warning "TRUE" } */
__analyzer_eval (((struct s2 *)&x)->arr[1] == 'B'); /* { dg-warning "TRUE" } */
__analyzer_eval (((struct s2 *)&x)->arr[2] == 'C'); /* { dg-warning "TRUE" } */
__analyzer_eval (((struct s2 *)&x)->arr[3] == 'D'); /* { dg-warning "TRUE" } */
struct s3 *p3 = (struct s3 *)&x;
__analyzer_eval (p3->arr[0].a == 'A'); /* { dg-warning "TRUE" } */
__analyzer_eval (p3->arr[0].b == 'B'); /* { dg-warning "TRUE" } */
__analyzer_eval (p3->arr[1].a == 'C'); /* { dg-warning "TRUE" } */
__analyzer_eval (p3->arr[1].b == 'D'); /* { dg-warning "TRUE" } */
((struct s2 *)&x)->arr[1] = '#';
__analyzer_eval (((struct s2 *)&x)->arr[1] == '#'); /* { dg-warning "TRUE" } */
__analyzer_eval (x.b == '#'); /* { dg-warning "TRUE" } */
__analyzer_eval (p3->arr[0].b == '#'); /* { dg-warning "TRUE" } */
}
void test_2 ()
{
struct s2 x = {{'A', 'B', 'C', 'D'}};
__analyzer_eval (x.arr[0] == 'A'); /* { dg-warning "TRUE" } */
__analyzer_eval (x.arr[1] == 'B'); /* { dg-warning "TRUE" } */
__analyzer_eval (x.arr[2] == 'C'); /* { dg-warning "TRUE" } */
__analyzer_eval (x.arr[3] == 'D'); /* { dg-warning "TRUE" } */
struct s1 *p = (struct s1 *)&x;
__analyzer_eval (p->a == 'A'); /* { dg-warning "TRUE" } */
__analyzer_eval (p->b == 'B'); /* { dg-warning "TRUE" } */
__analyzer_eval (p->c == 'C'); /* { dg-warning "TRUE" } */
__analyzer_eval (p->d == 'D'); /* { dg-warning "TRUE" } */
}
void test_3 ()
{
struct s3 x = {'A', 'B', 'C', 'D'};
__analyzer_eval (x.arr[0].a == 'A'); /* { dg-warning "TRUE" } */
__analyzer_eval (x.arr[0].b == 'B'); /* { dg-warning "TRUE" } */
__analyzer_eval (x.arr[1].a == 'C'); /* { dg-warning "TRUE" } */
__analyzer_eval (x.arr[1].b == 'D'); /* { dg-warning "TRUE" } */
struct s1 *p1 = (struct s1 *)&x;
__analyzer_eval (p1->a == 'A'); /* { dg-warning "TRUE" } */
__analyzer_eval (p1->b == 'B'); /* { dg-warning "TRUE" } */
__analyzer_eval (p1->c == 'C'); /* { dg-warning "TRUE" } */
__analyzer_eval (p1->d == 'D'); /* { dg-warning "TRUE" } */
struct s2 *p2 = (struct s2 *)&x;
__analyzer_eval (p2->arr[0] == 'A'); /* { dg-warning "TRUE" } */
__analyzer_eval (p2->arr[1] == 'B'); /* { dg-warning "TRUE" } */
__analyzer_eval (p2->arr[2] == 'C'); /* { dg-warning "TRUE" } */
__analyzer_eval (p2->arr[3] == 'D'); /* { dg-warning "TRUE" } */
}
|
