Searched refs:SymSymExpr (Results 1 - 9 of 9) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSymbolManager.cpp68 void SymSymExpr::dumpToStream(raw_ostream &os) const {
158 const auto *x = cast<SymSymExpr>(SE);
305 const SymSymExpr *SymbolManager::getSymSymExpr(const SymExpr *lhs,
310 SymSymExpr::Profile(ID, lhs, op, rhs, t);
315 data = (SymSymExpr*) BPAlloc.Allocate<SymSymExpr>();
316 new (data) SymSymExpr(lhs, op, rhs, t);
320 return cast<SymSymExpr>(data);
496 KnownLive = isLive(cast<SymSymExpr>(sym)->getLHS()) &&
497 isLive(cast<SymSymExpr>(sy
[all...]
H A DRangedConstraintManager.cpp42 } else if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(Sym)) {
H A DRangeConstraintManager.cpp362 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(SE)) {
518 // only negated SymSymExpr-type expressions, but also of other, simpler
523 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(Sym)) {
H A DSimpleSValBuilder.cpp1305 SVal VisitSymSymExpr(const SymSymExpr *S) {
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h176 } else if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) {
283 if (const SymSymExpr *SSE = dyn_cast<SymSymExpr>(BSE))
H A DSymbolManager.h418 class SymSymExpr : public BinarySymExpr { class in namespace:clang::ento
423 SymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op, const SymExpr *rhs, function in class:clang::ento::SymSymExpr
529 const SymSymExpr *getSymSymExpr(const SymExpr *lhs, BinaryOperator::Opcode op,
H A DSMTConv.h404 if (const SymSymExpr *SSM = dyn_cast<SymSymExpr>(BSE)) {
/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h131 std::string VisitSymSymExpr(const SymSymExpr *S) {
/freebsd-11-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DExprInspectionChecker.cpp370 Optional<std::string> VisitSymSymExpr(const SymSymExpr *S) {

Completed in 113 milliseconds