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

            Bug ID: 107224
           Summary: ICE: verify_cgraph_node failed with -Og
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: andres at anarazel dot de
  Target Milestone: ---

Created attachment 53693
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53693&action=edit
reproducer

Hi,

When building postgres with gcc 13 I get a lot of ICEs. I reproduced this on
today's master (53955284c03) and reduced one of the failing files with cvise.

$ ~/build/gcc-master/install/bin/gcc -Og -c gindatapage.i -o gindatapage.o
[bunch of warnings due to cvise]
 <function_decl 0x7f3b8deebf00 __builtin_trap
    type <function_type 0x7f3b8de315e8
        type <void_type 0x7f3b8de21f18 void VOID
            align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7f3b8de21f18
            pointer_to_this <pointer_type 0x7f3b8de29000>>
        QI
        size <integer_cst 0x7f3b8de02e58 constant 8>
        unit-size <integer_cst 0x7f3b8de02e70 constant 1>
        align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7f3b8de315e8
        arg-types <tree_list 0x7f3b8de1dcd0 value <void_type 0x7f3b8de21f18
void>>>
    volatile nothrow public external built-in decl_6 QI <built-in>:0:0
    align:8 warn_if_not_align:0 built-in: BUILT_IN_NORMAL:BUILT_IN_TRAP context
<translation_unit_decl 0x7f3b8de10258 gindatapage.i>
    attributes <tree_list 0x7f3b8deed168
        purpose <identifier_node 0x7f3b8de2dbe0 nothrow>
        chain <tree_list 0x7f3b8deed140
            purpose <identifier_node 0x7f3b8de2dc30 leaf>
            chain <tree_list 0x7f3b8deed118
                purpose <identifier_node 0x7f3b8de2db90 noreturn>
                chain <tree_list 0x7f3b8deed0f0
                    purpose <identifier_node 0x7f3b8de2da00 cold>>>>> chain
<function_decl 0x7f3b8deee000 __builtin_unreachable>>
 Instead of: <function_decl 0x7f3b8df44700 ExceptionalCondition
    type <function_type 0x7f3b8de30930
        type <integer_type 0x7f3b8de215e8 int public SI
            size <integer_cst 0x7f3b8de02fa8 constant 32>
            unit-size <integer_cst 0x7f3b8de02fc0 constant 4>
            align:32 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7f3b8de215e8 precision:32 min <integer_cst 0x7f3b8de02f60 -2147483648> max
<integer_cst 0x7f3b8de02f78 2147483647>
            pointer_to_this <pointer_type 0x7f3b8de29a80>>
        QI
        size <integer_cst 0x7f3b8de02e58 constant 8>
        unit-size <integer_cst 0x7f3b8de02e70 constant 1>
        align:8 warn_if_not_align:0 symtab:0 alias-set -1 canonical-type
0x7f3b8de30930
        pointer_to_this <pointer_type 0x7f3b8df3fd20>>
    addressable used public external decl_2 decl_5 QI gindatapage.i:3:5 align:8
warn_if_not_align:0 chain <function_decl 0x7f3b8df44900
dataBeginPlaceToPage_maxOldItem>>
ItemPointerSet/0 (ItemPointerSet)
  Type: function definition analyzed
  Visibility: semantic_interposition external public
  References: 
  Referring: 
  Function ItemPointerSet/0 is inline copy in dataBeginPlaceToPage_maxOldItem/1
  Availability: available
  Function flags: body
  Called by: dataBeginPlaceToPage_maxOldItem/1 (inlined) 
  Calls: __builtin_trap/3 (0 (precise),1.00 per call) 
during GIMPLE pass: einline
gindatapage.i:6:3: internal compiler error: verify_cgraph_node failed
0xa35b90 cgraph_node::verify_node()
        /home/andres/src/gcc/gcc/cgraph.cc:3881
0xa25804 symtab_node::verify()
        /home/andres/src/gcc/gcc/symtab.cc:1360
0xf5b0da expand_call_inline
        /home/andres/src/gcc/gcc/tree-inline.cc:4912
0xf5dbd6 gimple_expand_calls_inline
        /home/andres/src/gcc/gcc/tree-inline.cc:5318
0xf5dbd6 optimize_inline_calls(tree_node*)
        /home/andres/src/gcc/gcc/tree-inline.cc:5490
0x1d277ed early_inliner(function*)
        /home/andres/src/gcc/gcc/ipa-inline.cc:3038

Reply via email to