From: jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 24 Jan 2019 19:49:09 +0000 (+0000)
Subject: 	PR tree-optimization/88964
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=77e21ca968d3963d1e2d5b2cfd08b5266182b2a3;p=thirdparty%2Fgcc.git

	PR tree-optimization/88964
	* gimple-loop-interchange.cc (loop_cand::analyze_induction_var): Also
	punt if HONOR_SNANS (chrec).


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@268247 138bc75d-0d04-0410-961f-82ee72b054a4
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7087ef1a4f5c..03d1b3354999 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2019-01-24  Jakub Jelinek  <jakub@redhat.com>
 
+	PR tree-optimization/88964
+	* gimple-loop-interchange.cc (loop_cand::analyze_induction_var): Also
+	punt if HONOR_SNANS (chrec).
+
 	PR middle-end/89015
 	* tree-nested.c (convert_nonlocal_reference_stmt,
 	convert_local_reference_stmt, convert_tramp_reference_stmt,
diff --git a/gcc/gimple-loop-interchange.cc b/gcc/gimple-loop-interchange.cc
index 1f0e49d3a006..b188ce86d5e3 100644
--- a/gcc/gimple-loop-interchange.cc
+++ b/gcc/gimple-loop-interchange.cc
@@ -690,8 +690,8 @@ loop_cand::analyze_induction_var (tree var, tree chrec)
     {
       /* Punt on floating point invariants if honoring signed zeros,
 	 representing that as + 0.0 would change the result if init
-	 is -0.0.  */
-      if (HONOR_SIGNED_ZEROS (chrec))
+	 is -0.0.  Similarly for SNaNs it can raise exception.  */
+      if (HONOR_SIGNED_ZEROS (chrec) || HONOR_SNANS (chrec))
 	return false;
       struct induction *iv = XCNEW (struct induction);
       iv->var = var;