Lines Matching defs:MemberSym

2305   for (const SymbolRef &MemberSym : ClassMembers) {
2306     MemberSym->dump();
2676   for (const SymbolRef &MemberSym : ClassMembers) {
2678     const SVal SimplifiedMemberVal = simplifyToSVal(State, MemberSym);
2691     if (SimplifiedMemberSym && MemberSym != SimplifiedMemberSym) {
2696       State = merge(F, State, MemberSym, SimplifiedMemberSym);
2705       // eqclass of `MemberSym`. This is because the dead symbols are not
2708       // compared to the eqclass of `MemberSym`.
2710       // --> assert(find(State, MemberSym) == find(State, SimplifiedMemberSym))
2712       // Note that `MemberSym` must be alive here since that is from the
2716       State = find(State, MemberSym).removeMember(State, MemberSym);