|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h 183 SymbolRef getAsSymbol(bool IncludeBaseRegions = false) const;
References
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SVals.h 200 const SymExpr *SE = getAsSymbol(/*IncludeBaseRegions=*/true);
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 951 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol();
1027 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol();
1037 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol();
1088 return Message->getReceiverSVal().getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp 161 SymbolRef BlockDesc = Call.getReturnValue().getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 2390 if (SymbolRef Sym = Len.getAsSymbol()) {
tools/clang/lib/StaticAnalyzer/Checkers/CheckObjCDealloc.cpp 262 SymbolRef SelfSymbol = SelfVal.getAsSymbol();
290 SymbolRef Symbol = InitialVal.getAsSymbol();
338 ReleasedValue = M.getReceiverSVal().getAsSymbol();
340 if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C))
372 SymbolRef ReleasedValue = Call.getArgSVal(0).getAsSymbol();
499 SymbolRef SelfSym = SelfVal.getAsSymbol();
961 return CurrentValInIvar.getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp 551 SymbolRef Sym = C.getSVal(CE).getAsSymbol();
707 SymbolRef Sym = M.getReceiverSVal().getAsSymbol();
786 SymbolRef ArgSym = ArgSVal.getAsSymbol();
818 SymbolRef RetSym = M.getReturnValue().getAsSymbol();
846 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp 252 SymbolRef Sym = Val.getAsSymbol();
322 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
397 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp 207 if (SymbolRef Sym = RawPtr.getAsSymbol(/*IncludeBaseRegions=*/true)) {
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 1331 SymMgr.getType(EndSym)).getAsSymbol();
1357 SymMgr.getType(EndSym)).getAsSymbol();
1400 SymMgr.getType(BeginSym)).getAsSymbol();
1435 SymMgr.getType(BeginSym)).getAsSymbol();
1542 SymMgr.getType(Pos->getOffset())).getAsSymbol();
1578 .getAsSymbol());
2003 } else if (const auto Sym = Val.getAsSymbol()) {
2016 } else if (const auto Sym = Val.getAsSymbol()) {
2028 } else if (const auto Sym = Val.getAsSymbol()) {
2056 if (const auto CompSym = comparison.getAsSymbol()) {
2280 SymMgr.getType(OrigExpr)).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp 120 SymbolRef Sym = V.getAsSymbol(IncludeBaseRegions);
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp 436 SymbolRef RetStatusSymbol = C.getSVal(CE).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1422 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol())
1884 SymbolRef RetStatusSymbol = RetVal.getAsSymbol();
2453 SymbolRef FromPtr = arg0Val.getAsSymbol();
2455 SymbolRef ToPtr = RetVal.getAsSymbol();
2682 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol();
2704 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol();
2713 SymbolRef Sym = ArgSVal.getAsSymbol();
2747 SymbolRef Sym = RetVal.getAsSymbol();
2828 if (SymbolRef Sym = C.getSVal(Arg).getAsSymbol())
2981 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/NSErrorChecker.cpp 174 if (SymbolRef sym = val.getAsSymbol())
183 if (SymbolRef sym = val.getAsSymbol())
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 1075 if (SymbolRef Sym = ValDefOrUnknown->getAsSymbol())
tools/clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp 42 SymbolRef ArraySym = ArrayRef.getAsSymbol();
78 SymbolRef ArraySym = ArrayRef.getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp 107 if (SymbolRef sym = val.getAsSymbol())
120 if (SymbolRef sym = val.getAsSymbol()) {
331 if (SymbolRef sym = loc.getAsSymbol())
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSuperDeallocChecker.cpp 86 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol();
119 SymbolRef ReceiverSymbol = M.getSelfSVal().getAsSymbol();
204 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp 365 SymbolRef sym = C.getSVal(CE).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 235 if (SymbolRef sym = V.getAsSymbol())
250 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) {
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) {
292 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol();
480 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) {
688 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) {
1349 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp 683 if (ME->getMethodFamily() == OMF_init && RecV.getAsSymbol() == Sym)
tools/clang/lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp 126 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol();
145 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp 229 if (SymbolRef Sym = RetVal.getAsSymbol()) {
359 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/Taint.cpp 52 SymbolRef Sym = V.getAsSymbol();
69 if (SymbolRef Sym = binding->getAsSymbol())
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp 116 if (ZeroSymbol == S.getAsSymbol() && SFC == Succ->getStackFrame()) {
145 SymbolRef SR = Var.getAsSymbol();
157 SymbolRef SR = Var.getAsSymbol();
175 R->addVisitor(std::make_unique<DivisionBRVisitor>(Val.getAsSymbol(),
tools/clang/lib/StaticAnalyzer/Checkers/TrustNonnullChecker.cpp 68 const SymbolRef CondS = Cond.getAsSymbol();
116 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol();
117 SymbolRef RetS = Msg.getReturnValue().getAsSymbol();
tools/clang/lib/StaticAnalyzer/Core/BugReporter.cpp 2230 markInteresting(V.getAsSymbol(), TKind);
2242 auto SKind = getInterestingnessKind(V.getAsSymbol());
tools/clang/lib/StaticAnalyzer/Core/CallEvent.cpp 901 if (SymbolRef Sym = MV.getAsSymbol(true))
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 720 if (SymbolRef Sym = I.second.getAsSymbol())
tools/clang/lib/StaticAnalyzer/Core/ProgramState.cpp 271 if (SymbolRef sym = V.getAsSymbol()) {
379 SymbolRef Sym = V.getAsSymbol(/* IncludeBaseRegion */ true);
577 if (SymbolRef Sym = val.getAsSymbol())
tools/clang/lib/StaticAnalyzer/Core/RegionStore.cpp 1043 if (SymbolRef Sym = V.getAsSymbol())
1762 if (SymbolRef parentSym = V->getAsSymbol())
1827 if (SymbolRef parentSym = val.getAsSymbol())
1972 if (SymbolRef parentSym = V->getAsSymbol())
tools/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp 540 if (SymbolRef Sym = val.getAsSymbol(true)) {
tools/clang/lib/StaticAnalyzer/Core/SVals.cpp 141 return getAsSymbol();
145 const SymExpr* Sym = getAsSymbol();
tools/clang/lib/StaticAnalyzer/Core/SimpleConstraintManager.cpp 116 if (SymbolRef Sym = Value.getAsSymbol())
tools/clang/lib/StaticAnalyzer/Core/SimpleSValBuilder.cpp 464 SymbolRef LSym = Lhs.getAsSymbol();
488 SymbolRef RSym = Rhs.getAsSymbol();
1222 if (SymbolRef Sym = V.getAsSymbol())
1245 return Sym == Val.getAsSymbol();
1292 if (SymbolRef Sym = LHS.getAsSymbol()) {
tools/clang/lib/StaticAnalyzer/Core/Store.cpp 410 SymbolRef Sym = V.getAsSymbol();