[Bug ada/24564] New: Bug box in Ada compiler: in create_tmp_var, at gimplify.c:368

[Bug ada/24564] New: Bug box in Ada compiler: in create_tmp_var, at gimplify.c:368

[sgmcmillan at gmail dot com]

The following bug box is generated with the attched test case:

+===========================GNAT BUG DETECTED==============================+
| 4.0.1 (i686-pc-linux-gnu) in create_tmp_var, at gimplify.c:368           |
| Error detected at message_pool.adb:62: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).                   |
+==========================================================================+
Using built-in specs. 
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.

message_pool.adb
message_pool.ads

compilation abandoned
gnatmake: "message_pool.adb" compilation error

gcc version:

Target: i686-pc-linux-gnu
Configured with: /home/scott/gcc-4.0.1/gcc-4.0.1/configure
--prefix=/usr/local/gcc-4.0.1 --enable-languages=c,c++,ada
Thread model: posix
gcc version 4.0.1

command line: /usr/local/gcc-4.0.1/bin/gnatmake -gnat05 message_pool.adb
gcc -c -gnat05 message_pool.adb

The code attached is reduce set of the code which originally uncovered the
problem.  I have noticed that removing the Temp_Key variable allows the code to
compile without error or warning.  In my original code this variable was
necessary, in the test case it is only there to demonstrate the failure.


-- 
           Summary: Bug box in Ada compiler: in create_tmp_var, at
                    gimplify.c:368
           Product: gcc
           Version: 4.0.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sgmcmillan at gmail dot com
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug ada/24564] Bug box in Ada compiler: in create_tmp_var, at gimplify.c:368

[sgmcmillan at gmail dot com]

------- Comment #1 from sgmcmillan at gmail dot com  2005-10-28 05:58 -------
Created an attachment (id=10071)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10071&action=view)
Ada spec for the test case 


-- 


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

[Bug ada/24564] Bug box in Ada compiler: in create_tmp_var, at gimplify.c:368

[sgmcmillan at gmail dot com]

------- Comment #2 from sgmcmillan at gmail dot com  2005-10-28 05:59 -------
Created an attachment (id=10072)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10072&action=view)
Ada body for the test case


-- 


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

[Bug ada/24564] Bug box in Ada compiler: in create_tmp_var, at gimplify.c:368

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2005-11-01 22:34 -------
On the mainline on x86_64 I get:
+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20051031 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| in tree_low_cst, at tree.c:4386                                          |
| Error detected at message_pool.adb:64: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).                   |
+==========================================================================+


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Bug box in Ada compiler: in |Bug box in Ada compiler: in
                   |create_tmp_var, at          |create_tmp_var, at
                   |gimplify.c:368              |gimplify.c:368


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

[Bug ada/24564] Bug box in Ada compiler: in create_tmp_var, at gimplify.c:368

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2005-11-01 22:37 -------
The mainline issue looks like PR 23427.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |23427


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

[Bug ada/24564] Bug box in Ada compiler: in create_tmp_var, at gimplify.c:368

[laurent at guerby dot net]

------- Comment #5 from laurent at guerby dot net  2005-11-03 15:42 -------
Confirmed on 4.0.2 and trunk.

+===========================GNAT BUG DETECTED==============================+
| 4.0.2 (i686-pc-linux-gnu) in tree_low_cst, at tree.c:3850                |
| Error detected at message_pool.adb:63:5                                  |

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20051102 (experimental) (i686-pc-linux-gnu) GCC error:             |
| in tree_low_cst, at tree.c:4386                                          |
| Error detected at message_pool.adb:63:5                                  |


-- 

laurent at guerby dot net changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   GCC host triplet|i686-pc-linux-gnu           |
 GCC target triplet|i686-pc-linux-gnu           |
   Last reconfirmed|0000-00-00 00:00:00         |2005-11-03 15:42:57
               date|                            |


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

[Bug ada/24564] Bug box in Ada compiler: in create_tmp_var, at gimplify.c:368

[charlet at gcc dot gnu dot org]

------- Comment #6 from charlet at gcc dot gnu dot org  2007-05-04 10:55 -------
Fixed on trunk


-- 

charlet at gcc dot gnu dot org changed:

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


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