Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DSymbolManager.cpp62 void IntSymExpr::dumpToStream(raw_ostream &os) const { in dumpToStream()
155 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()
DProgramState.cpp520 return scan(cast<IntSymExpr>(sym)->getRHS()); in scan()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSymbolManager.h389 class IntSymExpr : public SymExpr {
396 IntSymExpr(const llvm::APSInt& lhs, BinaryOperator::Opcode op, in IntSymExpr() function
534 const IntSymExpr *getIntSymExpr(const llvm::APSInt& lhs,