Searched refs:IntSymExpr (Results 1 – 5 of 5) sorted by relevance
/external/clang/lib/StaticAnalyzer/Core/ |
D | SymbolManager.cpp | 40 void IntSymExpr::dumpToStream(raw_ostream &os) const { in dumpToStream() 131 itr.push_back(cast<IntSymExpr>(SE)->getRHS()); in expand() 271 const IntSymExpr *SymbolManager::getIntSymExpr(const llvm::APSInt& lhs, in getIntSymExpr() 276 IntSymExpr::Profile(ID, lhs, op, rhs, t); in getIntSymExpr() 281 data = (IntSymExpr*) BPAlloc.Allocate<IntSymExpr>(); in getIntSymExpr() 282 new (data) IntSymExpr(lhs, op, rhs, t); in getIntSymExpr() 286 return cast<IntSymExpr>(data); in getIntSymExpr() 483 KnownLive = isLive(cast<IntSymExpr>(sym)->getRHS()); in isLive()
|
D | ProgramState.cpp | 550 return scan(cast<IntSymExpr>(sym)->getRHS()); in scan()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | Symbols.def | 38 SYMBOL(IntSymExpr, BinarySymExpr)
|
D | SymbolManager.h | 321 class IntSymExpr : public BinarySymExpr { 326 IntSymExpr(const llvm::APSInt& lhs, BinaryOperator::Opcode op, in IntSymExpr() function 452 const IntSymExpr *getIntSymExpr(const llvm::APSInt& lhs,
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
D | CheckObjCDealloc.cpp | 435 } else if (auto *SIE = dyn_cast<IntSymExpr>(CondBSE)) { in evalAssume()
|