type consistency of gimple

[Andrew Pinski]

> 
> Mark,
> 
> I have had some discussions with Honza and Diego about the type
> consistency at the gimple level.  They told me that Andrew was in the
> process of making gimple properly type consistent.

The last patch I wrote for this is located at:
http://gcc.gnu.org/ml/gcc-patches/2006-06/msg00179.html

It was based on some work which Diego did.  I have been busy lately
and not been able to look at if we regressed futher at getting mismatch
types.  The bug at PR 22368 has a couple of patches to add checks for the
type consistency.  It also links to all the known problems with the front-end
and optimizers.  If I get time next week, I can go through the bugs to see which
ones still apply and file new ones and also go back and test the above patch
again before pinging it.

Thanks,
Andrew Pinski