Searched refs:SimplifiedMemberSym (Results 1 – 1 of 1) sorted by relevance
2597 const SymbolRef SimplifiedMemberSym = SimplifiedMemberVal.getAsSymbol(); in simplify() local2609 if (SimplifiedMemberSym && MemberSym != SimplifiedMemberSym) { in simplify()2614 State = merge(F, State, MemberSym, SimplifiedMemberSym); in simplify()2621 assert(find(State, MemberSym) == find(State, SimplifiedMemberSym)); in simplify()