From: rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Thu, 21 Apr 2016 11:52:50 +0000 (+0000)
Subject: 2016-04-21  Richard Biener  <rguenther@suse.de>
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=06777d85203d3f06fe0794a32076b654e006a21b;p=thirdparty%2Fgcc.git

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.


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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a3412c900298..50d13cb2fe35 100644
--- 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 0f4bf7eca6b2..9514c71c629d 100644
--- 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 7a17aa2ebb63..2af83c29205b 100644
--- 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
index 000000000000..0fca7ebd97f4
--- /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" } */
+}