Home
last modified time | relevance | path

Searched refs:SymIntExpr (Results 1 – 14 of 14) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp42 void SymIntExpr::dumpToStream(raw_ostream &os) const { in dumpToStream()
153 itr.push_back(cast<SymIntExpr>(SE)->getLHS()); in expand()
270 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
275 SymIntExpr::Profile(ID, lhs, op, v, t); in getSymIntExpr()
280 data = (SymIntExpr*) BPAlloc.Allocate<SymIntExpr>(); in getSymIntExpr()
281 new (data) SymIntExpr(lhs, op, v, t); in getSymIntExpr()
285 return cast<SymIntExpr>(data); in getSymIntExpr()
487 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS()); in isLive()
H A DRangedConstraintManager.cpp32 } else if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) { in assumeSym()
188 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) { in computeAdjustment()
H A DRangeConstraintManager.cpp320 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout()
434 const SymIntExpr* SIE) { in applyBitwiseConstraints()
481 if (const SymIntExpr* SIE = dyn_cast<SymIntExpr>(Sym)) in getRange()
H A DSimpleSValBuilder.cpp358 if (const auto *SymInt = dyn_cast<SymIntExpr>(Sym)) in decomposeSymbol()
657 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) { in evalBinOpNN()
1266 SVal VisitSymIntExpr(const SymIntExpr *S) { in simplifySVal()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h166 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in getSymVal()
253 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) in canReasonAbout()
H A DSymbolManager.h333 class SymIntExpr : public BinarySymExpr {
338 SymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op, in SymIntExpr() function
518 const SymIntExpr *getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
521 const SymIntExpr *getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op, in getSymIntExpr()
H A DSymbols.def39 SYMBOL(SymIntExpr, BinarySymExpr)
H A DSMTConv.h377 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in getSymBinExpr()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp87 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
H A DIteratorChecker.cpp796 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) in checkLiveSymbols()
801 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getEnd())) in checkLiveSymbols()
868 const auto *SIE = dyn_cast<SymIntExpr>(SE); in evalAssume()
2125 assert(isa<SymIntExpr>(CompSym) && in relateIteratorPositions()
2128 cast<SymIntExpr>(CompSym)->getOpcode()) && in relateIteratorPositions()
2130 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateIteratorPositions()
H A DExprInspectionChecker.cpp355 Optional<std::string> VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()
H A DMacOSKeychainAPIChecker.cpp519 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
H A DCheckObjCDealloc.cpp424 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h119 std::string VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()