Print this page
12724 update smatch to 0.6.1-rc1-il-5

@@ -54,13 +54,13 @@
         if (tmp)
                 left = tmp;
         if (left->type != EXPR_BINOP || left->op != '&')
                 return;
 
-        if (!get_implied_value(expr->right, &shift))
+        if (!get_value(expr->right, &shift))
                 return;
-        if (!get_implied_value(left->right, &mask))
+        if (!get_value(left->right, &mask))
                 return;
 
         if (mask.uvalue >> shift.uvalue)
                 return;