Searched refs:SymSymExpr (Results 1 – 4 of 4) sorted by relevance
| /freebsd-10-stable/contrib/llvm/tools/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() 478 KnownLive = isLive(cast<SymSymExpr>(sym)->getLHS()) && in isLive() 479 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 | 553 const SymSymExpr *x = cast<SymSymExpr>(sym); in scan()
|
| /freebsd-10-stable/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SymbolManager.h | 441 class SymSymExpr : public BinarySymExpr { 446 SymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, in SymSymExpr() function 541 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
|