Searched refs:SymIntExpr (Results 1 – 15 of 15) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | SymbolManager.cpp | 141 itr.push_back(cast<SymIntExpr>(SE)->getLHS()); in expand()
258 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
263 SymIntExpr::Profile(ID, lhs, op, v, t); in getSymIntExpr()
268 data = (SymIntExpr*) BPAlloc.Allocate<SymIntExpr>(); in getSymIntExpr()
269 new (data) SymIntExpr(lhs, op, v, t); in getSymIntExpr()
273 return cast<SymIntExpr>(data); in getSymIntExpr()
471 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS()); in isLive()
|
| D | RangedConstraintManager.cpp | 33 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(Sym)) { in assumeSym()
214 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) { in computeAdjustment()
|
| D | SimpleSValBuilder.cpp | 225 if (const auto *SymInt = dyn_cast<SymIntExpr>(Sym)) in decomposeSymbol()
540 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) { in evalBinOpNN()
1158 SVal VisitSymIntExpr(const SymIntExpr *S) { in simplifySVal()
|
| D | RangeConstraintManager.cpp | 850 RangeSet VisitSymIntExpr(const SymIntExpr *Sym) { in VisitSymIntExpr()
2180 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout()
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SMTConstraintManager.h | 171 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()
|
| D | SymbolManager.h | 406 using SymIntExpr = BinarySymExprImpl<const SymExpr *, const llvm::APSInt &, variable
474 const SymIntExpr *getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
477 const SymIntExpr *getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op, in getSymIntExpr()
|
| D | Symbols.def | 38 SYMBOL(SymIntExpr, BinarySymExpr)
|
| D | SMTConv.h | 389 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in getSymBinExpr()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | ArrayBoundCheckerV2.cpp | 89 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
|
| D | IteratorModeling.cpp | 811 assert(isa<SymIntExpr>(CompSym) && in relateSymbols()
814 cast<SymIntExpr>(CompSym)->getOpcode()) && in relateSymbols()
816 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()
|
| D | ContainerModeling.cpp | 229 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) in checkLiveSymbols()
234 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getEnd())) in checkLiveSymbols()
|
| D | ExprInspectionChecker.cpp | 442 Optional<std::string> VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()
|
| D | MacOSKeychainAPIChecker.cpp | 522 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
|
| D | CheckObjCDealloc.cpp | 423 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 120 std::string VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()
|