https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98721
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|unassigned at gcc dot gnu.org |jakub at gcc dot gnu.org Status|NEW |ASSIGNED CC| |jakub at gcc dot gnu.org --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Created attachment 50001 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50001&action=edit gcc11-pr98721.patch Untested fix. I'm hesistant to add the #c0 testcase, because we really shouldn't be warning on this at all. I think the right fix is not to do jump-threading on the ubsan (and other sanitizer) checks.