case BRS_FALSE:
// On the FALSE side of x < NAN, we know nothing about x.
- if (op2.known_isnan ())
+ if (op2.known_isnan () || op2.maybe_isnan ())
r.set_varying (type);
else
build_ge (r, type, op2);
case BRS_FALSE:
// On the FALSE side of NAN < x, we know nothing about x.
- if (op1.known_isnan ())
+ if (op1.known_isnan () || op1.maybe_isnan ())
r.set_varying (type);
else
build_le (r, type, op1);
case BRS_FALSE:
// On the FALSE side of x <= NAN, we know nothing about x.
- if (op2.known_isnan ())
+ if (op2.known_isnan () || op2.maybe_isnan ())
r.set_varying (type);
else
build_gt (r, type, op2);
case BRS_FALSE:
// On the FALSE side of NAN <= x, we know nothing about x.
- if (op1.known_isnan ())
+ if (op1.known_isnan () || op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
case BRS_FALSE:
// On the FALSE side of x > NAN, we know nothing about x.
- if (op2.known_isnan ())
+ if (op2.known_isnan () || op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
case BRS_FALSE:
// On The FALSE side of NAN > x, we know nothing about x.
- if (op1.known_isnan ())
+ if (op1.known_isnan () || op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
case BRS_FALSE:
// On the FALSE side of x >= NAN, we know nothing about x.
- if (op2.known_isnan ())
+ if (op2.known_isnan () || op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
case BRS_FALSE:
// On the FALSE side of NAN >= x, we know nothing about x.
- if (op1.known_isnan ())
+ if (op1.known_isnan () || op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op2.known_isnan ())
+ if (op2.known_isnan () || op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op1.known_isnan ())
+ if (op1.known_isnan () || op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op2.known_isnan ())
+ if (op2.known_isnan () || op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op1.known_isnan ())
+ if (op1.known_isnan () || op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op2.known_isnan ())
+ if (op2.known_isnan () || op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op1.known_isnan ())
+ if (op1.known_isnan () || op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op2.known_isnan ())
+ if (op2.known_isnan () || op2.maybe_isnan ())
r.set_varying (type);
else if (op2.undefined_p ())
return false;
switch (get_bool_state (r, lhs, type))
{
case BRS_TRUE:
- if (op1.known_isnan ())
+ if (op1.known_isnan () || op1.maybe_isnan ())
r.set_varying (type);
else if (op1.undefined_p ())
return false;