Searched refs:SymVal (Results 1 – 2 of 2) sorted by relevance
27 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout() local28 if (SymVal && SymVal->isExpression()) { in canReasonAbout()29 const SymExpr *SE = SymVal->getSymbol(); in canReasonAbout()
939 DefinedOrUnknownSVal SymVal = in VisitIncrementDecrementOperator() local942 Result = SymVal; in VisitIncrementDecrementOperator()954 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()