[Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify

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

* [Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify_ssa tree-ssa.c:750
@ 2005-06-13 20:10 laurent at guerby dot net
  2005-06-14 10:41 ` [Bug ada/22055] ACATS ICE cxg1005 cxg1004 cxg2021 expected " laurent at guerby dot net
                   ` (7 more replies)
  0 siblings, 8 replies; 9+ messages in thread
From: laurent at guerby dot net @ 2005-06-13 20:10 UTC (permalink / raw)
  To: gcc-bugs

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050612 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| tree check: expected ssa_name, have var_decl in verify_ssa, at           |
|    tree-ssa.c:750                                                        |
| Error detected at cxg1005.adb:393:5                                      |

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050612 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| tree check: expected ssa_name, have var_decl in verify_ssa, at           |
|    tree-ssa.c:750                                                        |
| Error detected at cxg1004.adb:360:5

-- 
           Summary: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have
                    var_decl in verify_ssa tree-ssa.c:750
           Product: gcc
           Version: 4.1.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=22055


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

* [Bug ada/22055] ACATS ICE cxg1005 cxg1004 cxg2021 expected ssa_name, have var_decl in verify_ssa tree-ssa.c:750
  2005-06-13 20:10 [Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify_ssa tree-ssa.c:750 laurent at guerby dot net
@ 2005-06-14 10:41 ` laurent at guerby dot net
  2005-06-15  1:59 ` ro at gcc dot gnu dot org
                   ` (6 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: laurent at guerby dot net @ 2005-06-14 10:41 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From laurent at guerby dot net  2005-06-14 10:40 -------
Now that PR22053 is fixed, cxg2021 ICE has changed to the one of this PR.

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050614 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| tree check: expected ssa_name, have var_decl in verify_ssa, at           |
|    tree-ssa.c:750                                                        |
| Error detected at cxg2021.adb:386:5                                      |


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ACATS ICE cxg1005 cxg1004   |ACATS ICE cxg1005 cxg1004
                   |xpected ssa_name, have      |cxg2021 expected ssa_name,
                   |var_decl in verify_ssa tree-|have var_decl in verify_ssa
                   |ssa.c:750                   |tree-ssa.c:750


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


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

* [Bug ada/22055] ACATS ICE cxg1005 cxg1004 cxg2021 expected ssa_name, have var_decl in verify_ssa tree-ssa.c:750
  2005-06-13 20:10 [Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify_ssa tree-ssa.c:750 laurent at guerby dot net
  2005-06-14 10:41 ` [Bug ada/22055] ACATS ICE cxg1005 cxg1004 cxg2021 expected " laurent at guerby dot net
@ 2005-06-15  1:59 ` ro at gcc dot gnu dot org
  2005-06-18 13:51 ` [Bug ada/22055] ACATS ICE cxg1004 cxg1005 cxg2007 cxg2018 " laurent at guerby dot net
                   ` (5 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: ro at gcc dot gnu dot org @ 2005-06-15  1:59 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From ro at gcc dot gnu dot org  2005-06-15 01:59 -------
Happens for me, too, on i386-pc-solaris2.10 and the workaround from PR ada/21959,
though already while building libada:

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050614 (experimental) (i386-pc-solaris2.10) GCC error:           |
| tree check: expected ssa_name, have var_decl in verify_ssa, at           |
|    tree-ssa.c:750                                                        |
| Error detected at a-nlcoty.ads:21:1                                      |

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ro at techfak dot uni-
                   |                            |bielefeld dot de


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


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

* [Bug ada/22055] ACATS ICE cxg1004 cxg1005 cxg2007 cxg2018 cxg2021 expected ssa_name, have var_decl in verify_ssa tree-ssa.c:750
  2005-06-13 20:10 [Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify_ssa tree-ssa.c:750 laurent at guerby dot net
  2005-06-14 10:41 ` [Bug ada/22055] ACATS ICE cxg1005 cxg1004 cxg2021 expected " laurent at guerby dot net
  2005-06-15  1:59 ` ro at gcc dot gnu dot org
@ 2005-06-18 13:51 ` laurent at guerby dot net
  2005-06-18 18:04 ` [Bug tree-optimization/22055] [4.1 Regression] " pinskia at gcc dot gnu dot org
                   ` (4 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: laurent at guerby dot net @ 2005-06-18 13:51 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From laurent at guerby dot net  2005-06-18 13:51 -------
Now 5 tests with this ICE.

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050618 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| tree check: expected ssa_name, have var_decl in verify_ssa, at           |
|    tree-ssa.c:750                                                        |
| Error detected at cxg2007.adb:291:5                                      |

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050618 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| tree check: expected ssa_name, have var_decl in verify_ssa, at           |
|    tree-ssa.c:750                                                        |
| Error detected at cxg2018.adb:355:5                                      |

+===========================GNAT BUG DETECTED==============================+
| 4.1.0 20050618 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| tree check: expected ssa_name, have var_decl in verify_ssa, at           |
|    tree-ssa.c:750                                                        |
| Error detected at cxg2021.adb:386:5                                      |


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|ACATS ICE cxg1005 cxg1004   |ACATS ICE cxg1004 cxg1005
                   |cxg2021 expected ssa_name,  |cxg2007 cxg2018 cxg2021
                   |have var_decl in verify_ssa |expected ssa_name, have
                   |tree-ssa.c:750              |var_decl in verify_ssa tree-
                   |                            |ssa.c:750


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


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

* [Bug tree-optimization/22055] [4.1 Regression] ACATS ICE cxg1004 cxg1005 cxg2007 cxg2018 cxg2021 expected ssa_name, have var_decl in verify_ssa tree-ssa.c:750
  2005-06-13 20:10 [Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify_ssa tree-ssa.c:750 laurent at guerby dot net
                   ` (2 preceding siblings ...)
  2005-06-18 13:51 ` [Bug ada/22055] ACATS ICE cxg1004 cxg1005 cxg2007 cxg2018 " laurent at guerby dot net
@ 2005-06-18 18:04 ` pinskia at gcc dot gnu dot org
  2005-06-18 20:53 ` pinskia at gcc dot gnu dot org
                   ` (3 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-18 18:04 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|ada                         |tree-optimization
            Summary|ACATS ICE cxg1004 cxg1005   |[4.1 Regression] ACATS ICE
                   |cxg2007 cxg2018 cxg2021     |cxg1004 cxg1005 cxg2007
                   |expected ssa_name, have     |cxg2018 cxg2021 expected
                   |var_decl in verify_ssa tree-|ssa_name, have var_decl in
                   |ssa.c:750                   |verify_ssa tree-ssa.c:750
   Target Milestone|---                         |4.1.0


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


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

* [Bug tree-optimization/22055] [4.1 Regression] ACATS ICE cxg1004 cxg1005 cxg2007 cxg2018 cxg2021 expected ssa_name, have var_decl in verify_ssa tree-ssa.c:750
  2005-06-13 20:10 [Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify_ssa tree-ssa.c:750 laurent at guerby dot net
                   ` (3 preceding siblings ...)
  2005-06-18 18:04 ` [Bug tree-optimization/22055] [4.1 Regression] " pinskia at gcc dot gnu dot org
@ 2005-06-18 20:53 ` pinskia at gcc dot gnu dot org
  2005-06-18 21:09 ` pinskia at gcc dot gnu dot org
                   ` (2 subsequent siblings)
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-18 20:53 UTC (permalink / raw)
  To: gcc-bugs



-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |22116


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


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

* [Bug tree-optimization/22055] [4.1 Regression] ACATS ICE cxg1004 cxg1005 cxg2007 cxg2018 cxg2021 expected ssa_name, have var_decl in verify_ssa tree-ssa.c:750
  2005-06-13 20:10 [Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify_ssa tree-ssa.c:750 laurent at guerby dot net
                   ` (4 preceding siblings ...)
  2005-06-18 20:53 ` pinskia at gcc dot gnu dot org
@ 2005-06-18 21:09 ` pinskia at gcc dot gnu dot org
  2005-06-19  6:38 ` rth at gcc dot gnu dot org
  2005-06-19 10:47 ` laurent at guerby dot net
  7 siblings, 0 replies; 9+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-18 21:09 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-18 21:09 -------
I cannot tell if the following testcases are a dup of PR 22116:
cxg2021 - a different ICE with -fdump-tree-all (or even just -fdump-tree-pre)
cxg2018 - does not fail for me on powerpc-darwin
cxg2021 - a different ICE with -fdump-tree-all (or even just -fdump-tree-pre)

The ICE for those two testcases with -fdump-tree-all is:
+===========================GNAT BUG 
DETECTED==============================+
| 4.1.0 20050618 (experimental) (powerpc-apple-darwin7.8.0) GCC error:     |
| in get_loop_body, at cfgloop.c:807                                       |
| Error detected at cxg2021.adb:386:5                                      |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |

All the rest are dups of bug 22116.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org


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


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

* [Bug tree-optimization/22055] [4.1 Regression] ACATS ICE cxg1004 cxg1005 cxg2007 cxg2018 cxg2021 expected ssa_name, have var_decl in verify_ssa tree-ssa.c:750
  2005-06-13 20:10 [Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify_ssa tree-ssa.c:750 laurent at guerby dot net
                   ` (5 preceding siblings ...)
  2005-06-18 21:09 ` pinskia at gcc dot gnu dot org
@ 2005-06-19  6:38 ` rth at gcc dot gnu dot org
  2005-06-19 10:47 ` laurent at guerby dot net
  7 siblings, 0 replies; 9+ messages in thread
From: rth at gcc dot gnu dot org @ 2005-06-19  6:38 UTC (permalink / raw)
  To: gcc-bugs



-- 
Bug 22055 depends on bug 22116, which changed state.

Bug 22116 Summary: [4.1 Regression] PRE of COMPLEX_EXPR causes ICE
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22116

           What    |Old Value                   |New Value
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
             Status|NEW                         |ASSIGNED
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED

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


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

* [Bug tree-optimization/22055] [4.1 Regression] ACATS ICE cxg1004 cxg1005 cxg2007 cxg2018 cxg2021 expected ssa_name, have var_decl in verify_ssa tree-ssa.c:750
  2005-06-13 20:10 [Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify_ssa tree-ssa.c:750 laurent at guerby dot net
                   ` (6 preceding siblings ...)
  2005-06-19  6:38 ` rth at gcc dot gnu dot org
@ 2005-06-19 10:47 ` laurent at guerby dot net
  7 siblings, 0 replies; 9+ messages in thread
From: laurent at guerby dot net @ 2005-06-19 10:47 UTC (permalink / raw)
  To: gcc-bugs


------- Additional Comments From laurent at guerby dot net  2005-06-19 10:47 -------
All fixed, no more cxg failures on x86-linux and x86_64-linux, thanks!

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


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


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

end of thread, other threads:[~2005-06-19 10:47 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-06-13 20:10 [Bug ada/22055] New: ACATS ICE cxg1005 cxg1004 xpected ssa_name, have var_decl in verify_ssa tree-ssa.c:750 laurent at guerby dot net
2005-06-14 10:41 ` [Bug ada/22055] ACATS ICE cxg1005 cxg1004 cxg2021 expected " laurent at guerby dot net
2005-06-15  1:59 ` ro at gcc dot gnu dot org
2005-06-18 13:51 ` [Bug ada/22055] ACATS ICE cxg1004 cxg1005 cxg2007 cxg2018 " laurent at guerby dot net
2005-06-18 18:04 ` [Bug tree-optimization/22055] [4.1 Regression] " pinskia at gcc dot gnu dot org
2005-06-18 20:53 ` pinskia at gcc dot gnu dot org
2005-06-18 21:09 ` pinskia at gcc dot gnu dot org
2005-06-19  6:38 ` rth at gcc dot gnu dot org
2005-06-19 10:47 ` laurent at guerby dot net

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).