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 d1a9600ae8a7f05d5e86c41b963efab12ca4bf4b..6864cae6a29a4a0a3a97ee01b0c169aa5b6b6c98 100644 (file)
--- 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 bc38c22b39a4badd0ce8a6ba673e3e1cc955632b..fe53c9004af6894ff9094e811dfc6d3ec7817833 100644 (file)
--- 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;