This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tuples] Some adjustments to type verification
- From: "Richard Guenther" <richard dot guenther at gmail dot com>
- To: "Diego Novillo" <dnovillo at google dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Sat, 1 Sep 2007 10:55:38 +0200
- Subject: Re: [tuples] Some adjustments to type verification
- References: <b798aad50708311722r2a92fc65rfc9349e323515fad@mail.gmail.com>
On 9/1/07, Diego Novillo <dnovillo@google.com> wrote:
> This fixes my oversight in the type verification code. I had disabled
> some of the type casts that are done in mainline.
>
> The patch also renames the verifier functions to make clear that these
> are for type verification. There are other functions for GIMPLE
> verification that should probably be unified with these.
Yes, the only reason I kept them separate for now is that running the
type verifier after optimization passes trips over a whole other bunch
of bugs :/ But yes, it's on my agenda, though I was planning to hold off
until after the tuples merge as that seems to go forward at a fast pace now ;)
Richard.