Searched refs:IntSymExpr (Results 1 – 7 of 7) sorted by relevance
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| D | SymbolManager.cpp | 144 itr.push_back(cast<IntSymExpr>(SE)->getRHS()); in expand()
276 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs, in getIntSymExpr()
281 IntSymExpr::Profile(ID, lhs, op, rhs, t); in getIntSymExpr()
286 data = (IntSymExpr*) BPAlloc.Allocate<IntSymExpr>(); in getIntSymExpr()
287 new (data) IntSymExpr(lhs, op, rhs, t); in getIntSymExpr()
291 return cast<IntSymExpr>(data); in getIntSymExpr()
474 KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS()); in isLive()
|
| D | RangeConstraintManager.cpp | 854 RangeSet VisitIntSymExpr(const IntSymExpr *Sym) { in VisitIntSymExpr()
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SMTConstraintManager.h | 174 } else if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
281 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| D | Symbols.def | 37 SYMBOL(IntSymExpr, BinarySymExpr)
|
| D | SymbolManager.h | 410 using IntSymExpr = BinarySymExprImpl<const llvm::APSInt &, const SymExpr *, variable
482 const IntSymExpr *getIntSymExpr(const llvm::APSInt& lhs,
|
| D | SMTConv.h | 399 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in getSymBinExpr()
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| D | CheckObjCDealloc.cpp | 428 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume()
|