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