Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp157 const auto *x = cast<SymSymExpr>(SE); in expand()
296 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs, in getSymSymExpr()
301 SymSymExpr::Profile(ID, lhs, op, rhs, t); in getSymSymExpr()
306 data = new (BPAlloc) SymSymExpr(lhs, op, rhs, t); in getSymSymExpr()
310 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 DRangeConstraintManager.cpp1087 std::optional<bool> meansEquality(const SymSymExpr *Sym) { in meansEquality()
1242 RangeSet VisitSymSymExpr(const SymSymExpr *SSE) { in VisitSymSymExpr()
1468 std::optional<RangeSet> getRangeForNegatedSymSym(const SymSymExpr *SSE) { in getRangeForNegatedSymSym()
1498 std::optional<RangeSet> getRangeForComparisonSymbol(const SymSymExpr *SSE) { in getRangeForComparisonSymbol()
1526 const SymSymExpr *SymSym = SymMgr.getSymSymExpr(LHS, QueriedOP, RHS, T); in getRangeForComparisonSymbol()
1576 std::optional<RangeSet> getRangeForEqualities(const SymSymExpr *Sym) { in getRangeForEqualities()
2098 inline bool assignSymSymExprToRangeSet(const SymSymExpr *Sym,
2227 bool ConstraintAssignor::assignSymSymExprToRangeSet(const SymSymExpr *Sym, in assignSymSymExprToRangeSet()
2823 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(SE)) { in canReasonAbout()
H A DRangedConstraintManager.cpp49 if (const auto *SSE = dyn_cast<SymSymExpr>(Sym)) { in assumeSym()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h181 } else if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
288 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSymbols.def41 SYMBOL(SymSymExpr, BinarySymExpr)
H A DSymbolManager.h479 using SymSymExpr = BinarySymExprImpl<const SymExpr *, const SymExpr *, variable
551 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
H A DSMTConv.h409 if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) { in getSymBinExpr()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundCheckerV2.cpp544 if (isa<SymSymExpr>(PartSym)) in providesInformationAboutInteresting()