From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 29040 invoked by alias); 30 Apr 2006 08:04:31 -0000 Received: (qmail 29011 invoked by uid 48); 30 Apr 2006 08:04:28 -0000 Date: Sun, 30 Apr 2006 08:04:00 -0000 Message-ID: <20060430080428.29010.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug c/27273] [4.2 regression] tree check fail for legal code when convert returns a constant from an expression that was not constant In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "pinskia at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2006-04/txt/msg02635.txt.bz2 List-Id: ------- Comment #4 from pinskia at gcc dot gnu dot org 2006-04-30 08:04 ------- This patch works for me (I have not fully test it yet though): Index: c-common.c =================================================================== --- c-common.c (revision 113388) +++ c-common.c (working copy) @@ -1080,7 +1080,8 @@ convert_and_check (tree type, tree expr) /* Do not diagnose overflow in a constant expression merely because a conversion overflowed. */ - TREE_CONSTANT_OVERFLOW (t) = TREE_CONSTANT_OVERFLOW (expr); + if (TREE_CODE (expr) == INTEGER_CST) + TREE_CONSTANT_OVERFLOW (t) = TREE_CONSTANT_OVERFLOW (expr); /* No warning for converting 0x80000000 to int. */ if (!(TYPE_UNSIGNED (type) < TYPE_UNSIGNED (TREE_TYPE (expr)) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27273