Searched refs:SymIntExpr (Results 1 – 17 of 17) 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 | 190 itr.push_back(cast<SymIntExpr>(SE)->getLHS()); in expand()
364 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS()); in isLive()
|
| H A D | SimpleSValBuilder.cpp | 279 if (const auto *SymInt = dyn_cast<SymIntExpr>(Sym)) in decomposeSymbol()
353 return nonloc::SymbolVal(SymMgr.acquire<SymIntExpr>( in doRearrangeUnchecked()
613 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) { in evalBinOpNN()
1324 SVal VisitSymIntExpr(const SymIntExpr *S) { in simplifySValOnce()
|
| H A D | RangeConstraintManager.cpp | 1234 RangeSet VisitSymIntExpr(const SymIntExpr *Sym) { in VisitSymIntExpr()
2109 inline bool assignSymIntExprToRangeSet(const SymIntExpr *Sym, in assignSymIntExprToRangeSet()
2817 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout()
|
| H A D | SValBuilder.cpp | 82 return nonloc::SymbolVal(SymMgr.acquire<SymIntExpr>(lhs, op, rhs, type)); in makeNonLoc()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 176 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
290 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 | SMTConv.h | 391 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(BSE)) { in getSymBinExpr()
|
| H A D | SymbolManager.h | 483 using SymIntExpr = BinarySymExprImpl<const SymExpr *, APSIntPtr, variable
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorModeling.cpp | 813 assert(isa<SymIntExpr>(CompSym) && in relateSymbols()
816 cast<SymIntExpr>(CompSym)->getOpcode()) && in relateSymbols()
818 return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2); in relateSymbols()
|
| H A D | ArrayBoundChecker.cpp | 263 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SymVal->getSymbol())) { in getSimplifiedOffsets()
|
| H A D | ContainerModeling.cpp | 223 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getBegin())) in checkLiveSymbols()
228 if(const auto *SIE = dyn_cast<SymIntExpr>(CData.getEnd())) in checkLiveSymbols()
|
| H A D | MacOSKeychainAPIChecker.cpp | 512 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 | 143 std::string VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 8188 {"_ZNK5clang4ento10SymIntExpr12dumpToStreamERN4llvm11raw_ostreamE", "clang::ento::SymIntExpr::dumpT…
8236 {"_ZN5clang4ento10SymIntExprD1Ev", "clang::ento::SymIntExpr::~SymIntExpr()"},
8237 {"_ZN5clang4ento10SymIntExprD0Ev", "clang::ento::SymIntExpr::~SymIntExpr()"},
8238 {"_ZNK5clang4ento10SymIntExpr7getTypeERNS_10ASTContextE", "clang::ento::SymIntExpr::getType(clang::…
8239 {"_ZN5clang4ento10SymIntExpr7ProfileERN4llvm16FoldingSetNodeIDE", "clang::ento::SymIntExpr::Profile…
25293 {"_ZTVN5clang4ento10SymIntExprE", "vtable for clang::ento::SymIntExpr"},
|