1 /* { dg-do link } */
2 /* { dg-options "-O2 -fipa-pta -fdump-ipa-pta2-details -fdump-tree-fre3 -fno-ipa-icf" } */
3
4 static int x, y;
5
6 static __attribute__((noinline,noclone)) void
local(int * p)7 local (int *p)
8 {
9 *p = 1;
10 }
11
12 static __attribute__((noinline,noclone)) void
local_address_taken(int * p)13 local_address_taken (int *p)
14 {
15 *p = 1;
16 }
17
18 void *anyfn_global;
19
20 /* Even though not referenced in this TU we should have added constraints
21 for the initializer. */
22 /* { dg-final { scan-ipa-dump "ex = &local_address_taken" "pta2" } } */
23 void (*ex)(int *) = local_address_taken;
24
25 extern void link_error (void);
26
main()27 int main()
28 {
29 void (*anyfn)(int *) = (void (*)(int *))(__SIZE_TYPE__)anyfn_global;
30 /* The following should cause local_address_taken to get &x
31 as argument, but not local. We shouldn't get &x added to
32 arbitrary special sub-vars of local_address_taken though,
33 a missed optimization currently.
34 As local_address_taken escapes the translation unit its
35 argument points-to set needs to include ESCAPED and NONLOCAL.
36 We shouldn't get the functions sub-vars in the ESCAPED solution
37 though, another missed-optimization. This also causes the functions
38 uses to be messed up even further. */
39 /* ??? As we don't expand the ESCAPED solution we either get x printed here
40 or not based on the phase of the moon. */
41 /* { dg-final { scan-ipa-dump "local_address_taken.arg0 = { ESCAPED NONLOCAL y x }" "pta2" { xfail *-*-* } } } */
42 /* { dg-final { scan-ipa-dump "local_address_taken.clobber = { ESCAPED NONLOCAL y x }" "pta2" { xfail *-*-* } } } */
43 /* { dg-final { scan-ipa-dump "local_address_taken.use = { }" "pta2" { xfail *-*-* } } } */
44 /* ??? But make sure x really escaped. */
45 /* { dg-final { scan-ipa-dump "ESCAPED = {\[^\n\}\]* x \[^\n\}\]*}" "pta2" } } */
46 (*anyfn) (&x);
47 x = 0;
48 local (&y);
49 /* Thus we should be able to disambiguate x against the call to local
50 and CSE the stored value. */
51 if (x != 0)
52 link_error ();
53 x = 1;
54 local_address_taken (&y);
55 /* As we are computing flow- and context-insensitive we may not
56 CSE the load of x here. */
57 /* { dg-final { scan-tree-dump " = x;" "fre3" } } */
58 return x;
59 }
60
61