ACATS tests that fail valgrind check

Arnaud Charlet charlet@adacore.com
Wed Jan 12 11:35:00 GMT 2005


> (1) "Conditional jump or move depends on uninitialised value(s)"

I believe many of these are actually due to the fact that valgrind does not
properly support trampolines (used to implement pointers to nested
subprograms).

> Correct programs should run the same whether run under the control of
> valgrind or not.

Unless valgrind has bugs and/or does not support some features such as
tranmpolines.

Since valgrind is not a tool that has been qualified in any way for Ada
programs, you should take its output with a grain of salt, although 
valgrind most likely detected some real problems here.

Arno



More information about the Gcc mailing list