From d22b7e1406dbb03a6d50d649030b70b6f42d1021 Mon Sep 17 00:00:00 2001 From: Andrew Pinski Date: Sun, 30 May 2004 16:18:59 +0000 Subject: [PATCH] fold-const.c (fold): Make sure the type is of BOOLEAN_TYPE. 2004-05-30 Andrew Pinski * fold-const.c (fold) [case TRUTH_NOT_EXPR]: Make sure the type is of BOOLEAN_TYPE. From-SVN: r82456 --- gcc/ChangeLog | 5 +++++ gcc/fold-const.c | 4 ++++ 2 files changed, 9 insertions(+) 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 + + * fold-const.c (fold) [case TRUTH_NOT_EXPR]: Make sure the type is + of BOOLEAN_TYPE. + 2004-05-30 Kazu Hirata * 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, -- 2.30.2