alias-2.c: New test.

2005-07-18  Andrew Pinski  <pinskia@physics.uc.edu>

        * gcc.dg/tree-ssa/alias-2.c: New test.

From-SVN: r102143

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 88228523684e679e74289f0e44678c0ee718131e..b367759afc98d2ce13f14e72c98a6fa3eb49aded 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,11 +1,16 @@
+2005-07-18  Andrew Pinski  <pinskia@physics.uc.edu>
+
+       * gcc.dg/tree-ssa/alias-2.c: New test.
+
 2005-07-18  Mark Mitchell  <mark@codesourcery.com>
 
        PR c++/22263
        * g++.dg/template/explicit7.C: New test.
 
 2005-07-17  Jerry DeLisle  <jvdelisle@verizon.net>
-    * gfortran.fortran-torture/execute/nan_inf_fmt.f90: Change case of field
-    width of 8 to +Inf and -Inf.
+
+       * gfortran.fortran-torture/execute/nan_inf_fmt.f90: Change case of field
+       width of 8 to +Inf and -Inf.
     
 2005-07-17  Mark Mitchell  <mark@codesourcery.com>
 

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/alias-2.c b/gcc/testsuite/gcc.dg/tree-ssa/alias-2.c
new file mode 100644 (file)
index 0000000..fde5c39
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/alias-2.c
@@ -0,0 +1,27 @@
+/* { dg-options "-O2 -fdump-tree-optimized" } */
+static int a;
+int f;
+void bar (void)  __attribute__((noinline));
+void bar (void)
+{
+  f = 9;
+}
+
+void link_error ();
+
+int foo()
+{
+  int b, c;
+  a = 5;
+  b = a;
+  bar ();
+  b = b + a;
+  if (b != 10)
+    link_error ();
+  return b;
+}
+
+/* We should have removed the link_error on the tree level as GCC can tell that
+   a is not touched by the calling bar at all. */
+/* { dg-final { scan-tree-dump-times "link_error" 0 "optimized"} } */
+/* { dg-final { cleanup-tree-dump "optimized" } } */