Searched refs:SymVal (Results 1 – 4 of 4) sorted by relevance
85 Optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets() local86 if (SymVal && SymVal->isExpression()) { in getSimplifiedOffsets()87 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
224 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout() local225 if (!SymVal) in canReasonAbout()228 const SymExpr *Sym = SymVal->getSymbol(); in canReasonAbout()
316 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout() local317 if (SymVal && SymVal->isExpression()) { in canReasonAbout()318 const SymExpr *SE = SymVal->getSymbol(); in canReasonAbout()
1089 DefinedOrUnknownSVal SymVal = in VisitIncrementDecrementOperator() local1092 Result = SymVal; in VisitIncrementDecrementOperator()1104 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()