From: Andrew Pinski <pinskia@physics.uc.edu>
Date: Sun, 30 May 2004 16:18:59 +0000 (+0000)
Subject: fold-const.c (fold): Make sure the type is of BOOLEAN_TYPE.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d22b7e1406dbb03a6d50d649030b70b6f42d1021;p=gcc.git

fold-const.c (fold): Make sure the type is of BOOLEAN_TYPE.

2004-05-30  Andrew Pinski  <pinskia@physics.uc.edu>

        * fold-const.c (fold) [case TRUTH_NOT_EXPR]: Make sure the type is
        of BOOLEAN_TYPE.

From-SVN: r82456
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 79149e498d6..f72a6e274fd 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-05-30  Andrew Pinski  <pinskia@physics.uc.edu>
+
+	* fold-const.c (fold) [case TRUTH_NOT_EXPR]: Make sure the type is
+	of BOOLEAN_TYPE.
+
 2004-05-30  Kazu Hirata  <kazu@cs.umass.edu>
 
 	* c-common.c, calls.c, cfgcleanup.c, cgraph.c, cgraphunit.c,
diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 743f4ae47ee..7445408ce52 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -7215,6 +7215,10 @@ fold (tree expr)
       goto associate;
 
     case TRUTH_NOT_EXPR:
+      /* The argument to invert_truthvalue must have Boolean type.  */
+      if (TREE_CODE (TREE_TYPE (arg0)) != BOOLEAN_TYPE)
+          arg0 = fold_convert (boolean_type_node, arg0);
+      
       /* Note that the operand of this must be an int
 	 and its values must be 0 or 1.
 	 ("true" is a fixed value perhaps depending on the language,