Re: [RFA][PATCH][tree-optimization/78496] 02/03 Do not exploit __builtin_unreachable if -fsanitize=unreachable

2017-12-04 Thread Jeff Law
On 12/04/2017 03:40 AM, Richard Biener wrote: > On Mon, Dec 4, 2017 at 6:55 AM, Jeff Law wrote: >> >> As I brought my patches for pr78496 up to the tip of the trunk I noticed >> a couple testsuite regressions with -fsanitize=unreachable tests. >> >> The problem is VRP and EVRP analysis/optimizatio

Re: [RFA][PATCH][tree-optimization/78496] 02/03 Do not exploit __builtin_unreachable if -fsanitize=unreachable

2017-12-04 Thread Richard Biener
On Mon, Dec 4, 2017 at 6:55 AM, Jeff Law wrote: > > As I brought my patches for pr78496 up to the tip of the trunk I noticed > a couple testsuite regressions with -fsanitize=unreachable tests. > > The problem is VRP and EVRP analysis/optimization could exploit > __builtin_unreachable to narrow the

[RFA][PATCH][tree-optimization/78496] 02/03 Do not exploit __builtin_unreachable if -fsanitize=unreachable

2017-12-03 Thread Jeff Law
As I brought my patches for pr78496 up to the tip of the trunk I noticed a couple testsuite regressions with -fsanitize=unreachable tests. The problem is VRP and EVRP analysis/optimization could exploit __builtin_unreachable to narrow the range of an object, then use that narrowed range to elimin