https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80800
--- Comment #4 from rguenther at suse dot de <rguenther at suse dot de> --- On Wed, 17 May 2017, mpolacek at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80800 > > --- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> --- > Whoa. Do we want to use TYPE_OVERFLOW_SANITIZED to prevent that from > happening? I know you don't like it... No, the bug is the folding itself, even when not sanitizing.