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

--- 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)).

Reply via email to