From: Jan Hubicka <hubicka@ucw.cz>
Date: Mon, 7 Dec 2015 18:50:07 +0000 (+0100)
Subject: * fold-const.c (operand_equal_p): Drp flag_strict_aliasing check.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2efd77e92ded2bc3540c60f8ffa856fa04582e2b;p=gcc.git

* fold-const.c (operand_equal_p): Drp flag_strict_aliasing check.

From-SVN: r231377
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f843e4be54b..4fc7ffaa255 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2015-12-07  Jan Hubicka  <hubicka@ucw.cz>
+
+	* fold-const.c (operand_equal_p): Drp flag_strict_aliasing check.
+
 2015-12-07  Nathan Sidwell  <nathan@acm.org>
 
 	* config//nvptx/nvptx.c (write_return): New.
diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 16bff5f07be..553a9c37d7a 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -2987,14 +2987,13 @@ operand_equal_p (const_tree arg0, const_tree arg1, unsigned int flags)
 					   flags)))
 		return 0;
 	      /* Verify that accesses are TBAA compatible.  */
-	      if (flag_strict_aliasing
-		  && (!alias_ptr_types_compatible_p
-		        (TREE_TYPE (TREE_OPERAND (arg0, 1)),
-		         TREE_TYPE (TREE_OPERAND (arg1, 1)))
-		      || (MR_DEPENDENCE_CLIQUE (arg0)
-			  != MR_DEPENDENCE_CLIQUE (arg1))
-		      || (MR_DEPENDENCE_BASE (arg0)
-			  != MR_DEPENDENCE_BASE (arg1))))
+	      if (!alias_ptr_types_compatible_p
+		    (TREE_TYPE (TREE_OPERAND (arg0, 1)),
+		     TREE_TYPE (TREE_OPERAND (arg1, 1)))
+		  || (MR_DEPENDENCE_CLIQUE (arg0)
+		      != MR_DEPENDENCE_CLIQUE (arg1))
+		  || (MR_DEPENDENCE_BASE (arg0)
+		      != MR_DEPENDENCE_BASE (arg1)))
 		return 0;
 	     /* Verify that alignment is compatible.  */
 	     if (TYPE_ALIGN (TREE_TYPE (arg0))