https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93926
--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Martin Sebor <mse...@gcc.gnu.org>: https://gcc.gnu.org/g:726e292d410fc29812a95eb6d88a2ceb82d9080d commit r10-6961-g726e292d410fc29812a95eb6d88a2ceb82d9080d Author: Martin Sebor <mse...@redhat.com> Date: Sun Mar 1 17:52:44 2020 -0700 PR middle-end/93926 - ICE on a built-in redeclaration returning an integer instead of a pointer gcc/c/ChangeLog: PR middle-end/93926 * c-decl.c (types_close_enough_to_match): New function. (match_builtin_function_types): (diagnose_mismatched_decls): Add missing inform call to a warning. gcc/testsuite/ChangeLog: PR middle-end/93926 * gcc.dg/Wbuiltin-declaration-mismatch-13.c: New test.