1  /* { dg-do link } */
       2  /* { dg-options "-O2 -fipa-pta -fdump-ipa-pta2-details" } */
       3  
       4  static int i;
       5  /* i should not escape here, p should point to i only.  */
       6  /* { dg-final { scan-ipa-dump "p = { i }" "pta2" } } */
       7  static int *p = &i;
       8  
       9  int j;
      10  /* q should point to j only.  */
      11  /* { dg-final { scan-ipa-dump "q = { j }" "pta2" } } */
      12  static int *q = &j;
      13  
      14  static int k;
      15  /* k should escape here, r should point to NONLOCAL, ESCAPED, k.  */
      16  int *r = &k;
      17  /* { dg-final { scan-ipa-dump "r = { ESCAPED NONLOCAL k }" "pta2" } } */
      18  
      19  int l;
      20  /* s should point to NONLOCAL, ESCAPED, l.  */
      21  int *s = &l;
      22  /* { dg-final { scan-ipa-dump "s = { ESCAPED NONLOCAL l }" "pta2" } } */
      23  
      24  /* Make p and q referenced so they do not get optimized out.  */
      25  int foo() { return &p < &q; }
      26  
      27  int 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 }" "pta2" } } */