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

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

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

gcc/ChangeLog

-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.

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.  */