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