[Bug middle-end/33706] New: gcc_assert failure in verify_eh_edges

[Bug middle-end/33706] New: gcc_assert failure in verify_eh_edges

[aj at gcc dot gnu dot org]

Compiling glibc on Linux/x86-64 I get a segmentation fault.

(gdb) r -fpreprocessed cache.i -quiet -dumpbase cache.c -mtune=generic
-auxbase-strip /abuild/aj/glibc/4.3/elf/cache.o -g -O2 -Wall -Winline
-Wwrite-strings -Wstrict-prototypes -std=gnu99 -version -fgnu89-inline
-fmerge-all-constants -o cache.s
Starting program:
/opt/gcc/4.3-devel/libexec/gcc/x86_64-suse-linux-gnu/4.3.0/cc1 -fpreprocessed
cache.i -quiet -dumpbase cache.c -mtune=generic -auxbase-strip
/abuild/aj/glibc/4.3/elf/cache.o -g -O2 -Wall -Winline -Wwrite-strings
-Wstrict-prototypes -std=gnu99 -version -fgnu89-inline -fmerge-all-constants -o
cache.s
GNU C (GCC) version 4.3.0 20071008 (experimental) [trunk revision 129132]
(x86_64-suse-linux-gnu)
        compiled by GNU C version 4.3.0 20071008 (experimental) [trunk revision
129132], GMP version 4.2.1, MPFR version 2.2.1.
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
Compiler executable checksum: 44f4e8c7ed384ee5613017e04accc06a

Program received signal SIGSEGV, Segmentation fault.
0x0000000000779930 in verify_eh_edges (stmt=0x2b8346a28800)
    at /cvs/gcc-svn/trunk/gcc/basic-block.h:673
673       gcc_assert (i.container);
(gdb) bt
#0  0x0000000000779930 in verify_eh_edges (stmt=0x2b8346a28800)
    at /cvs/gcc-svn/trunk/gcc/basic-block.h:673
#1  0x00000000007574e2 in tree_verify_flow_info () at
/cvs/gcc-svn/trunk/gcc/tree-cfg.c:4466
#2  0x00000000004dc423 in verify_flow_info () at
/cvs/gcc-svn/trunk/gcc/cfghooks.c:244
#3  0x000000000075a675 in cleanup_tree_cfg ()
    at /cvs/gcc-svn/trunk/gcc/tree-cfgcleanup.c:663
#4  0x00000000006781e5 in execute_function_todo (data=<value optimized out>)
    at /cvs/gcc-svn/trunk/gcc/passes.c:884
#5  0x0000000000677f6f in execute_todo (flags=19968682)
    at /cvs/gcc-svn/trunk/gcc/passes.c:988
#6  0x000000000067853a in execute_one_pass (pass=0x1254200)
    at /cvs/gcc-svn/trunk/gcc/passes.c:1139
#7  0x00000000006786c0 in execute_pass_list (pass=0x1254200)
    at /cvs/gcc-svn/trunk/gcc/passes.c:1170
#8  0x00000000006786d5 in execute_pass_list (pass=0x11d9ac0)
    at /cvs/gcc-svn/trunk/gcc/passes.c:1171
#9  0x0000000000678814 in execute_ipa_pass_list (pass=0x11d9a60)
    at /cvs/gcc-svn/trunk/gcc/passes.c:855
#10 0x000000000092240d in cgraph_optimize () at
/cvs/gcc-svn/trunk/gcc/cgraphunit.c:1248
#11 0x000000000041611e in c_write_global_declarations ()
    at /cvs/gcc-svn/trunk/gcc/c-decl.c:8077
#12 0x000000000073dc09 in toplev_main (argc=<value optimized out>,
    argv=<value optimized out>) at /cvs/gcc-svn/trunk/gcc/toplev.c:1052
#13 0x00002b8346253b54 in __libc_start_main () from /lib64/libc.so.6
#14 0x0000000000404009 in _start ()

(gdb) pt stmt
 <call_expr 0x2b8346a28800
    type <void_type 0x2b8345c6d750 void asm_written VOID
        align 8 symtab 0 alias set 2 canonical type 0x2b8345c6d750
        pointer_to_this <pointer_type 0x2b8345c6d820>>
    side-effects
    fn <addr_expr 0x2b8346a23a40
        type <pointer_type 0x2b83467f3270 type <function_type 0x2b83467f30d0>
            unsigned DI
            size <integer_cst 0x2b8345c50ba0 constant invariant 64>
            unit size <integer_cst 0x2b8345c50bd0 constant invariant 8>
            align 64 symtab 0 alias set -1 canonical type 0x2b83467f3340>
        constant invariant
        arg 0 <function_decl 0x2b83467f1200 __error_noreturn type
<function_type 0x2b83467f00d0>
            addressable volatile used public external decl_5 QI file
../include/bits/../../misc/bits/error.h line 32 align 8 attributes <tree_list
0x2b83467eec60> chain <function_decl 0x2b83467f1500 __error_at_line_alias>>>
    arg 0 <integer_cst 0x2b8345c6c570 type <integer_type 0x2b8345c5f5b0 int>
constant invariant 1>
    arg 1 <ssa_name 0x2b8346a2b3c0
        type <integer_type 0x2b8345c5f5b0 int sizes-gimplified asm_written
