[Bug c/100535] New: ICE: tree check: expected function_type or method_type, have integer_type in gimplify_call_expr, at gimplify.c:3457

[Bug c/100535] New: ICE: tree check: expected function_type or method_type, have integer_type in gimplify_call_expr, at gimplify.c:3457

[cnsun at uwaterloo dot ca]

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

            Bug ID: 100535
           Summary: ICE: tree check: expected function_type or
                    method_type, have integer_type in gimplify_call_expr,
                    at gimplify.c:3457
           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.FUbEknNORK-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 20210511 (experimental) [master revision
:7db32cac8:aa891c56f25baac94db004e309d1b6e40b770a95] (GCC)

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

$ gcc-trunk  mutant.c
mutant.c:1:1: error: ‘__GIMPLE’ only valid with ‘-fgimple’
    1 | __GIMPLE
      | ^~~~~~~~
mutant.c:2:1: warning: return type defaults to ‘int’ [-Wimplicit-int]
    2 | foo() {
      | ^~~
during GIMPLE pass: lower
mutant.c: In function ‘foo’:
mutant.c:4:24: internal compiler error: tree check: expected function_type or
method_type, have integer_type in gimplify_call_expr, at gimplify.c:3457
    4 |   t1_1 = __builtin_abs(__builtin_abs());
      |                        ^~~~~~~~~~~~~
0x7bca06 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/tree.c:8674
0x6e13ef tree_check2(tree_node*, char const*, int, char const*, tree_code,
tree_code)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/tree.h:3375
0x6e13ef gimplify_call_expr
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:3457
0xc25d73 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:14055
0xc27bf9 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*),
int)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify.c:14829
0xc493c1 force_gimple_operand_1(tree_node*, gimple**, bool (*)(tree_node*),
tree_node*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimplify-me.c:78
0xbf1980 gimplify_and_update_call_from_tree(gimple_stmt_iterator*, tree_node*)
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-fold.c:790
0xbff139 gimple_fold_builtin
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-fold.c:5165
0xc012b0 gimple_fold_call
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-fold.c:5581
0xc0288b fold_stmt_1
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-fold.c:6283
0x19177c3 lower_stmt
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-low.c:388
0x19177c3 lower_sequence
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-low.c:217
0x191766d lower_gimple_bind
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-low.c:473
0x191852d lower_function_body
        /tmp/tmp.FUbEknNORK-gcc-builder/gcc/gcc/gimple-low.c:110
0x191852d execute
        /tmp/tmp.FUbEknNORK-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/100535] ICE: tree check: expected function_type or method_type, have integer_type in gimplify_call_expr, at gimplify.c:3457

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-12-12
     Ever confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

[Bug c/100535] ICE: tree check: expected function_type or method_type, have integer_type in gimplify_call_expr, at gimplify.c:3457

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED
   Target Milestone|---                         |13.0

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Fixed in GCC 13:
```

<source>: In function 'foo':
<source>:6:1: error: invalid argument to gimple call
    6 | }
      | ^
__builtin_abs ()
t1_1 = __builtin_abs (__builtin_abs ());
```