------- Additional Comments From baldrick at free dot fr 2005-01-12 22:41
-------
valgrind thinks there is wrong code:
RUN c37402a
==11202== Memcheck, a memory error detector for x86-linux.
==11202== Copyright (C) 2002-2004, and GNU GPL'd, by Julian Seward et al.
==11202== Using valgrind-2.3.0.CVS, a program supervision framework for
x86-linux.
==11202== Copyright (C) 2000-2004, and GNU GPL'd, by Julian Seward et al.
==11202== For more details, rerun with: -v
==11202==
==11202== warning: Valgrind's pthread_setschedparam does nothing
==11202== (scheduling not changeable)
==11202== your program may misbehave as a result
,.,. C37402A ACATS 2.5 05-01-11 16:29:46
---- C37402A CHECK THAT WHEN A FORMAL PARAMETER OF A SUBPROGRAM, ENTRY,
OR GENERIC UNIT HAS AN UNCONSTRAINED TYPE WITH
DISCRIMINANTS THAT HAVE DEFAULTS, 'CONSTRAINED IS 'TRUE'
WHEN APPLIED TO FORMAL PARAMETERS OF MODE IN AND HAS THE
VALUE OF THE ACTUAL PARAMETER FOR THE OTHER MODES.
==11202== warning: Valgrind's pthread_attr_destroy does nothing
==11202== your program may misbehave as a result
==11202== warning: Valgrind's pthread_setschedparam does nothing
==11202== (scheduling not changeable)
==11202== your program may misbehave as a result
==11202== warning: Valgrind's pthread_cond_destroy is incomplete
==11202== (it doesn't check if the cond is waited on)
==11202== your program may misbehave as a result
==11202== Use of uninitialised value of size 4
==11202== at 0x80671D2: _ada_c37402a (c37402a.adb:252)
==11202==
==11202== Use of uninitialised value of size 4
==11202== at 0x8065A30: report__result (report.adb:208)
==11202==
==11202== Use of uninitialised value of size 4
==11202== at 0x8065A37: report__result (report.adb:208)
==== C37402A PASSED ============================.
==11202==
==11202== Invalid read of size 4
==11202== at 0x1B8F0BE3: fixup (in /lib/ld-2.3.3.so)
==11202== by 0x1B8F09EF: _dl_runtime_resolve (in /lib/ld-2.3.3.so)
==11202== by 0x1BA68609: (within /lib/libdl.so.2)
==11202== by 0x1B8F154E: _dl_fini (in /lib/ld-2.3.3.so)
==11202== Address 0x1BA6C3D4 is not stack'd, malloc'd or (recently) free'd
followed by a bunch of ever more dubious looking errors.
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|ACATS c37402a segfault at |ACATS c37402a segfault at
|runtime on x86_64 |runtime on x86_64
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19140
