Re: [PATCH] Fix __builtin_unreachable related regression (PR middle-end/60482)

2014-03-12 Thread Richard Biener
On Tue, 11 Mar 2014, Jakub Jelinek wrote: > Hi! > > As described in the PR, the r208165 change regressed following test. > The problem is that VRP inserts a useless ASSERT_EXPR right before > __builtin_unreachable () (obviously, the uses of the ASSERT_EXPR > lhs aren't and can't be used by anythi

[PATCH] Fix __builtin_unreachable related regression (PR middle-end/60482)

2014-03-11 Thread Jakub Jelinek
Hi! As described in the PR, the r208165 change regressed following test. The problem is that VRP inserts a useless ASSERT_EXPR right before __builtin_unreachable () (obviously, the uses of the ASSERT_EXPR lhs aren't and can't be used by anything), which then prevents assert_unreachable_fallthru_ed