From 419e6a7080fb9f0f00ecf063acc88e51326b89fe Mon Sep 17 00:00:00 2001 From: pinskia Date: Mon, 18 Jul 2005 23:35:15 +0000 Subject: [PATCH] 2005-07-18 Andrew Pinski * gcc.dg/tree-ssa/alias-2.c: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@102143 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/testsuite/ChangeLog | 9 +++++++-- gcc/testsuite/gcc.dg/tree-ssa/alias-2.c | 27 +++++++++++++++++++++++++++ 2 files changed, 34 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/alias-2.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 88228523684..b367759afc9 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,11 +1,16 @@ +2005-07-18 Andrew Pinski + + * gcc.dg/tree-ssa/alias-2.c: New test. + 2005-07-18 Mark Mitchell PR c++/22263 * g++.dg/template/explicit7.C: New test. 2005-07-17 Jerry DeLisle - * 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 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 index 00000000000..fde5c3956c5 --- /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" } } */ -- 2.11.0