[Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low

public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed

* [Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839
@ 2004-12-06 20:01 laurent at guerby dot net
  2004-12-06 22:37 ` [Bug ada/18859] " schwab at suse dot de
                   ` (7 more replies)
  0 siblings, 8 replies; 9+ messages in thread
From: laurent at guerby dot net @ 2004-12-06 20:01 UTC (permalink / raw)
  To: gcc-bugs

Happens when using -O0 on x86, x86_64 and ia64 (works at -O2 on the same platforms).

+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20041206 (experimental) (i686-pc-linux-gnu) GCC error:             |
| in tree_low_cst, at tree.c:3839                                          |
| Error detected at c37305a.adb:82:5                                       |

-- 
           Summary: ACATS ICE c37305a at -O0: in tree_low_cst, at
                    tree.c:3839
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
                CC: gcc-bugs at gcc dot gnu dot org


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug ada/18859] ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839
  2004-12-06 20:01 [Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839 laurent at guerby dot net
@ 2004-12-06 22:37 ` schwab at suse dot de
  2005-02-15 19:10 ` [Bug ada/18859] [4.0 Regression] " pinskia at gcc dot gnu dot org
                   ` (6 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: schwab at suse dot de @ 2004-12-06 22:37 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |schwab at suse dot de


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug ada/18859] [4.0 Regression] ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839
  2004-12-06 20:01 [Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839 laurent at guerby dot net
  2004-12-06 22:37 ` [Bug ada/18859] " schwab at suse dot de
@ 2005-02-15 19:10 ` pinskia at gcc dot gnu dot org
  2005-03-05 19:52 ` [Bug ada/18859] [4.0/4.1 " pinskia at gcc dot gnu dot org
                   ` (5 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-02-15 19:10 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-15 06:44 -------
Confirmed, reduced testcase:
PROCEDURE C37305A IS
BEGIN
     DECLARE
          SUBTYPE ST IS INTEGER RANGE 1..10;
          TYPE REC(DISC : ST := 1) IS
               RECORD
                    CASE DISC IS
                         WHEN 0..-1 => NULL;
                         WHEN 1..-3 => NULL;
                         WHEN 6..5 => COMP : INTEGER;
                         WHEN OTHERS => NULL;
                    END CASE;
               END RECORD;
          R : REC;
     BEGIN
          R := (DISC => 4);
     END;
END C37305A;


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-02-15 06:44:23
               date|                            |
            Summary|ACATS ICE c37305a at -O0: in|[4.0 Regression] ACATS ICE
                   |tree_low_cst, at tree.c:3839|c37305a at -O0: in
                   |                            |tree_low_cst, at tree.c:3839


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug ada/18859] [4.0/4.1 Regression] ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839
  2004-12-06 20:01 [Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839 laurent at guerby dot net
  2004-12-06 22:37 ` [Bug ada/18859] " schwab at suse dot de
  2005-02-15 19:10 ` [Bug ada/18859] [4.0 Regression] " pinskia at gcc dot gnu dot org
@ 2005-03-05 19:52 ` pinskia at gcc dot gnu dot org
  2005-06-19 16:04 ` laurent at guerby dot net
                   ` (4 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-03-05 19:52 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.1.0


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug ada/18859] [4.0/4.1 Regression] ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839
  2004-12-06 20:01 [Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839 laurent at guerby dot net
                   ` (2 preceding siblings ...)
  2005-03-05 19:52 ` [Bug ada/18859] [4.0/4.1 " pinskia at gcc dot gnu dot org
@ 2005-06-19 16:04 ` laurent at guerby dot net
  2005-06-19 16:05 ` [Bug ada/18859] [4.0 " laurent at guerby dot net
                   ` (3 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: laurent at guerby dot net @ 2005-06-19 16:04 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From laurent at guerby dot net  2005-06-19 16:04 -------
PASS on x86 and x86_64-linux with 4.1 20050619, assuming it will work also on ia64 .


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug ada/18859] [4.0 Regression] ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839
  2004-12-06 20:01 [Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839 laurent at guerby dot net
                   ` (3 preceding siblings ...)
  2005-06-19 16:04 ` laurent at guerby dot net
@ 2005-06-19 16:05 ` laurent at guerby dot net
  2005-06-20 19:08 ` [Bug ada/18859] [4.0/4.1 " pinskia at gcc dot gnu dot org
                   ` (2 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: laurent at guerby dot net @ 2005-06-19 16:05 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From laurent at guerby dot net  2005-06-19 16:05 -------
Ooops, didn't check 4.0, leave at open there

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |
            Summary|[4.0/4.1 Regression] ACATS  |[4.0 Regression] ACATS ICE
                   |ICE c37305a at -O0: in      |c37305a at -O0: in
                   |tree_low_cst, at tree.c:3839|tree_low_cst, at tree.c:3839


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug ada/18859] [4.0/4.1 Regression] ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839
  2004-12-06 20:01 [Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839 laurent at guerby dot net
                   ` (4 preceding siblings ...)
  2005-06-19 16:05 ` [Bug ada/18859] [4.0 " laurent at guerby dot net
@ 2005-06-20 19:08 ` pinskia at gcc dot gnu dot org
  2005-06-20 19:09 ` pinskia at gcc dot gnu dot org
  2005-08-22  2:36 ` mmitchel at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-20 19:08 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-20 19:08 -------
Actually this still fails at -O0 for me on powerpc-darwin.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |NEW
            Summary|[4.0 Regression] ACATS ICE  |[4.0/4.1 Regression] ACATS
                   |c37305a at -O0: in          |ICE c37305a at -O0: in
                   |tree_low_cst, at tree.c:3839|tree_low_cst, at tree.c:3839


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug ada/18859] [4.0/4.1 Regression] ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839
  2004-12-06 20:01 [Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839 laurent at guerby dot net
                   ` (5 preceding siblings ...)
  2005-06-20 19:08 ` [Bug ada/18859] [4.0/4.1 " pinskia at gcc dot gnu dot org
@ 2005-06-20 19:09 ` pinskia at gcc dot gnu dot org
  2005-08-22  2:36 ` mmitchel at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-20 19:09 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-20 19:09 -------
(In reply to comment #4)
> Actually this still fails at -O0 for me on powerpc-darwin.
I mean on the mainline:
gcc version 4.1.0 20050619 (experimental)

-- 


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

* [Bug ada/18859] [4.0/4.1 Regression] ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839
  2004-12-06 20:01 [Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839 laurent at guerby dot net
                   ` (6 preceding siblings ...)
  2005-06-20 19:09 ` pinskia at gcc dot gnu dot org
@ 2005-08-22  2:36 ` mmitchel at gcc dot gnu dot org
  7 siblings, 0 replies; 9+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2005-08-22  2:36 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From mmitchel at gcc dot gnu dot org  2005-08-22 02:26 -------
Ada is not release-critical.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.1.0                       |---


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


^ permalink raw reply	[flat|nested] 9+ messages in thread

end of thread, other threads:[~2005-08-22  2:26 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-12-06 20:01 [Bug ada/18859] New: ACATS ICE c37305a at -O0: in tree_low_cst, at tree.c:3839 laurent at guerby dot net
2004-12-06 22:37 ` [Bug ada/18859] " schwab at suse dot de
2005-02-15 19:10 ` [Bug ada/18859] [4.0 Regression] " pinskia at gcc dot gnu dot org
2005-03-05 19:52 ` [Bug ada/18859] [4.0/4.1 " pinskia at gcc dot gnu dot org
2005-06-19 16:04 ` laurent at guerby dot net
2005-06-19 16:05 ` [Bug ada/18859] [4.0 " laurent at guerby dot net
2005-06-20 19:08 ` [Bug ada/18859] [4.0/4.1 " pinskia at gcc dot gnu dot org
2005-06-20 19:09 ` pinskia at gcc dot gnu dot org
2005-08-22  2:36 ` mmitchel at gcc dot gnu dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).