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

  121     OS << "(" << Visit(S->getLHS()) << ") "

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

  171         LHS = getSymVal(State, SIE->getLHS());
  278         return canReasonAbout(SVB.makeSymbolVal(SIE->getLHS()));

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

  386           getSymExpr(Solver, Ctx, SIE->getLHS(), &LTy, hasComparison);

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

   99               nonloc::SymbolVal(SIE->getLHS()),
  104             nonloc::SymbolVal(SIE->getLHS()),

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

  427     NullSymbol = SIE->getLHS();

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

  362     if (Optional<std::string> Str = Visit(S->getLHS()))

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

  803         SR.markLive(SIE->getLHS());
  808         SR.markLive(SIE->getLHS());
 2062     return assumeNoOverflow(NewState, cast<SymIntExpr>(CompSym)->getLHS(), 2);

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

  529       ReturnSymbol = SIE->getLHS();

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

   39       return assumeSymRel(State, SIE->getLHS(), op, SIE->getRHS());
  190       Sym = SE->getLHS();

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

  359       return std::make_pair(SymInt->getLHS(),
  708             return makeNonLoc(symIntExpr->getLHS(), opc,
  739               lhs = nonloc::SymbolVal(symIntExpr->getLHS());
 1278       SVal LHS = Visit(S->getLHS());
 1279       if (isUnchanged(S->getLHS(), LHS))
 1287       if (Loc::isLocType(S->getLHS()->getType()) &&

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

   43   getLHS()->dumpToStream(os);
  152       itr.push_back(cast<SymIntExpr>(SE)->getLHS());
  490     KnownLive = isLive(cast<SymIntExpr>(sym)->getLHS());