blob: b2f3a8a1d86b727e559a1eda85061196a6c55d96 (
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
|
/* Verify that -fanalyzer considers that mmfs escapes when passing either:
*(mmfs + i)
and
(&mmfs[i])
to an external function (for symbolic i). */
typedef struct s_mmfile {
char *ptr;
long size;
} mmfile_t;
void init_mmfile(mmfile_t *ptr);
long test__init_via_ptr_arith__read_via_array_idx(int i)
{
mmfile_t mmfs[3];
init_mmfile(mmfs + i);
return mmfs[i].size; /* { dg-bogus "uninit" } */
}
long test__init_via_array_idx__read_via_ptr_arith(int i)
{
mmfile_t mmfs[3];
init_mmfile(&mmfs[i]);
return (mmfs + i)->size; /* { dg-bogus "uninit" } */
}
long test__ptr_arith_for_both(int i)
{
mmfile_t mmfs[3];
init_mmfile(mmfs + i);
return (mmfs + i)->size; /* { dg-bogus "uninit" } */
}
long test__array_idx_for_both(int i)
{
mmfile_t mmfs[3];
init_mmfile(&mmfs[i]);
return mmfs[i].size; /* { dg-bogus "uninit" } */
}
|