Home
last modified time | relevance | path

Searched refs:SymVal (Results 1 – 4 of 4) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp87 Optional<nonloc::SymbolVal> SymVal = offset.getAs<nonloc::SymbolVal>(); in getSimplifiedOffsets() local
88 if (SymVal && SymVal->isExpression()) { in getSimplifiedOffsets()
89 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h249 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
250 if (!SymVal) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
253 const SymExpr *Sym = SymVal->getSymbol(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp1134 DefinedOrUnknownSVal SymVal = in VisitIncrementDecrementOperator() local
1137 Result = SymVal; in VisitIncrementDecrementOperator()
1149 Constraint = svalBuilder.evalEQ(state, SymVal, in VisitIncrementDecrementOperator()
H A DRangeConstraintManager.cpp2720 Optional<nonloc::SymbolVal> SymVal = X.getAs<nonloc::SymbolVal>(); in canReasonAbout() local
2721 if (SymVal && SymVal->isExpression()) { in canReasonAbout()
2722 const SymExpr *SE = SymVal->getSymbol(); in canReasonAbout()