Print this page
new smatch

@@ -22,14 +22,14 @@
 static int my_id;
 
 STATE(uninitialized);
 STATE(initialized);
 
-static void pre_merge_hook(struct sm_state *sm)
+static void pre_merge_hook(struct sm_state *cur, struct sm_state *other)
 {
         if (is_impossible_path())
-                set_state(my_id, sm->name, sm->sym, &initialized);
+                set_state(my_id, cur->name, cur->sym, &initialized);
 }
 
 static void mark_members_uninitialized(struct symbol *sym)
 {
         struct symbol *struct_type, *tmp, *base_type;

@@ -111,11 +111,11 @@
         if (option_project != PROJ_KERNEL)
                 return;
 
         if (expr->type != EXPR_COMPARE || expr->op != '<')
                 return;
-        if (!is_zero(expr->right))
+        if (!expr_is_zero(expr->right))
                 return;
         if (get_implied_max(expr->left, &max) && max.value == 0)
                 return;
 
         success = compare_expression(expr->left, SPECIAL_EQUAL, expr->right);