[Bug sanitizer/80800] UBSAN: yet another false positive

[rguenther at suse dot de]

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.