[Bug ada/19416] New: ACATS cxa9001, cxa9002 - valgrind detects wrong code (unitialized data passed to syscall)

[baldrick at free dot fr]

,.,. 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