https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82072
--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #2) > This is the effect of premature optimization in convert.c, perhaps for > -fsanitize=signed-integer-overflow we should punt in do_narrow if the > argument type is signed. This was my first idea too. I'll send a patch for that.