alloc_estate_empty
return alloc_estate_empty();
struct smatch_state *alloc_estate_empty(void);
return alloc_estate_empty();
return alloc_estate_empty();
set_state(my_id, sm->name, sm->sym, alloc_estate_empty());
set_state(my_id, name, sym, alloc_estate_empty());
set_state_expr(my_id, expr->left, alloc_estate_empty());
expr->op == SPECIAL_EQUAL ? alloc_estate_empty() : NULL,
expr->op == SPECIAL_EQUAL ? NULL : alloc_estate_empty());
expr->op == SPECIAL_EQUAL ? alloc_estate_empty() : NULL,
expr->op == SPECIAL_EQUAL ? NULL : alloc_estate_empty());
return alloc_estate_empty();
set_state(my_id, name, sym, alloc_estate_empty());
return alloc_estate_empty();
return alloc_estate_empty();
return alloc_estate_empty();