https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66896
--- Comment #9 from Vittorio Zecca <zeccav at gmail dot com> --- At line 2473 of ipa-prop.c I have if (!ctx.useless_p ()) I changed it into if (!ctx.useless_p () || !dst_ctx) Now the sanitizer runtime error message disappears. I am attaching another source, gccerr20-bis.C, that used to force update_jump_functions_after_inlining to reference a NULL pointer dst_ctx