Home
last modified time | relevance | path

Searched refs:alloc_bstate (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_bits.c44 static struct smatch_state *alloc_bstate(unsigned long long set, unsigned long long possible) in alloc_bstate() function
99 return alloc_bstate(p->set, p->possible); in unmatched_state()
104 return alloc_bstate(0, -1ULL); in unmatched_state()
111 return alloc_bstate(0, possible); in unmatched_state()
154 set_state(my_id, sm->name, sm->sym, alloc_bstate(0, -1ULL)); in match_modify()
175 return alloc_bstate(one->set & two->set, one->possible | two->possible); in merge_bstates()
318 (expr->op == SPECIAL_EQUAL) ? alloc_bstate(val.uvalue, val.uvalue) : NULL, in match_compare()
319 (expr->op == SPECIAL_EQUAL) ? NULL : alloc_bstate(val.uvalue, val.uvalue)); in match_compare()
337 set_state_expr(my_id, expr->left, alloc_bstate(binfo->set, binfo->possible)); in match_assign()
340 new = alloc_bstate(start->set | binfo->set, start->possible | binfo->possible); in match_assign()
[all …]