Searched refs:SymSymExpr (Results 1 – 6 of 6) 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()
486 KnownLive = isLive(cast<SymSymExpr>(sym)->getLHS()) && in isLive()
487 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 | 356 class SymSymExpr : public BinarySymExpr {
361 SymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, in SymSymExpr() function
456 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
|
| D | Symbols.def | 40 SYMBOL(SymSymExpr, BinarySymExpr)
|
| /external/clang/include/clang/StaticAnalyzer/Checkers/ |
| D | SValExplainer.h | 131 std::string VisitSymSymExpr(const SymSymExpr *S) { in VisitSymSymExpr()
|