[Bug c/100620] New: ICE: in gimplify_var_or_parm_decl, at gimplify.c:2840

[Bug c/100620] New: ICE: in gimplify_var_or_parm_decl, at gimplify.c:2840

[cnsun at uwaterloo dot ca]

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

            Bug ID: 100620
           Summary: ICE: in gimplify_var_or_parm_decl, at gimplify.c:2840
           Product: gcc
           Version: tree-ssa
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: cnsun at uwaterloo dot ca
  Target Milestone: ---

$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/scratch/software/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/12.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/configure
--enable-languages=c,c++,lto --enable-checking-yes --enable-multiarch
--prefix=/scratch/software/gcc-trunk --disable-bootstrap
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 12.0.0 20210514 (experimental) [master revision
:e5c3c8afa:f3b1516d9dfd969d7cc1ca6f26dec13478a1c458] (GCC)

$ cat mutant.c
__GIMPLE
foo() {
  int t1;
  t1_1 = __builtin_abs(t1);
}

$ gcc-trunk -fgimple mutant.c
mutant.c:2:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
    2 | foo() {
      | ^~~
during GIMPLE pass: lower
In function ‘foo’:
cc1: internal compiler error: in gimplify_var_or_parm_decl, at gimplify.c:2840
0x6d9dc5 gimplify_var_or_parm_decl
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimplify.c:2840
0xc26554 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimplify.c:14544
0xc28b39 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimplify.c:14829
0xc4a301 force_gimple_operand_1(tree_node*, gimple**, bool (*)(tree_node*),
tree_node*)
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimplify-me.c:78
0xbf29f0 gimplify_and_update_call_from_tree(gimple_stmt_iterator*, tree_node*)
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimple-fold.c:792
0xc007b9 gimple_fold_builtin
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimple-fold.c:5167
0xc03117 gimple_fold_call
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimple-fold.c:5561
0xc03117 fold_stmt_1
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimple-fold.c:6263
0x191f533 lower_stmt
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimple-low.c:388
0x191f533 lower_sequence
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimple-low.c:217
0x191f3dd lower_gimple_bind
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimple-low.c:473
0x192029d lower_function_body
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimple-low.c:110
0x192029d execute
        /tmp/tmp.eZIsobWkq2-gcc-builder/gcc/gcc/gimple-low.c:195
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug c/100620] ICE: in gimplify_var_or_parm_decl, at gimplify.c:2840

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |accepts-invalid
            Version|tree-ssa                    |12.0
   Last reconfirmed|                            |2021-05-17

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
OK, this is about t1 being used as variable and underlying decl for the SSA var
t1_1.  It would be nice to diagnose this indeed.