https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82466
--- Comment #2 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- Thanks for looking at this. I think your patch is fine. My thought was that it could also be enabled by OPT_Wbuiltin_declaration_mismatch, which is default-enabled but can be disabled in the test case, if needed.