https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89566
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Fixed. (In reply to Martin Sebor from comment #3) As for a better way, you haven't proposed anything. The thing is that an indirect call can be folded into direct at hundreds of places through the optimizations, so calling a function that does the checking before you start trusting the arguments is what we have now, the bug is if it is not called or (like in this case) not used with care.