From: Richard Biener <rguenther@suse.de>
Date: Thu, 30 Jul 2015 07:09:20 +0000 (+0000)
Subject: re PR middle-end/67053 (FAIL: experimental/optional/constexpr/make_optional.cc)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f501d5cd994edf4e82f54d68971fb6b3b0ff37a3;p=gcc.git

re PR middle-end/67053 (FAIL: experimental/optional/constexpr/make_optional.cc)

2015-07-30  Richard Biener  <rguenther@suse.de>

	PR middle-end/67053
	* match.pd: Allow both operands to independently have conversion
	when simplifying compares of addresses.

From-SVN: r226384
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d1a9600ae8a..6864cae6a29 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2015-07-30  Richard Biener  <rguenther@suse.de>
+
+	PR middle-end/67053
+	* match.pd: Allow both operands to independently have conversion
+	when simplifying compares of addresses.
+
 2015-07-29  Segher Boessenkool  <segher@kernel.crashing.org>
 
 	PR target/66217
diff --git a/gcc/match.pd b/gcc/match.pd
index bc38c22b39a..fe53c9004af 100644
--- a/gcc/match.pd
+++ b/gcc/match.pd
@@ -1814,7 +1814,7 @@ along with GCC; see the file COPYING3.  If not see
    enough to make fold_stmt not regress when not dispatching to fold_binary.  */
 (for cmp (simple_comparison)
  (simplify
-  (cmp (convert?@2 addr@0) (convert? addr@1))
+  (cmp (convert1?@2 addr@0) (convert2? addr@1))
   (with
    {
      HOST_WIDE_INT off0, off1;