[Bug ada/26797] [4.3 regression] ACATS cxh1001 fails

[kenner at vlsi1 dot ultra dot nyu dot edu]

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