tree-ssa-operands.c (add_virtual_operand): Only mark stores as has_volatile_ops if...

2007-09-04  Richard Guenther  <rguenther@suse.de>

	* tree-ssa-operands.c (add_virtual_operand): Only mark
	stores as has_volatile_ops if alias information is not available.

From-SVN: r128089

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8cd808069e8d4f3ae88418a9b4ebbb3c5ef7fb4e..3ade7f81d827ea9b625b881f56f5a5291879f5ee 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,8 +1,13 @@
-2007-08-29  Andrew Haley  <aph@redhat.com>
+2007-09-04  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa-operands.c (add_virtual_operand): Only mark
+       stores as has_volatile_ops if alias information is not available.
+
+2007-09-04  Andrew Haley  <aph@redhat.com>
 
         * config/arm/libgcc-bpabi.ver: Add _Unwind_Backtrace as GCC_4.3.0.
 
-2007-08-08  Andrew Haley  <aph@redhat.com>
+2007-09-04  Andrew Haley  <aph@redhat.com>
 
        * config/arm/libunwind.S (UNWIND_WRAPPER _Unwind_Backtrace): New.
        * config/arm/unwind-arm.h (__gnu_Unwind_Backtrace): New.

diff --git a/gcc/tree-ssa-operands.c b/gcc/tree-ssa-operands.c
index 4996e09e8549602921b01a9f375b0b20358638e9..b01dd9952354f633705c0df07bd178c38645dc23 100644 (file)
--- a/gcc/tree-ssa-operands.c
+++ b/gcc/tree-ssa-operands.c
@@ -1494,7 +1494,8 @@ add_virtual_operand (tree var, stmt_ann_t s_ann, int flags,
 
   if (aliases == NULL)
     {
-      if (!gimple_aliases_computed_p (cfun))
+      if (!gimple_aliases_computed_p (cfun)
+         && (flags & opf_def))
         s_ann->has_volatile_ops = true;
 
       /* The variable is not aliased or it is an alias tag.  */