,.,. CXA9001 ACATS 2.5 05-01-13 00:23:22
---- CXA9001 Check that the operations defined in the generic package
Ada.Storage_IO provide the ability to store and retrieve
objects which may include implicit levels of indirection
in their implementation, from an in-memory buffer.
==7317== Syscall param write(buf) points to uninitialised byte(s)
==7317== at 0x1B9D2533: __write_nocancel (in /lib/tls/libc.so.6)
==7317== by 0x1B9847E4: new_do_write (in /lib/tls/libc.so.6)
==7317== by 0x1B984A9E: _IO_do_write@@GLIBC_2.1 (in /lib/tls/libc.so.6)
==7317== by 0x1B985F54: _IO_file_close_it@@GLIBC_2.1 (in /lib/tls/libc.so.6)
==7317== by 0x1B97A71D: _IO_fclose@@GLIBC_2.1 (in /lib/tls/libc.so.6)
==7317== by 0x80567AD: system__file_io__close (s-fileio.adb:243)
==7317== by 0x804C3FD:
cxa9001__test_block__data_storage__buffer_io__close.1057 (a-direio.adb:77)
==7317== by 0x804C746: cxa9001__test_block__data_storage.917
(cxa9001.adb:169)
==7317== by 0x804D1AC: _ada_cxa9001 (cxa9001.adb:260)
==7317== by 0x8049CC4: main (b~cxa9001.adb:152)
==7317== Address 0x1B909011 is not stack'd, malloc'd or (recently) free'd
==== CXA9001 PASSED ============================.
--
Summary: ACATS cxa9001, cxa9002 - valgrind detects wrong code
(unitialized data passed to syscall)
Product: gcc
Version: tree-ssa
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19416
