From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 1114 invoked by alias); 9 Jan 2013 17:09:37 -0000 Received: (qmail 965 invoked by uid 48); 9 Jan 2013 17:09:01 -0000 From: "amylaar at gcc dot gnu.org" To: gcc-bugs@gcc.gnu.org Subject: [Bug middle-end/55921] New: Crash in verify_ssa for asm to side-steps complex pessimization Date: Wed, 09 Jan 2013 17:09:00 -0000 X-Bugzilla-Reason: CC X-Bugzilla-Type: new X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: middle-end X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: amylaar at gcc dot gnu.org X-Bugzilla-Status: UNCONFIRMED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org X-Bugzilla-Target-Milestone: --- X-Bugzilla-Changed-Fields: Message-ID: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2013-01/txt/msg00835.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55921 Bug #: 55921 Summary: Crash in verify_ssa for asm to side-steps complex pessimization Classification: Unclassified Product: gcc Version: 4.8.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: middle-end AssignedTo: unassigned@gcc.gnu.org ReportedBy: amylaar@gcc.gnu.org Created attachment 29126 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29126 testcase verify_ssa crashes during expand for a simple testcase that uses a pair of asms to avoid the tree pass pessimization of complex type data moves. Observed with GCC 4.7.0 i686-pc-linux-gnu X epiphany-elf, i686-pc-linux-gnu native Red Hat 4.7.2-2, and i686-pc-linux-gnu native 4.8.0 20130109 (experimental) (revision 195054) (gdb) run Starting program: /ssd/fsf/inst/libexec/gcc/i686-pc-linux-gnu/4.8.0/cc1 -fpreprocessed tc3.i -quiet -dumpbase tc3.c -mtune=generic -march=pentiumpro -auxbase tc3 -version -o tc3.s GNU C (GCC) version 4.8.0 20130109 (experimental) (i686-pc-linux-gnu) compiled by GNU C version 4.8.0 20130109 (experimental), GMP version 5.0.2, MPFR version 3.1.0, MPC version 0.9 GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096 GNU C (GCC) version 4.8.0 20130109 (experimental) (i686-pc-linux-gnu) compiled by GNU C version 4.8.0 20130109 (experimental), GMP version 5.0.2, MPFR version 3.1.0, MPC version 0.9 GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096 Compiler executable checksum: 7fd55bd33553a03a09fb094c59fe563c Program received signal SIGSEGV, Segmentation fault. verify_ssa (check_modified_stmt=true) at ../../gcc/gcc/tree-ssa.c:942 942 if (!gimple_nop_p (stmt)) (gdb) bt #0 verify_ssa (check_modified_stmt=true) at ../../gcc/gcc/tree-ssa.c:942 #1 0x084c6fbe in execute_function_todo (data=data@entry=0x8001c) at ../../gcc/gcc/passes.c:1969 #2 0x084c7788 in do_per_function ( callback=0x84c6f20 , data=0x8001c) at ../../gcc/gcc/passes.c:1703 #3 0x084c78ba in execute_todo (flags=524316) at ../../gcc/gcc/passes.c:2001 #4 0x084cabff in execute_one_pass (pass=pass@entry=0x8dced80) at ../../gcc/gcc/passes.c:2321 #5 0x084cb035 in execute_pass_list (pass=0x8dced80) at ../../gcc/gcc/passes.c:2383 #6 0x0826186e in expand_function (node=0xb7be93f0) at ../../gcc/gcc/cgraphunit.c:1641 #7 0x08263bb4 in output_in_order () at ../../gcc/gcc/cgraphunit.c:1834 #8 compile () at ../../gcc/gcc/cgraphunit.c:2038 #9 0x08263f2a in finalize_compilation_unit () at ../../gcc/gcc/cgraphunit.c:2120 #10 0x08137e45 in c_write_global_declarations () at ../../gcc/gcc/c/c-decl.c:10120 #11 0x0856d85d in compile_file () at ../../gcc/gcc/toplev.c:559 #12 0x0856f82c in do_compile () at ../../gcc/gcc/toplev.c:1878 #13 toplev_main (argc=13, argv=0xbfffeda4) at ../../gcc/gcc/toplev.c:1954 #14 0x0811a2cb in main (argc=13, argv=0xbfffeda4) at ../../gcc/gcc/main.c:36 (gdb) frame 0 #0 verify_ssa (check_modified_stmt=true) at ../../gcc/gcc/tree-ssa.c:942 942 if (!gimple_nop_p (stmt)) (gdb) p stmt $1 = (gimple_statement_d *) 0x0