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