[Bug ada/42618] New: Problem reading discriminated values from streams

[Bug ada/42618] New: Problem reading discriminated values from streams

[simon at pushface dot org]

The test program writes 3 values of a discriminated record to a stream
('Output) and then reads them back ('Input).
It then uses 'Write and 'Read for a single value.

No problem arises with 32-bit compilations, or with 64-bit compilations with
-O0.

With -O1 or -O2, the values read back are incorrect (in some cases).

Same behaviour reported on Debian:
gnat-4.4_4.4.2-5_amd64.deb: 
 -O0 OK 
 -O1 bug 
 -O2 bug 
gnat-4.4_4.4.2-5_i386.deb: 
 -O0 OK 
 -O1 OK 
 -O2 OK 
That version of GNAT was taken from the FSF's gcc-4_4-branch on 
2009-12-28 so is very recent.

The correct output is
 1234
'z'
 4.32100E-01
 4.32100E-01

The incorrect output is
 1234
NUL
 0.00000E+00
 0.00000E+00


-- 
           Summary: Problem reading discriminated values from streams
           Product: gcc
           Version: 4.4.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: simon at pushface dot org
  GCC host triplet: x86_64-apple-darwin10


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42618

[Bug ada/42618] Problem reading discriminated values from streams

[simon at pushface dot org]

------- Comment #1 from simon at pushface dot org  2010-01-04 23:34 -------
Created an attachment (id=19469)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19469&action=view)
Reproducer


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42618

[Bug ada/42618] Problem reading discriminated values from streams

[simon at pushface dot org]

------- Comment #2 from simon at pushface dot org  2010-01-21 21:06 -------
Correct results obtained with

COLLECT_GCC=/opt/gcc-4.5.0-x86_64/bin/gcc
COLLECT_LTO_WRAPPER=/opt/gcc-4.5.0-x86_64/libexec/gcc/x86_64-apple-darwin10.2.0/4.5.0/lto-wrapper
Target: x86_64-apple-darwin10.2.0
Configured with: ../gcc-trunk-svn/configure --prefix=/opt/gcc-4.5.0-x86_64
--disable-multilib --enable-languages=c,ada --with-gmp=/opt/gnu
--with-mpfr=/opt/gnu --with-mpc=/opt/gnu --disable-bootstrap
Thread model: posix
gcc version 4.5.0 20100110 (experimental) [trunk revision 155776] (GCC) 


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42618

[Bug ada/42618] Problem reading discriminated values from streams

[charlet at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42618

Arnaud Charlet <charlet at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |charlet at gcc dot gnu.org
            Version|4.4.2                       |4.9.1
         Resolution|---                         |FIXED

--- Comment #4 from Arnaud Charlet <charlet at gcc dot gnu.org> ---
Closing then, thanks for checking