------- Comment #43 from kenner at vlsi1 dot ultra dot nyu dot edu 2007-03-13 12:33 ------- Subject: Re: [4.3 regression] ACATS cxh1001 fails
> I think I now understand: I thought the problem we were discussing was > how to obtain correctness (which seems to be easy using local checks) > while in fact you were talking about how to optimize away unnecessary > validity checks (as compared to normal checks). Yes, I was talking about both. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26797