Searched refs:SymVal (Results 1 – 4 of 4) sorted by relevance
145 std::optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets() local146 if (SymVal && SymVal->isExpression()) { in getSimplifiedOffsets()147 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
250 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local251 if (!SymVal) in REGISTER_TRAIT_WITH_PROGRAMSTATE()254 const SymExpr *Sym = SymVal->getSymbol(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
1120 DefinedOrUnknownSVal SymVal = in VisitIncrementDecrementOperator() local1123 Result = SymVal; in VisitIncrementDecrementOperator()1135 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
2797 std::optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout() local2798 if (SymVal && SymVal->isExpression()) { in canReasonAbout()2799 const SymExpr *SE = SymVal->getSymbol(); in canReasonAbout()