public SI
            size <integer_cst 0x2b8345c50ab0 constant invariant 32>
            unit size <integer_cst 0x2b8345c50720 constant invariant 4>
            align 32 symtab 1180196224 alias set 5 canonical type
0x2b8345c5f5b0 precision 32 min <integer_cst 0x2b8345c50a20 -2147483648> max
<integer_cst 0x2b8345c50a50 2147483647>
            pointer_to_this <pointer_type 0x2b8345c70000>>
        visited var <var_decl 0x2b8346702c60 __libc_errno.31> def_stmt
<gimple_modify_stmt 0x2b8346651780>
        version 127>
    arg 2 <ssa_name 0x2b8346a2b360
        type <pointer_type 0x2b8345c769c0 type <integer_type 0x2b8345c5f340
char>
            sizes-gimplified asm_written public unsigned DI size <integer_cst
0x2b8345c50ba0 64> unit size <integer_cst 0x2b8345c50bd0 8>
            align 64 symtab 1180449696 alias set 34 canonical type
0x2b8345c769c0
            pointer_to_this <pointer_type 0x2b83465a8340>>
        visited var <var_decl 0x2b8346702bb0 D.8371> def_stmt
<gimple_modify_stmt 0x2b8346651750>
        version 126>
    arg 3 <ssa_name 0x2b8346a2b240 type <pointer_type 0x2b8345c769c0>
        visited var <var_decl 0x2b83466a9bb0 temp_name> def_stmt
<gimple_modify_stmt 0x2b8346651690>
        version 123>
    ../include/bits/../../misc/bits/error.h:41>


-- 
           Summary: gcc_assert failure in verify_eh_edges
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: aj at gcc dot gnu dot org
 GCC build triplet: x86_64-linux-gnu
  GCC host triplet: x86_64-linux-gnu
GCC target triplet: x86_64-linux-gnu


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

[Bug middle-end/33706] gcc_assert failure in verify_eh_edges

[aj at gcc dot gnu dot org]

------- Comment #1 from aj at gcc dot gnu dot org  2007-10-09 10:41 -------
Currently adding a new attachment does not work for me. I've uploaded
preprocessed sources to http://www.suse.de/~aj/cache.i.bz2


-- 


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

[Bug middle-end/33706] gcc_assert failure in verify_eh_edges

[aj at gcc dot gnu dot org]

------- Comment #2 from aj at gcc dot gnu dot org  2007-10-09 14:08 -------
Created an attachment (id=14330)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=14330&action=view)
Preprocessed and compressed source file


-- 


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

[Bug middle-end/33706] gcc_assert failure in verify_eh_edges

[aoliva at gcc dot gnu dot org]

------- Comment #3 from aoliva at gcc dot gnu dot org  2007-10-10 04:56 -------
I've tried reverting the patches for PR 33572, but this didn't help with this
problem at all.  Looking further, I tried the patch for PR 15764 as well, but
the problem remained.  I assumed I was Cc:ed because there was any evidence
that I was involved in the regression, and I'll give you that it sounded
likely, but I don't think this is the case.  If you have any other reasons to
believe I'm responsible for fixing this, will you please present them and
assign the bug to myself?

FWIW, the problem is that the BB of the call_expr is NULL.  We're missing an
annotation somewhere.


-- 


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

[Bug middle-end/33706] gcc_assert failure in verify_eh_edges

[aoliva at gcc dot gnu dot org]

------- Comment #4 from aoliva at gcc dot gnu dot org  2007-10-10 05:36 -------
This is actually a fallout from __builtin_va_arg_pack().  Patch to follow
shortly.


-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jakub at redhat dot com
         AssignedTo|unassigned at gcc dot gnu   |aoliva at gcc dot gnu dot
                   |dot org                     |org


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

[Bug middle-end/33706] gcc_assert failure in verify_eh_edges

[aoliva at gcc dot gnu dot org]

------- Comment #5 from aoliva at gcc dot gnu dot org  2007-10-10 06:31 -------
http://gcc.gnu.org/ml/gcc-patches/2007-10/msg00538.html


-- 

aoliva at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING


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

[Bug middle-end/33706] gcc_assert failure in verify_eh_edges

[aoliva at gcc dot gnu dot org]

------- Comment #6 from aoliva at gcc dot gnu dot org  2007-10-15 17:05 -------
Subject: Bug 33706

Author: aoliva
Date: Mon Oct 15 17:05:19 2007
New Revision: 129355

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129355
Log:
gcc/ChangeLog:
PR middle-end/33706
* tree-inline.c (copy_bb): Use bsi_replace to replace a
__builtin_va_arg_pack-containing call stmt.
gcc/testsuite/ChangeLog:
PR middle-end/33706
* gcc.dg/va-arg-pack-2.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/va-arg-pack-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-inline.c


-- 


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

[Bug middle-end/33706] gcc_assert failure in verify_eh_edges

[aoliva at gcc dot gnu dot org]

------- Comment #7 from aoliva at gcc dot gnu dot org  2007-10-15 17:07 -------
Fixed


-- 

aoliva at gcc dot gnu dot org changed:

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


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

[Bug middle-end/33706] gcc_assert failure in verify_eh_edges

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.3.0


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