This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: [PATCH][RFC] A GIMPLE and GIMPLE type system verifier

From: "Richard Guenther" <richard dot guenther at gmail dot com>
To: "Richard Guenther" <rguenther at suse dot de>
Cc: gcc-patches at gcc dot gnu dot org, "Michael Matz" <matz at suse dot de>
Date: Fri, 20 Jul 2007 20:10:29 +0200
Subject: Re: [PATCH][RFC] A GIMPLE and GIMPLE type system verifier
References: <Pine.LNX.4.64.0707131547290.3955@zhemvz.fhfr.qr>

On 7/13/07, Richard Guenther <rguenther@suse.de> wrote:

2007-07-13 Richard Guenther <rguenther@suse.de>

        * tree-cfg.c (verify_expr): COND_EXPRs can have any
        integral typed condition.
        * tree-ssa.c (useless_type_conversion_p): Do not preserve
        booleanness.  Only preserve conversions from a non-base
        type to a base type, not in general between types with
        different TYPE_MIN_VALUE or TYPE_MAX_VALUE.
        * tree.def (COND_EXPR): Document that the condition
        can be of any integral type.


I have re-bootstrapped and tested the above parts on x86_64-unknown-linux-gnu
and applied it to mainline.

Richard.

References:
- [PATCH][RFC] A GIMPLE and GIMPLE type system verifier
  - From: Richard Guenther

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]