Searched refs:IntSymExpr (Results 1 – 6 of 6) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | SymbolManager.cpp | 55 void IntSymExpr::dumpToStream(raw_ostream &os) const { in dumpToStream()
156 itr.push_back(cast<IntSymExpr>(SE)->getRHS()); in expand()
288 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs, in getIntSymExpr()
293 IntSymExpr::Profile(ID, lhs, op, rhs, t); in getIntSymExpr()
298 data = (IntSymExpr*) BPAlloc.Allocate<IntSymExpr>(); in getIntSymExpr()
299 new (data) IntSymExpr(lhs, op, rhs, t); in getIntSymExpr()
303 return cast<IntSymExpr>(data); in getIntSymExpr()
490 KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS()); in isLive()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 169 } else if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in getSymVal()
256 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) in canReasonAbout()
|
| H A D | Symbols.def | 38 SYMBOL(IntSymExpr, BinarySymExpr)
|
| H A D | SymbolManager.h | 376 class IntSymExpr : public BinarySymExpr {
381 IntSymExpr(const llvm::APSInt &lhs, BinaryOperator::Opcode op, in IntSymExpr() function
526 const IntSymExpr *getIntSymExpr(const llvm::APSInt& lhs,
|
| H A D | SMTConv.h | 386 if (const IntSymExpr *ISE = dyn_cast<IntSymExpr>(BSE)) { in getSymBinExpr()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckObjCDealloc.cpp | 429 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume()
|