diff options
Diffstat (limited to 'gcc-4.8.1/gcc/testsuite/gcc.dg/ipa/ipa-pta-1.c')
-rw-r--r-- | gcc-4.8.1/gcc/testsuite/gcc.dg/ipa/ipa-pta-1.c | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/gcc.dg/ipa/ipa-pta-1.c b/gcc-4.8.1/gcc/testsuite/gcc.dg/ipa/ipa-pta-1.c deleted file mode 100644 index a56e71a4a..000000000 --- a/gcc-4.8.1/gcc/testsuite/gcc.dg/ipa/ipa-pta-1.c +++ /dev/null @@ -1,50 +0,0 @@ -/* { dg-do run } */ -/* { dg-options "-O -fipa-pta -fdump-ipa-pta-details" } */ - -static int __attribute__((noinline)) -foo (int *p, int *q) -{ - *p = 2; - *q = 1; - return *p; -} - -static int __attribute__((noinline)) -bar (int *p, int *q) -{ - *p = -2; - *q = -1; - return *p; -} - -static int __attribute__((noinline,noclone)) -foobar (int foo_p) -{ - int a; - int (*fn)(int *, int *); - if (foo_p) - fn = foo; - else - fn = bar; - return (*fn)(&a, &a); -} - -extern void abort (void); - -int main() -{ - if (foobar (1) != 1) - abort (); - - return 0; -} - -/* IPA PTA needs to handle indirect calls properly. Verify that - both bar and foo get a (and only a) in their arguments points-to sets. */ - -/* { dg-final { scan-ipa-dump "fn_1 = { bar foo }" "pta" } } */ -/* { dg-final { scan-ipa-dump "bar.arg0 = { a }" "pta" } } */ -/* { dg-final { scan-ipa-dump "bar.arg1 = { a }" "pta" } } */ -/* { dg-final { scan-ipa-dump "foo.arg0 = { a }" "pta" } } */ -/* { dg-final { scan-ipa-dump "foo.arg1 = { a }" "pta" } } */ -/* { dg-final { cleanup-ipa-dump "pta" } } */ |