Searched refs:SymIntExpr (Results 1 – 15 of 15) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 151 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()
497 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS()); in isLive()
|
| H A D | RangedConstraintManager.cpp | 33 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) { in assumeSym()
220 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) { in computeAdjustment()
|
| H A D | SimpleSValBuilder.cpp | 264 if (const auto *SymInt = dyn_cast<SymIntExpr>(Sym)) in decomposeSymbol()
584 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) { in evalBinOpNN()
1265 SVal VisitSymIntExpr(const SymIntExpr *S) { in simplifySValOnce()
|
| H A D | RangeConstraintManager.cpp | 1234 RangeSet VisitSymIntExpr(const SymIntExpr *Sym) { in VisitSymIntExpr()
2088 inline bool assignSymIntExprToRangeSet(const SymIntExpr *Sym, in assignSymIntExprToRangeSet()
2795 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 172 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
279 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | Symbols.def | 40 SYMBOL(SymIntExpr, BinarySymExpr)
|
| H A D | SymbolManager.h | 470 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 D | SMTConv.h | 389 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in getSymBinExpr()
|
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundCheckerV2.cpp | 90 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
|
| H A D | IteratorModeling.cpp | 810 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 D | ContainerModeling.cpp | 215 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 D | MacOSKeychainAPIChecker.cpp | 522 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
|
| H A D | ExprInspectionChecker.cpp | 489 std::optional<std::string> VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()
|
| H A D | CheckObjCDealloc.cpp | 424 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
|
| /openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 132 std::string VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()
|