re PR middle-end/70747 (ICE on valid code on x86_64-linux-gnu: verify_gimple failed)

2016-04-21  Richard Biener  <rguenther@suse.de>

	PR middle-end/70747
	* fold-const.c (fold_comparison): Return properly typed
	constant boolean.

	* gcc.dg/pr70747.c: New testcase.

From-SVN: r235335

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a3412c900298620fc0c577721c3cf50b5790ec18..50d13cb2fe3500ff5a96ac4b4a0f9aaf9f20ae24 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-04-21  Richard Biener  <rguenther@suse.de>
+
+       PR middle-end/70747
+       * fold-const.c (fold_comparison): Return properly typed
+       constant boolean.
+
 2016-04-21  Bin Cheng  <bin.cheng@arm.com>
 
        PR tree-optimization/70715

diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 0f4bf7eca6b23b8198c9cf28e139ed9a6b9a657d..9514c71c629d3717765d464dca8c8566d907c97b 100644 (file)
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -8676,11 +8676,11 @@ fold_comparison (location_t loc, enum tree_code code, tree type,
            case EQ_EXPR:
            case LE_EXPR:
            case LT_EXPR:
-             return boolean_false_node;
+             return constant_boolean_node (false, type);
            case GE_EXPR:
            case GT_EXPR:
            case NE_EXPR:
-             return boolean_true_node;
+             return constant_boolean_node (true, type);
            default:
              gcc_unreachable ();
            }

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7a17aa2ebb63a75dfd2b719eda62d79be5091b0a..2af83c29205bb48ce7c14ec477219cc6e814756f 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-04-21  Richard Biener  <rguenther@suse.de>
+
+       PR middle-end/70747
+       * gcc.dg/pr70747.c: New testcase.
+
 2016-04-21  Bin Cheng  <bin.cheng@arm.com>
 
        PR tree-optimization/70715

diff --git a/gcc/testsuite/gcc.dg/pr70747.c b/gcc/testsuite/gcc.dg/pr70747.c
new file mode 100644 (file)
index 0000000..0fca7eb
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr70747.c
@@ -0,0 +1,10 @@
+/* { dg-do compile } */
+/* { dg-options "-pedantic" } */
+
+int *a, b;
+
+void fn1 ()
+{
+  a = __builtin_malloc (sizeof(int)*2); 
+  b = &a[1] == (0, 0); /* { dg-warning "comparison between pointer and integer" } */
+}