summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/ipa/ipa-pta-11.c
blob: dadb166767c263ef917c7585255c3ab287e1c558 (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
/* { dg-do link } */
/* { dg-options "-O2 -fipa-pta -fdump-ipa-pta-details" } */

static int i;
/* i should not escape here, p should point to i only.  */
/* { dg-final { scan-ipa-dump "p = { i }" "pta" } } */
static int *p = &i;

int j;
/* q should point to j only.  */
/* { dg-final { scan-ipa-dump "q = { j }" "pta" } } */
static int *q = &j;

static int k;
/* k should escape here, r should point to NONLOCAL, ESCAPED, k.  */
int *r = &k;
/* { dg-final { scan-ipa-dump "r = { ESCAPED NONLOCAL k }" "pta" } } */

int l;
/* s should point to NONLOCAL, ESCAPED, l.  */
int *s = &l;
/* { dg-final { scan-ipa-dump "s = { ESCAPED NONLOCAL l }" "pta" } } */

/* Make p and q referenced so they do not get optimized out.  */
int foo() { return &p < &q; }

int main()
{
  return 0;
}

/* It isn't clear if the escape if l is strictly necessary, if it were
   we should have i, r and s in ESCAPED as well.  */

/* { dg-final { scan-ipa-dump "ESCAPED = { ESCAPED NONLOCAL l k }" "pta" } } */
/* { dg-final { cleanup-ipa-dump "pta" } } */