Print this page
12724 update smatch to 0.6.1-rc1-il-5
*** 54,66 ****
if (tmp)
left = tmp;
if (left->type != EXPR_BINOP || left->op != '&')
return;
! if (!get_implied_value(expr->right, &shift))
return;
! if (!get_implied_value(left->right, &mask))
return;
if (mask.uvalue >> shift.uvalue)
return;
--- 54,66 ----
if (tmp)
left = tmp;
if (left->type != EXPR_BINOP || left->op != '&')
return;
! if (!get_value(expr->right, &shift))
return;
! if (!get_value(left->right, &mask))
return;
if (mask.uvalue >> shift.uvalue)
return;