diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 52d02b9aff0..38dec6e71ab 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2013-11-13  Marc Glisse  <marc.glisse@inria.fr>
+
+	PR tree-optimization/59077
+	* ipa-pure-const.c (better_state): Update *state.
+
 2013-11-13  Christophe Lyon  <christophe.lyon@linaro.org>
 
 	* config/aarch64/aarch64.h (FRAME_GROWS_DOWNWARD): Define to 1.
diff --git a/gcc/ipa-pure-const.c b/gcc/ipa-pure-const.c
index 50bf500b172..d775b3178bf 100644
--- a/gcc/ipa-pure-const.c
+++ b/gcc/ipa-pure-const.c
@@ -397,6 +397,7 @@ better_state (enum pure_const_state_e *state, bool *looping,
 	*looping = looping2;
       else
 	*looping = MIN (*looping, looping2);
+      *state = state2;
     }
   else if (state2 != IPA_NEITHER)
     *looping = MIN (*looping, looping2);