Print this page
11506 smatch resync

*** 101,110 **** --- 101,113 ---- get_real_absolute_rl(expr->right, &rl); type = get_type(expr->left); if (!type) return; + if (type->type != SYM_PTR && type->type != SYM_BASETYPE && + type->type != SYM_ENUM) + return; rl = cast_rl(type, rl); if (is_whole_rl(rl) && !get_state_expr(my_id, expr->left)) return; /* These are handled by smatch_extra.c */
*** 126,135 **** --- 129,139 ---- void register_real_absolute(int id) { my_id = id; + set_dynamic_states(my_id); add_pre_merge_hook(my_id, &pre_merge_hook); add_unmatched_state_hook(my_id, &empty_state); add_merge_hook(my_id, &merge_estates); add_modification_hook(my_id, &reset);