1/* { dg-do link } */
2/* { dg-options "-O2 -fipa-pta -fdump-ipa-pta-details" } */
3
4static int i;
5/* i should not escape here, p should point to i only.  */
6/* { dg-final { scan-ipa-dump "p = { i }" "pta" } } */
7static int *p = &i;
8
9int j;
10/* q should point to j only.  */
11/* { dg-final { scan-ipa-dump "q = { j }" "pta" } } */
12static int *q = &j;
13
14static int k;
15/* k should escape here, r should point to NONLOCAL, ESCAPED, k.  */
16int *r = &k;
17/* { dg-final { scan-ipa-dump "r = { ESCAPED NONLOCAL k }" "pta" } } */
18
19int l;
20/* s should point to NONLOCAL, ESCAPED, l.  */
21int *s = &l;
22/* { dg-final { scan-ipa-dump "s = { ESCAPED NONLOCAL l }" "pta" } } */
23
24/* Make p and q referenced so they do not get optimized out.  */
25int foo() { return &p < &q; }
26
27int main()
28{
29  return 0;
30}
31
32/* It isn't clear if the escape if l is strictly necessary, if it were
33   we should have i, r and s in ESCAPED as well.  */
34
35/* { dg-final { scan-ipa-dump "ESCAPED = { ESCAPED NONLOCAL l k }" "pta" } } */
36/* { dg-final { cleanup-ipa-dump "pta" } } */
37