From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 31675 invoked by alias); 15 Nov 2010 21:33:34 -0000 Received: (qmail 31663 invoked by uid 22791); 15 Nov 2010 21:33:33 -0000 X-SWARE-Spam-Status: No, hits=-2.8 required=5.0 tests=ALL_TRUSTED,AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from localhost (HELO gcc.gnu.org) (127.0.0.1) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 15 Nov 2010 21:32:46 +0000 From: "zsojka at seznam dot cz" To: gcc-bugs@gcc.gnu.org Subject: [Bug tree-optimization/46165] [4.3/4.4 Regression] ICE: verify_flow_info failed when casting-out attribute noreturn with -fno-tree-ccp -fno-tree-copy-prop -fno-tree-dce X-Bugzilla-Reason: CC X-Bugzilla-Type: changed X-Bugzilla-Watch-Reason: None X-Bugzilla-Product: gcc X-Bugzilla-Component: tree-optimization X-Bugzilla-Keywords: ice-on-valid-code X-Bugzilla-Severity: normal X-Bugzilla-Who: zsojka at seznam dot cz X-Bugzilla-Status: ASSIGNED X-Bugzilla-Priority: P3 X-Bugzilla-Assigned-To: jakub at gcc dot gnu.org X-Bugzilla-Target-Milestone: 4.3.6 X-Bugzilla-Changed-Fields: Message-ID: In-Reply-To: References: X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/ Auto-Submitted: auto-generated Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 Date: Mon, 15 Nov 2010 21:36:00 -0000 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: 2010-11/txt/msg01985.txt.bz2 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46165 --- Comment #10 from Zdenek Sojka 2010-11-15 21:29:21 UTC --- Actually, it crashes in trunk r166763 as well, it needs -ftree-vrp: $ gcc -O -fno-tree-ccp -fno-tree-fre -ftree-vrp pr46165.i /mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/pr46165.c: In function 'g': /mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/pr46165.c:7:1: error: control flow in the middle of basic block 2 /mnt/svn/gcc-trunk/gcc/testsuite/gcc.dg/pr46165.c:7:1: internal compiler error: verify_flow_info failed Please submit a full bug report, with preprocessed source if appropriate. See for instructions. (gdb) bt #0 error (gmsgid=0x1140fa8 "control flow in the middle of basic block %d") at /mnt/svn/gcc-trunk/gcc/diagnostic.c:747 #1 0x00000000008b599c in gimple_verify_flow_info () at /mnt/svn/gcc-trunk/gcc/tree-cfg.c:4513 #2 0x00000000005b64d4 in verify_flow_info () at /mnt/svn/gcc-trunk/gcc/cfghooks.c:257 #3 0x0000000000a15a79 in execute_vrp () at /mnt/svn/gcc-trunk/gcc/tree-vrp.c:7742 #4 0x00000000007bca0f in execute_one_pass (pass=0x15f7600) at /mnt/svn/gcc-trunk/gcc/passes.c:1560 #5 0x00000000007bccd5 in execute_pass_list (pass=0x15f7600) at /mnt/svn/gcc-trunk/gcc/passes.c:1615 #6 0x00000000007bcce7 in execute_pass_list (pass=0x15f5da0) at /mnt/svn/gcc-trunk/gcc/passes.c:1616 #7 0x0000000000900886 in tree_rest_of_compilation (fndecl=0x7ffff5cd2000) at /mnt/svn/gcc-trunk/gcc/tree-optimize.c:422 #8 0x0000000000ac8414 in cgraph_expand_function (node=0x7ffff5cd6000) at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1492 #9 0x0000000000aca9ca in cgraph_expand_all_functions () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1551 #10 cgraph_optimize () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1807 #11 0x0000000000acaf2a in cgraph_finalize_compilation_unit () at /mnt/svn/gcc-trunk/gcc/cgraphunit.c:1015 #12 0x00000000004d7d8c in c_write_global_declarations () at /mnt/svn/gcc-trunk/gcc/c-decl.c:9837 #13 0x00000000008a9406 in compile_file (argc=6, argv=0x7fffffffde88) at /mnt/svn/gcc-trunk/gcc/toplev.c:885 #14 do_compile (argc=6, argv=0x7fffffffde88) at /mnt/svn/gcc-trunk/gcc/toplev.c:2313 #15 toplev_main (argc=6, argv=0x7fffffffde88) at /mnt/svn/gcc-trunk/gcc/toplev.c:2374 #16 0x00007ffff6579bbd in __libc_start_main () from /lib/libc.so.6 #17 0x00000000004be7fd in _start () That's with yes,rtl,df checking - but it seems it crashes just with regular checking as well - verify_flow_info() is guarded by #ifdef ENABLE_CHECKING.