https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121347
Mikael Pettersson <mikpelinux at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mikpelinux at gmail dot com
--- Comment #1 from Mikael Pettersson <mikpelinux at gmail dot com> ---
-fsanitize=undefined doesn't report anything, but it also masks the bug.
My git bisect says it started with
344be1fd47d7d64ea85c159b14745ba107ce71ae is the first new commit
commit 344be1fd47d7d64ea85c159b14745ba107ce71ae (HEAD)
Author: Richard Biener <rguent...@suse.de>
Date: Thu Aug 17 07:16:30 2017 +0000
tree-vrp.c (vrp_int_const_binop): Do not set *overflow_p to true when
overflow is undefined and we saturated the...
2017-08-17 Richard Biener <rguent...@suse.de>
* tree-vrp.c (vrp_int_const_binop): Do not set *overflow_p
to true when overflow is undefined and we saturated the
result.
* gcc.dg/tree-ssa/vrp117.c: New testcase.
From-SVN: r251141
but that may just have exposed a latent issue, or the TC has UB the sanitizer
doesn't find.
