Searched refs:SymVal (Results 1 – 4 of 4) sorted by relevance
87 Optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets() local88 if (SymVal && SymVal->isExpression()) { in getSimplifiedOffsets()89 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
249 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local250 if (!SymVal) in REGISTER_TRAIT_WITH_PROGRAMSTATE()253 const SymExpr *Sym = SymVal->getSymbol(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
1142 DefinedOrUnknownSVal SymVal = in VisitIncrementDecrementOperator() local1145 Result = SymVal; in VisitIncrementDecrementOperator()1157 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
1952 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout() local1953 if (SymVal && SymVal->isExpression()) { in canReasonAbout()1954 const SymExpr *SE = SymVal->getSymbol(); in canReasonAbout()