Searched refs:SymSymExpr (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | SymbolManager.cpp | 51 void SymSymExpr::dumpToStream(raw_ostream &os) const { in dumpToStream()
134 const SymSymExpr *x = cast<SymSymExpr>(SE); in expand()
289 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr()
294 SymSymExpr::Profile(ID, lhs, op, rhs, t); in getSymSymExpr()
299 data = (SymSymExpr*) BPAlloc.Allocate<SymSymExpr>(); in getSymSymExpr()
300 new (data) SymSymExpr(lhs, op, rhs, t); in getSymSymExpr()
304 return cast<SymSymExpr>(data); in getSymSymExpr()
474 KnownLive = isLive(cast<SymSymExpr>(sym)->getLHS()) && in isLive()
475 isLive(cast<SymSymExpr>(sym)->getRHS()); in isLive()
|
| D | SimpleConstraintManager.cpp | 52 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(SE)) { in canReasonAbout()
151 } else if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(sym)) { in assumeAux()
|
| D | ProgramState.cpp | 552 const SymSymExpr *x = cast<SymSymExpr>(sym); in scan()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SymbolManager.h | 438 class SymSymExpr : public BinarySymExpr {
443 SymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, in SymSymExpr() function
538 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
|