Home
last modified time | relevance | path

Searched refs:SymSymExpr (Results 1 – 10 of 10) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp69 void SymSymExpr::dumpToStream(raw_ostream &os) const { in dumpToStream()
159 const auto *x = cast<SymSymExpr>(SE); in expand()
306 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr()
311 SymSymExpr::Profile(ID, lhs, op, rhs, t); in getSymSymExpr()
316 data = (SymSymExpr*) BPAlloc.Allocate<SymSymExpr>(); in getSymSymExpr()
317 new (data) SymSymExpr(lhs, op, rhs, t); in getSymSymExpr()
321 return cast<SymSymExpr>(data); in getSymSymExpr()
493 KnownLive = isLive(cast<SymSymExpr>(sym)->getLHS()) && in isLive()
494 isLive(cast<SymSymExpr>(sym)->getRHS()); in isLive()
H A DRangedConstraintManager.cpp43 } else if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(Sym)) { in assumeSym()
H A DRangeConstraintManager.cpp341 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(SE)) { in canReasonAbout()
495 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(Sym)) { in getRangeForMinusSymbol()
H A DSimpleSValBuilder.cpp1298 SVal VisitSymSymExpr(const SymSymExpr *S) { in simplifySVal()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h172 } else if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) { in getSymVal()
259 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(BSE)) in canReasonAbout()
H A DSymbols.def40 SYMBOL(SymSymExpr, BinarySymExpr)
H A DSymbolManager.h419 class SymSymExpr : public BinarySymExpr {
424 SymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, in SymSymExpr() function
530 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
H A DSMTConv.h395 if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) { in getSymBinExpr()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h131 std::string VisitSymSymExpr(const SymSymExpr *S) { in VisitSymSymExpr()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp366 Optional<std::string> VisitSymSymExpr(const SymSymExpr *S) { in VisitSymSymExpr()