[Bug ada/26296] New: [4.2 Regression] ACATS ICE cxg2007 cxg2012 verify_flow_info failed

[Bug ada/26296] New: [4.2 Regression] ACATS ICE cxg2007 cxg2012 verify_flow_info failed

[laurent at guerby dot net]

This was working as of
Mon Feb  6 21:17:18 UTC 2006 (revision 110664)
It's now FAIL on x86_64 (at least)
Tue Feb 14 21:54:03 UTC 2006 (revision 110997)

Note might be a resurgence of PR21241 (fixed a while ago).

cxg2007.adb: In function 'CXG2007':
cxg2007.adb:291: error: missing REG_EH_REGION note in the end of bb 162
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20060214 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| verify_flow_info failed                                                  |
| Error detected at cxg2007.adb:291:5                                      |

cxg2012.adb: In function 'CXG2012.A_LONG_FLOAT_CHECK.LARGE_RANGE_TEST':
cxg2012.adb:335: error: missing REG_EH_REGION note in the end of bb 33
+===========================GNAT BUG DETECTED==============================+
| 4.2.0 20060214 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| verify_flow_info failed                                                  |
| Error detected at cxg2012.adb:438:5                                      |


-- 
           Summary: [4.2 Regression] ACATS ICE cxg2007 cxg2012
                    verify_flow_info failed
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net


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

[Bug ada/26296] [4.2 Regression] ACATS ICE cxg2007 cxg2012 verify_flow_info failed

[ebotcazou at gcc dot gnu dot org]

------- Comment #1 from ebotcazou at gcc dot gnu dot org  2006-02-15 07:27 -------
> This was working as of
> Mon Feb  6 21:17:18 UTC 2006 (revision 110664)
> It's now FAIL on x86_64 (at least)
> Tue Feb 14 21:54:03 UTC 2006 (revision 110997)

It's the new LIM pass enabled by default.


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ebotcazou at gcc dot gnu dot
                   |                            |org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-02-15 07:27:18
               date|                            |
            Summary|[4.2 Regression] ACATS ICE  |[4.2 Regression] ACATS ICE
                   |cxg2007 cxg2012             |cxg2007 cxg2012
                   |verify_flow_info failed     |verify_flow_info failed


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

[Bug rtl-optimization/26296] [4.2 Regression] ACATS ICE cxg2007 cxg2012 verify_flow_info failed

[ebotcazou at gcc dot gnu dot org]

------- Comment #2 from ebotcazou at gcc dot gnu dot org  2006-02-15 07:57 -------
Patch at: http://gcc.gnu.org/ml/gcc-patches/2006-02/msg01105.html


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|ada                         |rtl-optimization


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

[Bug rtl-optimization/26296] [4.2 Regression] ACATS ICE cxg2007 cxg2012 verify_flow_info failed

[chrisp_42 at bigpond dot com]

------- Comment #3 from chrisp_42 at bigpond dot com  2006-02-15 09:40 -------
(In reply to comment #2)
> Patch at: http://gcc.gnu.org/ml/gcc-patches/2006-02/msg01105.html
> 

Actually it was the enabling of the new loop invariant pass in revision 110852.

Patch at http://gcc.gnu.org/ml/gcc-patches/2006-02/msg01104.html

Has not been applied to head yet.


-- 


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

[Bug rtl-optimization/26296] [4.2 Regression] ACATS ICE cxg2007 cxg2012 verify_flow_info failed

[ebotcazou at gcc dot gnu dot org]

------- Comment #4 from ebotcazou at gcc dot gnu dot org  2006-02-15 10:03 -------
> Actually it was the enabling of the new loop invariant pass in revision 110852.

What do you think LIM means?

> Patch at http://gcc.gnu.org/ml/gcc-patches/2006-02/msg01104.html

Oops, right, that's the correct link.


-- 


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

[Bug rtl-optimization/26296] [4.2 Regression] ACATS ICE cxg2007 cxg2012 verify_flow_info failed

[rakdver at gcc dot gnu dot org]

------- Comment #5 from rakdver at gcc dot gnu dot org  2006-02-16 15:47 -------
Subject: Bug 26296

Author: rakdver
Date: Thu Feb 16 15:47:20 2006
New Revision: 111139

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=111139
Log:
        PR rtl-optimization/26296
        * Makefile.in (loop-invariant.c): Add except.h dependency.
        * loop-invariant.c: Include except.h.
        (find_invariant_insn): Ignore insns satisfying can_throw_internal.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/Makefile.in
    trunk/gcc/loop-invariant.c


-- 


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

[Bug rtl-optimization/26296] [4.2 Regression] ACATS ICE cxg2007 cxg2012 verify_flow_info failed

[ebotcazou at gcc dot gnu dot org]

------- Comment #6 from ebotcazou at gcc dot gnu dot org  2006-02-16 17:37 -------
Fixed by Zdenek.


-- 

ebotcazou at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/26296] [4.2 Regression] ACATS ICE cxg2007 cxg2012 verify_flow_info failed

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.1.2
   Target Milestone|---                         |4.2.0


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