https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87886
--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> --- 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".