Home
last modified time | relevance | path

Searched refs:IntSymExpr (Results 1 – 8 of 8) sorted by relevance

/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp154 itr.push_back(cast<IntSymExpr>(SE)->getRHS()); in expand()
286 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs, in getIntSymExpr()
291 IntSymExpr::Profile(ID, lhs, op, rhs, t); in getIntSymExpr()
296 data = (IntSymExpr*) BPAlloc.Allocate<IntSymExpr>(); in getIntSymExpr()
297 new (data) IntSymExpr(lhs, op, rhs, t); in getIntSymExpr()
301 return cast<IntSymExpr>(data); in getIntSymExpr()
500 KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS()); in isLive()
H A DSimpleSValBuilder.cpp1297 SVal VisitIntSymExpr(const IntSymExpr *S) { in simplifySValOnce()
H A DRangeConstraintManager.cpp1238 RangeSet VisitIntSymExpr(const IntSymExpr *Sym) { in VisitIntSymExpr()
/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h175 } else if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
282 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSymbols.def39 SYMBOL(IntSymExpr, BinarySymExpr)
H A DSymbolManager.h474 using IntSymExpr = BinarySymExprImpl<const llvm::APSInt &, const SymExpr *, variable
546 const IntSymExpr *getIntSymExpr(const llvm::APSInt& lhs,
H A DSMTConv.h399 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in getSymBinExpr()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DCheckObjCDealloc.cpp429 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume()