Home
last modified time | relevance | path

Searched refs:SymIntExpr (Results 1 – 5 of 5) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp31 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout()
171 } else if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(sym)) { in assumeAux()
226 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) { in computeAdjustment()
DSymbolManager.cpp30 void SymIntExpr::dumpToStream(raw_ostream &os) const { in dumpToStream()
129 itr.push_back(cast<SymIntExpr>(SE)->getLHS()); in expand()
254 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
259 SymIntExpr::Profile(ID, lhs, op, v, t); in getSymIntExpr()
264 data = (SymIntExpr*) BPAlloc.Allocate<SymIntExpr>(); in getSymIntExpr()
265 new (data) SymIntExpr(lhs, op, v, t); in getSymIntExpr()
269 return cast<SymIntExpr>(data); in getSymIntExpr()
470 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS()); in isLive()
DSimpleSValBuilder.cpp404 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) { in evalBinOpNN()
DProgramState.cpp557 return scan(cast<SymIntExpr>(sym)->getLHS()); in scan()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DSymbolManager.h371 class SymIntExpr : public BinarySymExpr {
376 SymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op, in SymIntExpr() function
529 const SymIntExpr *getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
532 const SymIntExpr *getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op, in getSymIntExpr()