Searched refs:SymIntExpr (Results 1 – 15 of 15) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| 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 | SymbolManager.cpp | 151 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 D | SimpleSValBuilder.cpp | 278 if (const auto *SymInt = dyn_cast<SymIntExpr>(Sym)) in decomposeSymbol()
611 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) { in evalBinOpNN()
1321 SVal VisitSymIntExpr(const SymIntExpr *S) { in simplifySValOnce()
|
| H A D | RangeConstraintManager.cpp | 1234 RangeSet VisitSymIntExpr(const SymIntExpr *Sym) { in VisitSymIntExpr()
2094 inline bool assignSymIntExprToRangeSet(const SymIntExpr *Sym, in assignSymIntExprToRangeSet()
2801 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout()
|
| /freebsd/contrib/llvm-project/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 | 471 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 D | SMTConv.h | 389 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in getSymBinExpr()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundCheckerV2.cpp | 147 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
|
| H A D | IteratorModeling.cpp | 805 assert(isa<SymIntExpr>(CompSym) && in relateSymbols()
808 cast<SymIntExpr>(CompSym)->getOpcode()) && in relateSymbols()
810 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 | 513 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
|
| H A D | ExprInspectionChecker.cpp | 484 std::optional<std::string> VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()
|
| H A D | CheckObjCDealloc.cpp | 431 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 132 std::string VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()
|