This is the mail archive of the gcc@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: type consistency of gimple


David Edelsohn wrote:
> 	Some historical discussions as a refresher:
> 
> http://gcc.gnu.org/ml/gcc/2005-02/msg00324.html

I honestly don't have the doc anymore, but i did send it to some people
before i stopped working on it.

I had guessed that nobody would really care enough to review the patches
that would be necessary to fix all the type conversion problems (IE
implicit converts between lhs and rhs that we hvae in some places) until
something like LTO forced it, and at the time, we weren't anywhere close.

Watching the amount of pinging Andrew Pinski has had to do with his type
correctness patches, I can't say this was the wrong decision.

Until someone just adds checks and forces them on, and we have a flag
day about it (IE where we declared we have caught all the obvious
places, and the checks go on, and anything broken still broken is just
fixed as it is found), i have a hard time believing it will get done.
There are just too many nooks and crannies that may get type correctness
wrong for it to be possible to get them all even with bootstraps and
tests on multiple platforms.

--Dan


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