------- Comment #37 from baldrick at free dot fr 2007-03-09 22:44 ------- Subject: Re: [4.3 regression] ACATS cxh1001 fails
> Think of a range check being done in a subscript reference in the LHS of > an assignment. A bounded error is not allowed to cause a memory store > outside the bounds of an array. This is exactly a case when you should do what I called a "validity check" rather than a "normal check". -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26797
