This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/19416] ACATS cxa9001, cxa9002 - valgrind detects wrong code (unitialized data passed to syscall)
- From: "baldrick at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 1 Dec 2006 15:24:14 -0000
- Subject: [Bug ada/19416] ACATS cxa9001, cxa9002 - valgrind detects wrong code (unitialized data passed to syscall)
- References: <bug-19416-8622@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #1 from baldrick at gcc dot gnu dot org 2006-12-01 15:24 -------
The uninitialized bytes are normal: the Unit_Type structure is 16 bytes long:
type Unit_Type is
record
Position : Natural := 19;
String_Value : String (1..9) := (others => 'X');
end record;
but only 13 of the bytes are used. The 3 trailing bytes are not initialized.
This seems to be GNAT policy. The uninitialized bytes are written to the
file when Unit_Type is. Valgrind complains about this, and indeed it is a
security leak. However I don't think it can be described as a compiler bug.
--
baldrick at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |INVALID
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19416