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