Re: [Valgrind-developers] ACATS c45624a and c45624b

[Nicholas N. <nj...@cs...>]

On Mon, 18 Jul 2005, Duncan Sands wrote:

> These both fail in similar ways:
>
> ,.,. C45624A ACATS 2.5 05-07-18 00:19:06
> ---- C45624A FOR FLOATING POINT TYPES, CHECK THAT CONSTRAINT_ERROR IS
>                RAISED IF MACHINE_OVERFLOWS IS FALSE.  THIS TESTS DIGITS
>                5.
>   - C45624A CONSTRAINT_ERROR WAS NOT RAISED WHEN MACHINE_OVERFLOWS WAS
>                FALSE.
> 0:I1
> vex: the `impossible' happened:
>   iselCondCode
> vex storage:  P 512,  T total 85688840 (2710216),  T curr 136584 (4423)
>
> valgrind: the 'impossible' happened:
>   LibVEX called failure_exit().

ACATS seems to be an Ada test suite.  See 
http://www.ada-auth.org/acats.html.

Duncan, if you find any more Valgrind failures for this suite, please feel 
free to put them all in one email rather than 10 different ones.  You 
might also want to report them with Valgrind's Bugzilla page to ensure 
they don't get lost.

N