[Bug ada/29681] New: gnat Bug Box on 'valid of packed array field

[Bug ada/29681] New: gnat Bug Box on 'valid of packed array field

[johnm at wmi dot com]

problem observed in: gcc-4.1.1
problem not observed in: gcc-3.2.3

----------- gcc 4.1.1 -v ----------------
$ gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with:
../crosstool-0.42/build/i686-unknown-linux-gnu/gcc-4.1.1-glibc-2.3.6/gcc-4.1.1/configure
--prefix=/users/johnm/opt/gcc4.1.1-native/ --enable-languages=c,c++,ada
Thread model: posix
gcc version 4.1.1

----------- gcc 3.2.3 -v ----------------
$ /usr/bin/gcc -v
Reading specs from /usr/lib/gcc-lib/i386-redhat-linux/3.2.3/specs
Configured with: ../configure --prefix=/usr --mandir=/usr/share/man
--infodir=/usr/share/info --enable-shared --enable-threads=posix
--disable-checking --with-system-zlib --enable-__cxa_atexit
--host=i386-redhat-linux
Thread model: posix
gcc version 3.2.3 20030502 (Red Hat Linux 3.2.3-53

--------------- Build of single-file example: ------------

$ gcc -c outt.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.1 (i686-pc-linux-gnu) in expand_expr_addr_expr_1, at expr.c:6393     |
| Error detected at outt.adb:19:5                                          |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| 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
Note that list may not be accurate in some cases, 
so please double check that the problem can still 
be reproduced with the set of files listed.

outt.adb

compilation abandoned


------------- build of multifile example: -------------------------------

+===========================GNAT BUG DETECTED==============================+
| 4.1.1 (i686-pc-linux-gnu) in expand_expr_addr_expr_1, at expr.c:6393     |
| Error detected at s-secsta.ads:64:14                                     |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Use a subject line meaningful to you and us to track the bug.            |
| 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
Note that list may not be accurate in some cases, 
so please double check that the problem can still 
be reproduced with the set of files listed.

eerom.adb
eerom.ads

eerom.adb:4:17: warning: "Number_Units" is never assigned a value
eerom.adb:5:17: warning: "Result" is never assigned a value
compilation abandoned


-- 
           Summary: gnat Bug Box on 'valid of packed array field
           Product: gcc
           Version: 4.1.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: johnm at wmi dot com


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

[Bug ada/29681] gnat Bug Box on 'valid of packed array field

[johnm at wmi dot com]

------- Comment #2 from johnm at wmi dot com  2006-11-01 14:10 -------
Created an attachment (id=12527)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12527&action=view)
gnatchop -able multifile example


-- 


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

[Bug ada/29681] gnat Bug Box on 'valid of packed array field

[johnm at wmi dot com]

------- Comment #1 from johnm at wmi dot com  2006-11-01 14:10 -------
Created an attachment (id=12526)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12526&action=view)
single file example


-- 


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

[Bug ada/29681] gnat Bug Box on 'valid of packed array field

[charlet at gcc dot gnu dot org]

------- Comment #3 from charlet at gcc dot gnu dot org  2006-11-01 19:53 -------
Fixed on trunk.


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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