Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp151 itr.push_back(cast<SymIntExpr>(SE)->getLHS()); in expand()
268 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
273 SymIntExpr::Profile(ID, lhs, op, v, t); in getSymIntExpr()
278 data = (SymIntExpr*) BPAlloc.Allocate<SymIntExpr>(); in getSymIntExpr()
279 new (data) SymIntExpr(lhs, op, v, t); in getSymIntExpr()
283 return cast<SymIntExpr>(data); in getSymIntExpr()
485 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS()); in isLive()
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 DSimpleSValBuilder.cpp263 if (const auto *SymInt = dyn_cast<SymIntExpr>(Sym)) in decomposeSymbol()
583 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) { in evalBinOpNN()
1262 SVal VisitSymIntExpr(const SymIntExpr *S) { in simplifySValOnce()
H A DRangeConstraintManager.cpp1231 RangeSet VisitSymIntExpr(const SymIntExpr *Sym) { in VisitSymIntExpr()
2026 inline bool assignSymIntExprToRangeSet(const SymIntExpr *Sym, in assignSymIntExprToRangeSet()
2724 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h171 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
278 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSymbols.def40 SYMBOL(SymIntExpr, BinarySymExpr)
H A DSymbolManager.h470 using SymIntExpr = BinarySymExprImpl<const SymExpr *, const llvm::APSInt &, variable
538 const SymIntExpr *getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
541 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()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp89 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
H A DIteratorModeling.cpp810 assert(isa<SymIntExpr>(CompSym) && in relateSymbols()
813 cast<SymIntExpr>(CompSym)->getOpcode()) && in relateSymbols()
815 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()
H A DContainerModeling.cpp215 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) in checkLiveSymbols()
220 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getEnd())) in checkLiveSymbols()
H A DMacOSKeychainAPIChecker.cpp521 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
H A DExprInspectionChecker.cpp485 Optional<std::string> VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()
H A DCheckObjCDealloc.cpp423 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
/llvm-project-15.0.7/clang/test/Analysis/
H A Dsolver-sym-simplification-ptr-bool.cl12 // SymIntExpr (reg_$0<int * p>) != 0U in VisitSymIntExpr located in
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h120 std::string VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()