[Bug tree-optimization/51566] New: ICE: verify_gimple in testsuite/g++.dg/ipa/iinline-3.C

[Bug tree-optimization/51566] New: ICE: verify_gimple in testsuite/g++.dg/ipa/iinline-3.C

[Greta.Yorsh at arm dot com]

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

             Bug #: 51566
           Summary: ICE: verify_gimple in testsuite/g++.dg/ipa/iinline-3.C
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: Greta.Yorsh@arm.com
            Target: arm-none-eabi


$ cc1plus /work/local-checkouts/gcc-fsf/gcc/testsuite/g++.dg/ipa/iinline-3.C
-O3 -quiet

/work/local-checkouts/gcc-fsf/gcc/testsuite/g++.dg/ipa/iinline-3.C: In function
'int main(int, char**)':
/work/local-checkouts/gcc-fsf/gcc/testsuite/g++.dg/ipa/iinline-3.C:55:5: error:
statement marked for throw, but doesn't
D.4744_64 = String::funcOne (&S, 4);

/work/local-checkouts/gcc-fsf/gcc/testsuite/g++.dg/ipa/iinline-3.C:55:5:
internal compiler error: verify_gimple failed

Trace:
#0  internal_error (gmsgid=0x1692398 "verify_gimple failed") at
/work/local-checkouts/gcc-fsf/gcc/diagnostic.c:843
#1  0x0000000000e5b5e0 in verify_gimple_in_cfg (fn=0x7ffff7666780) at
/work/local-checkouts/gcc-fsf/gcc/tree-cfg.c:4582
#2  0x000000000106a0f1 in verify_ssa (check_modified_stmt=1 '\001') at
/work/local-checkouts/gcc-fsf/gcc/tree-ssa.c:928
#3  0x0000000000d3b219 in execute_function_todo (data=0x22) at
/work/local-checkouts/gcc-fsf/gcc/passes.c:1725
#4  0x0000000000d3ac3e in do_per_function (callback=0xd3b0ae
<execute_function_todo>, data=0x22) at
/work/local-checkouts/gcc-fsf/gcc/passes.c:1563
#5  0x0000000000d3b311 in execute_todo (flags=34) at
/work/local-checkouts/gcc-fsf/gcc/passes.c:1756
#6  0x0000000000d3bc2c in execute_one_pass (pass=0x1c124c0) at
/work/local-checkouts/gcc-fsf/gcc/passes.c:2102
#7  0x0000000000d3bd57 in execute_pass_list (pass=0x1c124c0) at
/work/local-checkouts/gcc-fsf/gcc/passes.c:2134
#8  0x0000000000d3bd78 in execute_pass_list (pass=0x1c123a0) at
/work/local-checkouts/gcc-fsf/gcc/passes.c:2135
#9  0x0000000000d3bd78 in execute_pass_list (pass=0x1c11aa0) at
/work/local-checkouts/gcc-fsf/gcc/passes.c:2135
#10 0x0000000000edfcc2 in tree_rest_of_compilation (fndecl=0x7ffff753d600) at
/work/local-checkouts/gcc-fsf/gcc/tree-optimize.c:421
#11 0x00000000009b84e5 in cgraph_expand_function (node=0x7ffff7542900) at
/work/local-checkouts/gcc-fsf/gcc/cgraphunit.c:1818
#12 0x00000000009b86b0 in cgraph_expand_all_functions () at
/work/local-checkouts/gcc-fsf/gcc/cgraphunit.c:1885
#13 0x00000000009b91f1 in cgraph_optimize () at
/work/local-checkouts/gcc-fsf/gcc/cgraphunit.c:2198
#14 0x00000000009b6232 in cgraph_finalize_compilation_unit () at
/work/local-checkouts/gcc-fsf/gcc/cgraphunit.c:1327
#15 0x0000000000685ca8 in cp_write_global_declarations () at
/work/local-checkouts/gcc-fsf/gcc/cp/decl2.c:4050
#16 0x0000000000e2ddee in compile_file () at
/work/local-checkouts/gcc-fsf/gcc/toplev.c:573
#17 0x0000000000e2ffea in do_compile () at
/work/local-checkouts/gcc-fsf/gcc/toplev.c:1928
#18 0x0000000000e30161 in toplev_main (argc=4, argv=0x7fffffffe458) at
/work/local-checkouts/gcc-fsf/gcc/toplev.c:2004
#19 0x00000000008e8dac in main (argc=4, argv=0x7fffffffe458) at
/work/local-checkouts/gcc-fsf/gcc/main.c:36

Trunk r182338 configured with --target=arm-none-eabi -cpu=cortex-a9
--with-fpu=neon --with-float=softfp.

[Bug tree-optimization/51566] [4.7 Regression] ICE: verify_gimple in testsuite/g++.dg/ipa/iinline-3.C

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.0
            Summary|ICE: verify_gimple in       |[4.7 Regression] ICE:
                   |testsuite/g++.dg/ipa/iinlin |verify_gimple in
                   |e-3.C                       |testsuite/g++.dg/ipa/iinlin
                   |                            |e-3.C

[Bug tree-optimization/51566] [4.7 Regression] ICE: verify_gimple in testsuite/g++.dg/ipa/iinline-3.C

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at gcc dot gnu.org

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-16 12:13:43 UTC ---
Can't reproduce this with current trunk.

[Bug tree-optimization/51566] [4.7 Regression] ICE: verify_gimple in testsuite/g++.dg/ipa/iinline-3.C

[Greta.Yorsh at arm dot com]

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

--- Comment #2 from Greta Yorsh <Greta.Yorsh at arm dot com> 2012-01-19 10:50:09 UTC ---
I did git bisect and it shows that the ICE disappears from r182403.
Looks like the problem has been fixed by this patch:
http://gcc.gnu.org/ml/gcc-patches/2011-12/msg01247.html
It's a fix for PR51576, where the error message is similar to the error message
we get here, before ICE: "error: statement marked for throw, but doesn’t".

[Bug tree-optimization/51566] [4.7 Regression] ICE: verify_gimple in testsuite/g++.dg/ipa/iinline-3.C

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-19 10:53:32 UTC ---
Fixed then, thanks for the info.