Lines Matching refs:set
34 static struct bit_info *alloc_bit_info(unsigned long long set, unsigned long long possible) in alloc_bit_info() argument
38 bit_info->set = set; in alloc_bit_info()
44 static struct smatch_state *alloc_bstate(unsigned long long set, unsigned long long possible) in alloc_bstate() argument
50 snprintf(buf, sizeof(buf), "0x%llx + 0x%llx", set, possible); in alloc_bstate()
52 state->data = alloc_bit_info(set, possible); in alloc_bstate()
63 ret->set = sval.uvalue; in rl_to_binfo()
69 ret->set = 0; in rl_to_binfo()
81 if (binfo->set != 0) in is_unknown_binfo()
99 return alloc_bstate(p->set, p->possible); in unmatched_state()
159 if (one->set == two->set && in binfo_equiv()
175 return alloc_bstate(one->set & two->set, one->possible | two->possible); in merge_bstates()
191 if ((one->set & two->possible) != one->set) in combine_bit_info()
193 if ((two->set & one->possible) != two->set) in combine_bit_info()
196 ret->set = one->set | two->set; in combine_bit_info()
204 unsigned long long set = 0; in binfo_AND() local
214 set = left->set & right->set; in binfo_AND()
218 return alloc_bit_info(set, possible); in binfo_AND()
223 unsigned long long set = 0; in binfo_OR() local
229 set = right->set; in binfo_OR()
231 set = left->set; in binfo_OR()
233 set = left->set | right->set; in binfo_OR()
237 return alloc_bit_info(set, possible); in binfo_OR()
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()
344 new = alloc_bstate(start->set & binfo->set, start->possible & binfo->possible); in match_assign()
368 true_info.set &= right.uvalue; in match_condition()
374 alloc_bstate(true_info.set, true_info.possible), in match_condition()
375 alloc_bstate(false_info.set, false_info.possible)); in match_condition()
401 snprintf(buf, sizeof(buf), "0x%llx,0x%llx", binfo->set, binfo->possible); in match_call_info()
417 if (binfo->set == binfo->possible) in struct_member_callback()
435 snprintf(buf, sizeof(buf), "0x%llx,0x%llx", binfo->set, binfo->possible); in struct_member_callback()
442 unsigned long long set, possible; in set_param_bits() local
451 set = strtoull(value, &value, 16); in set_param_bits()
457 set_state(my_id, fullname, sym, alloc_bstate(set, possible)); in set_param_bits()