https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117432
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #11 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 60334
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=60334&action=edit
gcc15-pr117432.patch
Untested fix. This checks the types just for the non-prototyped calls or in
the arguments passed to ... for stdarg_p calls, plus checks types on asm
operands and also verifies gimple_call_fntype in case of direct call where the
type of the fndecl differs from the fntype (one can get these by calling
indirectly through slightly different function pointer and getting that later
optimized into direct call).
As for 0.0/-0.0 with -ffast-math, user said those don't make a difference, so
it is fine to ignore that difference.
