blob: 8e779d8461e267f0c07b16c9a50278069dbf5a91 (
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
|
/* { dg-do run } */
/* { dg-options "-O -fdump-tree-alias-details" } */
int *i;
void __attribute__((noinline))
foo (void)
{
*i = 1;
}
int **__attribute__((noinline,const))
foobar (void)
{
return &i;
}
int __attribute__((noinline))
bar(int local_p)
{
int x = 0;
int *j;
int **p;
if (local_p)
p = &j;
else
p = foobar();
*p = &x; /* This makes x escape. */
foo ();
return x;
}
extern void abort (void);
int main()
{
int k = 2;
i = &k;
if (bar (1) != 0 || k != 1)
abort ();
if (bar (0) != 1)
abort ();
return 0;
}
/* { dg-final { scan-tree-dump "ESCAPED, points-to non-local, points-to NULL, points-to vars: { x }" "alias" } } */
/* { dg-final { cleanup-tree-dump "alias" } } */
|
