[Bug ada/30699] New: in expand_one_stack_var_at, at cfgexpand.c:517

[Bug ada/30699] New: in expand_one_stack_var_at, at cfgexpand.c:517

[karlnick at student dot chalmers dot se]

karlnick@db128:~/dns/src$ gnatmake dnsbrowse_gtk `gtkada2-config`
gcc-4.1 -c -I/usr/share/ada/adainclude/gtkada2 dnsbrowse_gtk.adb
gcc-4.1 -c -I/usr/share/ada/adainclude/gtkada2 communication.adb
+===========================GNAT BUG DETECTED==============================+
| 4.1.2 20061028 (prerelease) (Debian 4.1.1-19) (i486-pc-linux-gnu) GCC error:|
| in expand_one_stack_var_at, at cfgexpand.c:517                           |
| Error detected at communication.adb:100:8                                |
| 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-4.1 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.

communication.adb
communication.ads
dns.ads
dns-question.ads

communication.adb:17:07: warning: Storage_Error will be raised at run-time
compilation abandoned
gnatmake: "communication.adb" compilation error
karlnick@db128:~/dns/src$


-- 
           Summary: in expand_one_stack_var_at, at cfgexpand.c:517
           Product: gcc
           Version: 4.1.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: karlnick at student dot chalmers dot se


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

[Bug ada/30699] in expand_one_stack_var_at, at cfgexpand.c:517

[karlnick at student dot chalmers dot se]

------- Comment #1 from karlnick at student dot chalmers dot se  2007-02-04 10:44 -------
Created an attachment (id=13004)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13004&action=view)
Source files


-- 


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

[Bug ada/30699] in expand_one_stack_var_at, at cfgexpand.c:517

[schwab at suse dot de]

------- Comment #2 from schwab at suse dot de  2007-02-04 15:47 -------
*** Bug 30698 has been marked as a duplicate of this bug. ***


-- 


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

[Bug ada/30699] in expand_one_stack_var_at, at cfgexpand.c:517

[charlet at gcc dot gnu dot org]

------- Comment #3 from charlet at gcc dot gnu dot org  2007-05-02 11:51 -------
The code is clearly wrong here:

   type Label_Type is array (Positive) of Octet;
   type Name_Type is array (Positive) of Octet;

You cannot expect declaring variables of these types.

trunk now generates proper error messages:

$ gcc -c communication.adb
communication.adb: In function 'Communication.Send_Request':
communication.adb:12: error: total size of local objects too large
communication.adb:17:07: warning: Storage_Error will be raised at run-time


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |FIXED
            Summary|in expand_one_stack_var_at, |in expand_one_stack_var_at,
                   |at cfgexpand.c:517          |at cfgexpand.c:517
   Target Milestone|---                         |4.3.0


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