[Bug c/107845] New: __builtin_init_trampoline ICEs on invalid arguments

[Bug c/107845] New: __builtin_init_trampoline ICEs on invalid arguments

[gabravier at gmail dot com]

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

            Bug ID: 107845
           Summary: __builtin_init_trampoline ICEs on invalid arguments
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gabravier at gmail dot com
  Target Milestone: ---

void f()
{
    __builtin_init_trampoline(0, 0, 0);
}

This crashes GCC with the following error:

during RTL pass: expand
<source>: In function 'f':
<source>:3:5: internal compiler error: in expand_builtin_init_trampoline, at
builtins.cc:5683
    3 |     __builtin_init_trampoline(0, 0, 0);
      |     ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
0x2008dee internal_error(char const*, ...)
        ???:0
0x95c468 fancy_abort(char const*, int, char const*)
        ???:0
0xac9c55 expand_builtin(tree_node*, rtx_def*, rtx_def*, machine_mode, int)
        ???:0
0xc1031c expand_expr_real_1(tree_node*, rtx_def*, machine_mode,
expand_modifier, rtx_def**, bool)
        ???:0
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Compiler returned: 1

It looks like `expand_builtin_init_trampoline` just uses `gcc_assert` to check
its arguments instead of the proper error handling other builtins do

[Bug middle-end/107845] __builtin_init_trampoline ICEs on invalid arguments

[mpolacek at gcc dot gnu.org]

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

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org
   Last reconfirmed|                            |2022-11-23
           Keywords|                            |ice-on-invalid-code
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Confirmed.

[Bug middle-end/107845] __builtin_init_trampoline ICEs on invalid arguments

[gabravier at gmail dot com]

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

--- Comment #2 from Gabriel Ravier <gabravier at gmail dot com> ---
I'll add that the new `__builtin_init_heap_trampoline` builtin also ICEs when
given the same arguments, presumably for the same reasons (thus, an extra bug
report doesn't seem very useful)