[Bug rtl-optimization/46175] New: ICE: in rtl_verify_flow_info_1, at cfgrtl.c:2037: flow control insn inside a basic block with -O -fgcse -fno-guess-branch-probability -freorder-blocks and asm goto

[Bug rtl-optimization/46175] New: ICE: in rtl_verify_flow_info_1, at cfgrtl.c:2037: flow control insn inside a basic block with -O -fgcse -fno-guess-branch-probability -freorder-blocks and asm goto

[zsojka at seznam dot cz]

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

           Summary: ICE: in rtl_verify_flow_info_1, at cfgrtl.c:2037: flow
                    control insn inside a basic block with -O -fgcse
                    -fno-guess-branch-probability -freorder-blocks and asm
                    goto
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz


Created attachment 22154
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22154
reduced testcase

Compiler output:
$ gcc -O -fgcse -fno-guess-branch-probability -freorder-blocks pr46175.c 
pr46175.c: In function 'foo':
pr46175.c:27:1: error: in basic block 7:
pr46175.c:27:1: error: flow control insn inside a basic block
(jump_insn 14 46 61 7 (parallel [
            (asm_operands/v ("") ("") 0 []
                 []
                 [
                    (label_ref:DI 16)
                ] pr46175.c:27)
            (clobber (reg:QI 18 fpsr))
            (clobber (reg:QI 17 flags))
        ]) pr46175.c:19 -1
     (expr_list:REG_UNUSED (reg:QI 18 fpsr)
        (expr_list:REG_UNUSED (reg:QI 17 flags)
            (nil)))
 -> 16)
pr46175.c:27:1: internal compiler error: in rtl_verify_flow_info_1, at
cfgrtl.c:2037
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r165915 - crash
r153685 - crash
4.5 r165781 - crash
4.4 r165754 - doesn't know asm goto

[Bug rtl-optimization/46175] ICE: in rtl_verify_flow_info_1, at cfgrtl.c:2037: flow control insn inside a basic block with -O -fgcse -fno-guess-branch-probability -freorder-blocks and asm goto

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.10.27 21:43:28
     Ever Confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> 2010-10-27 21:43:28 UTC ---
Even just -O1 -da will cause a crash.

Confirmed.

[Bug inline-asm/46175] ICE: in rtl_verify_flow_info_1, at cfgrtl.c:2037: flow control insn inside a basic block with -O -fgcse -fno-guess-branch-probability -freorder-blocks and asm goto

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=46175

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.5.3
         Resolution|---                         |FIXED
   Target Milestone|---                         |4.5.3
             Status|NEW                         |RESOLVED
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=44469

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed in GCC 4.5.3.  I can only think the fix for PR 44469 fixed this also.