On Sun, 2006-08-13 at 10:53 -0700, Mark Mitchell wrote:
> I think this is a question of priorities.  It's relatively
> straightforward to fix the compiler to generate type-consistent GIMPLE:
> you write consistency-checking routines and then you just fix all the
> problems that arise, by inserting explicit type-conversions at the
> source of the offending inconsistency.  However, while straightforward,
> that's probably person-months of effort.

This is what I had started to do back in July of last year.  I was able
to fix some bugs while others I just filed for other people to fix.
Take a look at the meta-bug at http://gcc.gnu.org/PR22368 .  It shows
all the known issues I was able to find with the patches attached.

> You could also strike a middle ground: write the consistency checker
> (Danny may have already done this) as a separate pass and put it on
> the LTO branch.  Run it before writing out LTO information.

I was the one who write the consistency checker but right now it is not
a separate pass (the patches for checker are in the meta-bug referenced
above) but it could easily moved to a separate pass.


Thanks,
Andrew Pinski

Reply via email to