Searched refs:SymIntExpr (Results 1 – 8 of 8) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SymbolManager.cpp | 30 void SymIntExpr::dumpToStream(raw_ostream &os) const { in dumpToStream()
128 itr.push_back(cast<SymIntExpr>(SE)->getLHS()); in expand()
253 const SymIntExpr *SymbolManager::getSymIntExpr(const SymExpr *lhs, in getSymIntExpr()
258 SymIntExpr::Profile(ID, lhs, op, v, t); in getSymIntExpr()
263 data = (SymIntExpr*) BPAlloc.Allocate<SymIntExpr>(); in getSymIntExpr()
264 new (data) SymIntExpr(lhs, op, v, t); in getSymIntExpr()
268 return cast<SymIntExpr>(data); in getSymIntExpr()
480 KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS()); in isLive()
|
| D | SimpleConstraintManager.cpp | 31 if (const SymIntExpr *SIE = dyn_cast<SymIntExpr>(SE)) { in canReasonAbout()
140 } else if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(sym)) { in assumeAux()
231 if (const SymIntExpr *SE = dyn_cast<SymIntExpr>(Sym)) { in computeAdjustment()
|
| D | SimpleSValBuilder.cpp | 430 if (const SymIntExpr *symIntExpr = dyn_cast<SymIntExpr>(Sym)) { in evalBinOpNN()
|
| D | ProgramState.cpp | 548 return scan(cast<SymIntExpr>(sym)->getLHS()); in scan()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SymbolManager.h | 286 class SymIntExpr : public BinarySymExpr {
291 SymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op, in SymIntExpr() function
444 const SymIntExpr *getSymIntExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
447 const SymIntExpr *getSymIntExpr(const SymExpr &lhs, BinaryOperator::Opcode op, in getSymIntExpr()
|
| D | Symbols.def | 39 SYMBOL(SymIntExpr, BinarySymExpr)
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 119 std::string VisitSymIntExpr(const SymIntExpr *S) { in VisitSymIntExpr()
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | CheckObjCDealloc.cpp | 430 if (auto *SIE = dyn_cast<SymIntExpr>(CondBSE)) { in evalAssume()
|