[Bug c++/71616] [7 Regression] ICE on valid C++ code at -O1 and above on x86_64-linux-gnu: in binds_to_current_def_p, at symtab.c:2232

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

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

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
A bit modified test-case ICE in verifier:

extern "C" inline 
int pthread_equal () {}

static __typeof pthread_equal __gthrw_pthread_equal 
__attribute__ ((__weakref__ ("pthread_equal")));

void foo () 
{
  __gthrw_pthread_equal ();
}


$ ./xg++ -B. ~/Programming/testcases/pr71616.c -c
/home/marxin/Programming/testcases/pr71616.c:10:1: error: comdat-local function
called by void foo() outside its comdat
 }
 ^
_ZL21__gthrw_pthread_equalv/1 (int __gthrw_pthread_equal()) @0x7f38b1b66170
  Type: function definition analyzed alias transparent_alias weakref
  Visibility: weak comdat_group:pthread_equal
  Same comdat group as: pthread_equal/0
  References: pthread_equal/0 (alias)
  Referring: 
  First run: 0
  Function flags:
  Called by: _Z3foov/2 (1.00 per call) (can throw external) 
  Calls: 
/home/marxin/Programming/testcases/pr71616.c:10:1: internal compiler error:
verify_cgraph_node failed
0xa03d0a cgraph_node::verify_node()
        ../../gcc/cgraph.c:3454
0x9f8baf symtab_node::verify()
        ../../gcc/symtab.c:1177
0x9f8c8f symtab_node::verify_symtab_nodes()
        ../../gcc/symtab.c:1197
0xa0c024 symtab_node::checking_verify_symtab_nodes()
        ../../gcc/cgraph.h:614
0xa0c024 symbol_table::compile()
        ../../gcc/cgraphunit.c:2383
0xa0e557 symbol_table::compile()
        ../../gcc/cgraphunit.c:2539
0xa0e557 symbol_table::finalize_compilation_unit()
        ../../gcc/cgraphunit.c:2565