|
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 131 return "(" + Visit(S->getLHS()) + ") " +
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConstraintManager.h 178 LHS = getSymVal(State, SSM->getLHS());
284 return canReasonAbout(SVB.makeSymbolVal(SSE->getLHS())) &&
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h 406 getSymExpr(Solver, Ctx, SSM->getLHS(), <y, hasComparison);
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp 373 if (Optional<std::string> Str1 = Visit(S->getLHS()))
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp 370 if (Loc::isLocType(SSE->getLHS()->getType())) {
528 SSE->getLHS(), T);
tools/clang/lib/StaticAnalyzer/Core/RangedConstraintManager.cpp 54 if (Loc::isLocType(SSE->getLHS()->getType()) &&
58 SymMgr.getSymSymExpr(SSE->getRHS(), BO_Sub, SSE->getLHS(), DiffTy);
tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp 1314 if (Loc::isLocType(S->getLHS()->getType()) !=
1318 SVal LHS = Visit(S->getLHS());
1320 if (isUnchanged(S->getLHS(), LHS) && isUnchanged(S->getRHS(), RHS))
tools/clang/lib/StaticAnalyzer/Core/SymbolManager.cpp 70 getLHS()->dumpToStream(os);
159 itr.push_back(x->getLHS());
496 KnownLive = isLive(cast<SymSymExpr>(sym)->getLHS()) &&