On Tue, Nov 26, 2013 at 02:15:58PM -0700, Jeff Law wrote:
> On 11/26/13 13:33, Jakub Jelinek wrote:
> >Bootstrapped/regtested on x86_64-linux and i686-linux, ok for trunk?
> >
> >I'll try to create a testcase for 4.8 branch tomorrow.
I've managed to create a testcase which reproduces this on 4.8 t
On 11/26/13 13:33, Jakub Jelinek wrote:
Hi!
Given:
_6 = (_Bool) a.1_5;
_7 = _4 | _6;
if (_7 != 0)
goto ;
else
goto ;
where a.1_5 has int type and _6/_4/_7 are _Bool, register_edge_assert_for_1
happily inserts:
:
a.1_14 = ASSERT_EXPR ;
assertion, which is wrong, the fa
Hi!
Given:
_6 = (_Bool) a.1_5;
_7 = _4 | _6;
if (_7 != 0)
goto ;
else
goto ;
where a.1_5 has int type and _6/_4/_7 are _Bool, register_edge_assert_for_1
happily inserts:
:
a.1_14 = ASSERT_EXPR ;
assertion, which is wrong, the fact that _6 is known to be 0 doesn't
imply that a.1
