Searched refs:SymVal (Results 1 – 4 of 4) sorted by relevance
253 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local254 if (!SymVal) in REGISTER_TRAIT_WITH_PROGRAMSTATE()257 const SymExpr *Sym = SymVal->getSymbol(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
244 std::optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets() local245 if (SymVal && SymVal->isExpression()) { in getSimplifiedOffsets()246 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
1122 DefinedOrUnknownSVal SymVal = in VisitIncrementDecrementOperator() local1125 Result = SymVal; in VisitIncrementDecrementOperator()1137 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
2798 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout() local2799 if (SymVal && SymVal->isExpression()) { in canReasonAbout()2800 const SymExpr *SE = SymVal->getSymbol(); in canReasonAbout()