reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Checkers/SValExplainer.h

  133            " (" + Visit(S->getRHS()) + ")";

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h

  179         RHS = LHS ? getSymVal(State, SSM->getRHS()) : nullptr;
  285                canReasonAbout(SVB.makeSymbolVal(SSE->getRHS()));

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h

  408           getSymExpr(Solver, Ctx, SSM->getRHS(), &RTy, hasComparison);

tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp

  374       if (Optional<std::string> Str2 = Visit(S->getRHS()))

tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

  371           return Loc::isLocType(SSE->getRHS()->getType());
  527       SymbolRef negSym = SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub,

tools/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp

   55         Loc::isLocType(SSE->getRHS()->getType())) {
   58           SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy);

tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp

 1315           Loc::isLocType(S->getRHS()->getType()))
 1319       SVal RHS = Visit(S->getRHS());
 1320       if (isUnchanged(S->getLHS(), LHS) && isUnchanged(S->getRHS(), RHS))

tools/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp

   74   getRHS()->dumpToStream(os);
  160       itr.push_back(x->getRHS());
  497                 isLive(cast<SymSymExpr>(sym)->getRHS());