Searched refs:SimplifiedMemberVal (Results 1 – 1 of 1) sorted by relevance
2663 const SVal SimplifiedMemberVal = simplifyToSVal(State, MemberSym); in simplify() local2664 const SymbolRef SimplifiedMemberSym = SimplifiedMemberVal.getAsSymbol(); in simplify()2668 if (const auto CI = SimplifiedMemberVal.getAs<nonloc::ConcreteInt>()) { in simplify()2726 State = reAssume(State, ClassConstraint, SimplifiedMemberVal); in simplify()