Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp33 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) { in assumeSym()
220 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) { in computeAdjustment()
H A DSymbolManager.cpp151 itr.push_back(cast<SymIntExpr>(SE)->getLHS()); in expand()
262 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
267 SymIntExpr::Profile(ID, lhs, op, v, t); in getSymIntExpr()
272 data = new (BPAlloc) SymIntExpr(lhs, op, v, t); in getSymIntExpr()
276 return cast<SymIntExpr>(data); in getSymIntExpr()
487 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS()); in isLive()
H A DRangeConstraintManager.cpp1234 RangeSet VisitSymIntExpr(const SymIntExpr *Sym) { in VisitSymIntExpr()
2094 inline bool assignSymIntExprToRangeSet(const SymIntExpr *Sym, in assignSymIntExprToRangeSet()
2802 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h175 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
282 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSymbols.def40 SYMBOL(SymIntExpr, BinarySymExpr)
H A DSymbolManager.h471 using SymIntExpr = BinarySymExprImpl<const SymExpr *, const llvm::APSInt &, variable
539 const SymIntExpr *getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
542 const SymIntExpr *getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op, in getSymIntExpr()
H A DSMTConv.h389 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in getSymBinExpr()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DIteratorModeling.cpp806 assert(isa<SymIntExpr>(CompSym) && in relateSymbols()
809 cast<SymIntExpr>(CompSym)->getOpcode()) && in relateSymbols()
811 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()
H A DArrayBoundCheckerV2.cpp246 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
H A DContainerModeling.cpp220 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) in checkLiveSymbols()
225 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getEnd())) in checkLiveSymbols()
H A DCheckObjCDealloc.cpp431 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()