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