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