tree-tailcall.c (find_tail_calls): Also fail is statement has volatile operands.

	* tree-tailcall.c (find_tail_calls): Also fail is statement has
	volatile operands.

From-SVN: r86938

gcc/ChangeLog

 2004-09-01  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 
+	* tree-tailcall.c (find_tail_calls): Also fail is statement has
+	volatile operands.
+
 	* tree-ssa.c (propagate_into_addr): Properly test for LHR.
 
 	* doc/c-tree.texi: Document new operands for ARRAY_REF and

gcc/tree-tailcall.c

@@ -395,11 +395,12 @@ find_tail_calls (basic_block bb, struct tailcall **ret)
       if (TREE_CODE (call) == CALL_EXPR)
 	break;
 
-      /* If the statement has virtual operands, fail.  */
+      /* If the statement has virtual or volatile operands, fail.  */
       ann = stmt_ann (stmt);
       if (NUM_V_MAY_DEFS (V_MAY_DEF_OPS (ann))
           || NUM_V_MUST_DEFS (V_MUST_DEF_OPS (ann))
-	  || NUM_VUSES (VUSE_OPS (ann)))
+	  || NUM_VUSES (VUSE_OPS (ann))
+	  || ann->has_volatile_ops)
 	return;
     }