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
|
[kernel] Parsing decay.i (no preprocessing)
/* Generated by Frama-C */
struct P {
int val[2][2] ;
};
char t[8];
struct __anonstruct_A_1 {
int A[sizeof(t)] ;
int i ;
};
struct __anonstruct_S_2 {
int A[sizeof(&(t[0]))] ;
int i ;
};
struct __anonstruct_V_3 {
int A[sizeof(&(t[0]))] ;
int i ;
};
char t[8];
void multi_dim_array_decay(void)
{
struct P *pp;
struct P p;
pp = & p;
int *tmp = pp->val[0];
int *tmp_3 = p.val[0];
return;
}
struct __anonstruct_A_1 A = {.A = {1, 2, 3, 4, 5, 6, 7, 8}, .i = 9};
struct __anonstruct_S_2 S = {.A = {1, 2, 3, 4}, .i = 5};
struct __anonstruct_V_3 V = {.A = {1, 2, 3, 4}, .i = 5};
|
