Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp49 if (const auto *SSE = dyn_cast<SymSymExpr>(Sym)) { in assumeSym()
65 SymbolRef Subtraction = SymMgr.acquire<SymSymExpr>( in assumeSym()
79 SymbolRef CanonicalEquality = SymMgr.acquire<SymSymExpr>( in assumeSym()
H A DSymbolManager.cpp196 const auto *x = cast<SymSymExpr>(SE); in expand()
370 KnownLive = isLive(cast<SymSymExpr>(sym)->getLHS()) && in isLive()
371 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()
1470 std::optional<RangeSet> getRangeForNegatedSymSym(const SymSymExpr *SSE) { in getRangeForNegatedSymSym()
1474 return State->getSymbolManager().acquire<SymSymExpr>( in getRangeForNegatedSymSym()
1490 std::optional<RangeSet> getRangeCommutativeSymSym(const SymSymExpr *SSE) { in getRangeCommutativeSymSym()
1498 SymbolRef Commuted = State->getSymbolManager().acquire<SymSymExpr>( in getRangeCommutativeSymSym()
1515 std::optional<RangeSet> getRangeForComparisonSymbol(const SymSymExpr *SSE) { in getRangeForComparisonSymbol()
1543 const SymSymExpr *SymSym = in getRangeForComparisonSymbol()
1544 SymMgr.acquire<SymSymExpr>(LHS, QueriedOP, RHS, T); in getRangeForComparisonSymbol()
1552 SymSym = SymMgr.acquire<SymSymExpr>(RHS, ROP, LHS, T); in getRangeForComparisonSymbol()
[all …]
H A DSimpleSValBuilder.cpp331 ResultSym = SymMgr.acquire<SymSymExpr>(RSym, BO_Sub, LSym, SymTy); in doRearrangeUnchecked()
335 ResultSym = SymMgr.acquire<SymSymExpr>(LSym, BO_Sub, RSym, SymTy); in doRearrangeUnchecked()
340 ResultSym = SymMgr.acquire<SymSymExpr>(LSym, Op, RSym, SymTy); in doRearrangeUnchecked()
1370 SVal VisitSymSymExpr(const SymSymExpr *S) { in simplifySValOnce()
H A DSValBuilder.cpp98 return nonloc::SymbolVal(SymMgr.acquire<SymSymExpr>(lhs, op, rhs, type)); in makeNonLoc()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h182 } else if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
296 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(BSE)) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSymbols.def41 SYMBOL(SymSymExpr, BinarySymExpr)
H A DSMTConv.h411 if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) { in getSymBinExpr()
H A DSymbolManager.h491 using SymSymExpr = BinarySymExprImpl<const SymExpr *, const SymExpr *, variable
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h155 std::string VisitSymSymExpr(const SymSymExpr *S) { in VisitSymSymExpr()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp562 if (isa<SymSymExpr>(PartSym)) in providesInformationAboutInteresting()
H A DExprInspectionChecker.cpp495 std::optional<std::string> VisitSymSymExpr(const SymSymExpr *S) { in VisitSymSymExpr()
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc8189 {"_ZNK5clang4ento10SymSymExpr12dumpToStreamERN4llvm11raw_ostreamE", "clang::ento::SymSymExpr::dumpT…
8240 {"_ZN5clang4ento10SymSymExprD1Ev", "clang::ento::SymSymExpr::~SymSymExpr()"},
8241 {"_ZN5clang4ento10SymSymExprD0Ev", "clang::ento::SymSymExpr::~SymSymExpr()"},
8242 {"_ZNK5clang4ento10SymSymExpr7getTypeERNS_10ASTContextE", "clang::ento::SymSymExpr::getType(clang::…
8243 {"_ZN5clang4ento10SymSymExpr7ProfileERN4llvm16FoldingSetNodeIDE", "clang::ento::SymSymExpr::Profile…
25294 {"_ZTVN5clang4ento10SymSymExprE", "vtable for clang::ento::SymSymExpr"},