[Bug ada/11589] New: Compiler cannot deal with representation clause for renamed vars

[Bug ada/11589] New: Compiler cannot deal with representation clause for renamed vars

[timo dot warns at informatik dot uni-oldenburg dot de]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: Compiler cannot deal with representation clause for
                    renamed vars
           Product: gcc
           Version: 3.2.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: timo dot warns at informatik dot uni-oldenburg dot de
                CC: gcc-bugs at gcc dot gnu dot org

My gcc:

---------------------------------
Reading specs from /usr/lib/gcc-lib/i686-pc-linux-gnu/3.2.2/specs
Configured with: /var/tmp/portage/gcc-3.2.2/work/gcc-3.2.2/configure
--prefix=/usr --bindir=/usr/i686-pc-linux-gnu/gcc-bin/3.2
--includedir=/usr/lib/gcc-lib/i686-pc-linux-gnu/3.2.2/include
--datadir=/usr/share/gcc-data/i686-pc-linux-gnu/3.2
--mandir=/usr/share/gcc-data/i686-pc-linux-gnu/3.2/man
--infodir=/usr/share/gcc-data/i686-pc-linux-gnu/3.2/info --enable-shared
--host=i686-pc-linux-gnu --target=i686-pc-linux-gnu --with-system-zlib
--enable-languages=c,c++,ada,f77,objc,java --enable-threads=posix
--enable-long-long --disable-checking --enable-cstdio=stdio
--enable-clocale=generic --enable-__cxa_atexit
--enable-version-specific-runtime-libs
--with-gxx-include-dir=/usr/lib/gcc-lib/i686-pc-linux-gnu/3.2.2/include/g++-v3
--with-local-prefix=/usr/local --enable-shared --enable-nls
--without-included-gettext
Thread model: posix
gcc version 3.2.2
---------------------------------


Using "gnatmake test.adb" following result occurs:

---------------------------------
+===========================GNAT BUG DETECTED==============================+
| 3.2.2 20030205 (release) (i686-pc-linux-gnu) Assert_Failure sinfo.adb:1041|
| Error detected at test.ads:12:5                                          |
| Please submit a bug report, see http://gcc.gnu.org/bugs.html.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+

Please include these source files with error report

test.ads
---------------------------------


Source file is:

---------------------------------
with System.Storage_Elements; use System.Storage_Elements;

package Test is
    type A is 
        record
            I: Integer;
        end record;
    
    B: A;
    
    J: Integer renames B.I;
    for J'Address use To_Address(0);
end Test;
---------------------------------

[Bug ada/11589] Compiler cannot deal with representation clause for renamed vars

[dhazeghi at yahoo dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


dhazeghi at yahoo dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2003-07-19 06:24:46
               date|                            |


------- Additional Comments From dhazeghi at yahoo dot com  2003-07-19 06:24 -------
Confirmed with gcc 3.3 branch.

[Bug ada/11589] Compiler cannot deal with representation clause for renamed vars

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2003-07-19 06:24:46         |2003-07-19 17:53:13
               date|                            |


------- Additional Comments From pinskia at physics dot uc dot edu  2003-07-19 17:53 -------
Confirmed on the mainline (20030719) on powerpc-apple-darwin6.6

[Bug ada/11589] Compiler cannot deal with representation clause for renamed vars

[dhazeghi at yahoo dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


dhazeghi at yahoo dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|3.4                         |---

[Bug ada/11589] Compiler cannot deal with representation clause for renamed vars

[charlet at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.4


------- Additional Comments From charlet at gcc dot gnu dot org  2003-10-21 15:57 -------
Mainline correctly rejects this:

test.ads:12:09: address clause not allowed for a renaming declaration (RM 13.1(6))

Arno