https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94412
Marc Glisse <glisse at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Ever confirmed|0 |1 Last reconfirmed| |2020-03-30 Status|UNCONFIRMED |NEW --- Comment #1 from Marc Glisse <glisse at gcc dot gnu.org> --- Actually it seems to me that the code is only right with -fsanitize=undefined, it has to abort. We replace -v/11u by v/-11u because in fold-const.c we check: if ((!INTEGRAL_TYPE_P (type) || TYPE_OVERFLOW_UNDEFINED (type)) instead of ANY_INTEGRAL_TYPE_P for instance.