> > 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