re PR rtl-optimization/6233 (simple loop miscompilation)

	PR optimization/6233
	* rtlanal.c (pure_call_p): New function.
	* rtl.h (pure_call_p): Declare.
	* loop.c (prescan_loop): Use it to set has_nonconst_call.
	* gcse.c (store_killed_in_insn): Use pure_call_p here too.

From-SVN: r52110

1 files changed, 2 insertions, 0 deletions

diff --git a/gcc/loop.c b/gcc/loop.c
index 53b9caa..468dc20 100644
--- a/gcc/loop.c
+++ b/gcc/loop.c
@@ -2494,6 +2494,8 @@ prescan_loop (loop)
 	      loop_info->unknown_address_altered = 1;
 	      loop_info->has_nonconst_call = 1;
 	    }
+	  else if (pure_call_p (insn))
+	    loop_info->has_nonconst_call = 1;
 	  loop_info->has_call = 1;
 	  if (can_throw_internal (insn))
 	    loop_info->has_multiple_exit_targets = 1;