On 12/06/13 13:33, Jakub Jelinek wrote:
Hi!
range->exp can in some cases be equal to op, as in the following testcase:
_2;
int _3;
_Bool _4;
int a.0_5;
_Bool _7;
:
_2 = b.f;
_3 = (int) _2;
_4 = _3 > 0;
_7 = _2 | _4;
a.0_5 = (int) _7;
a = a.0_5;
return a.0
Hi!
range->exp can in some cases be equal to op, as in the following testcase:
_2;
int _3;
_Bool _4;
int a.0_5;
_Bool _7;
:
_2 = b.f;
_3 = (int) _2;
_4 = _3 > 0;
_7 = _2 | _4;
a.0_5 = (int) _7;
a = a.0_5;
return a.0_5;
op here is _2 (and other range's op is _4), the tw
