[Bug middle-end/87886] ICE in format_helper, at real.h:227

jakub at gcc dot gnu.org gcc-bugzilla@gcc.gnu.org
Tue Nov 6 09:01:00 GMT 2018


--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #3)
> I've long said that the FE using built-in annotated decls with improper
> prototype is a bug...
> That said, generic-match.c uses get_call_combined_fn which probably
> should do what gimple_call_combined_fn does - verify types "appropriately".

I'm afraid that it wouldn't help in this case, because I think
gimple_call_combined_fn compares the passed argument types against
TYPE_ARG_TYPES of the type of the fndecl; that matches here unfortunately.  We
would need to compare against the canonical builtin's signature (i.e.
builtin_decl_explicit (fncode)).

More information about the Gcc-bugs mailing list