diff options
| author | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-10-21 12:15:55 +0000 |
|---|---|---|
| committer | rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-10-21 12:15:55 +0000 |
| commit | c7a487b198eea6ab1b9307449a5b6bf39c8c099f (patch) | |
| tree | 2357fef0632500c82b24b8233dfd22064411dbf4 | |
| parent | 9c0d4d1d680a11ca455190ac169cd5831bd0395e (diff) | |
| download | ppe42-gcc-c7a487b198eea6ab1b9307449a5b6bf39c8c099f.tar.gz ppe42-gcc-c7a487b198eea6ab1b9307449a5b6bf39c8c099f.zip | |
2008-10-21 Richard Guenther <rguenther@suse.de>
* gcc.dg/tree-ssa/alias-19.c: New testcase.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@141261 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/alias-19.c | 31 |
2 files changed, 35 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3075046254f..e65e7253fac 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-10-21 Richard Guenther <rguenther@suse.de> + + * gcc.dg/tree-ssa/alias-19.c: New testcase. + 2008-10-20 Manuel López-Ibáñez <manu@gcc.gnu.org> PR 12603 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/alias-19.c b/gcc/testsuite/gcc.dg/tree-ssa/alias-19.c new file mode 100644 index 00000000000..b92df4343c2 --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/alias-19.c @@ -0,0 +1,31 @@ +/* { dg-do run } */ +/* { dg-options "-O2 -fdump-tree-alias-vops" } */ + +const static int a; + +int __attribute__((noinline)) +foo(int i) +{ + const int *q; + int b; + if (i) + q = &a; + else + q = &b; + b = 1; + /* We should not prune a from the points-to set of q. */ + return *q; +} + +extern void abort (void); +int main() +{ + if (foo(1) != 0) + abort (); + return 0; +} + +/* { dg-final { scan-tree-dump "q_. = { a b }" "alias" } } */ +/* { dg-final { scan-tree-dump "q_., name memory tag: NMT..., is dereferenced, points-to vars: { a b }" "alias" } } */ +/* { dg-final { scan-tree-dump "# VUSE <a_.\\\(D\\\), b_.>" "alias" } } */ +/* { dg-final { cleanup-tree-dump "alias" } } */ |
