| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | TrustNonnullChecker.cpp | 68 const SymbolRef CondS = Cond.getAsSymbol(); in evalAssume()
115 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol(); in checkPostObjCMessage()
116 SymbolRef RetS = Msg.getReturnValue().getAsSymbol(); in checkPostObjCMessage()
|
| H A D | CheckObjCDealloc.cpp | 268 SymbolRef SelfSymbol = SelfVal.getAsSymbol(); in checkBeginFunction()
296 SymbolRef Symbol = InitialVal.getAsSymbol(); in checkBeginFunction()
346 ReleasedValue = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
348 if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C)) in checkPreObjCMessage()
380 SymbolRef ReleasedValue = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
417 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume()
507 SymbolRef SelfSym = SelfVal.getAsSymbol(); in diagnoseMissingReleases()
952 return CurrentValInIvar.getAsSymbol(); in getValueReleasedByNillingOut()
|
| H A D | NoOwnershipChangeVisitor.cpp | 34 if (Val.getAsSymbol() == Sym) in HandleBinding()
114 if (V.getAsSymbol() == Sym) in maybeEmitNoteForParameters()
|
| H A D | ObjCSuperDeallocChecker.cpp | 87 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
121 SymbolRef SelfSymbol = State->getSelfSVal(LC).getAsSymbol(); in checkPostObjCMessage()
206 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
|
| H A D | Taint.cpp | 54 SymbolRef Sym = V.getAsSymbol(); in addTaint()
71 if (SymbolRef Sym = binding->getAsSymbol()) in addTaint()
100 SymbolRef Sym = V.getAsSymbol(); in removeTaint()
206 if (SymbolRef Sym = V.getAsSymbol()) in getTaintedSymbolsImpl()
|
| H A D | ObjCContainersChecker.cpp | 37 SymbolRef ArraySym = ArrayRef.getAsSymbol(); in getArraySym()
70 SymbolRef ArraySym = ArrayRef.getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE()
|
| H A D | SimpleStreamChecker.cpp | 99 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE()
115 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
|
| H A D | ContainerModeling.cpp | 445 SymMgr.getType(EndSym)).getAsSymbol(); in handlePushBack()
474 SymMgr.getType(EndSym)).getAsSymbol(); in handlePopBack()
519 SymMgr.getType(BeginSym)).getAsSymbol(); in handlePushFront()
556 SymMgr.getType(BeginSym)).getAsSymbol(); in handlePopFront()
681 SymMgr.getType(Pos->getOffset())).getAsSymbol(); in handleEraseAfter()
1041 SymMgr.getType(OrigExpr)).getAsSymbol(); in rebaseSymbol()
|
| H A D | StreamChecker.cpp | 650 StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in Init()
898 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
945 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
1009 SymbolRef Sym = StreamVal.getAsSymbol(); in preRead()
1649 if (SymbolRef StreamSym = StreamVal.getAsSymbol()) { in evalFflush()
1762 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalSetFeofFerror()
1802 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()
1851 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureNoFilePositionIndeterminate()
|
| H A D | BasicObjCFoundationChecks.cpp | 957 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty()
1031 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
1041 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
1092 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
|
| H A D | SetgidSetuidOrderChecker.cpp | 125 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in processSetuid()
|
| H A D | MIGChecker.cpp | 126 SymbolRef Sym = V.getAsSymbol(IncludeBaseRegions); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | MallocChecker.cpp | 2096 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
2706 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2910 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreCall()
2927 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2951 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2960 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
2994 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
3073 if (SymbolRef Sym = C.getSVal(Arg).getAsSymbol()) in suppressDeallocationsInSuspiciousContexts()
3226 EscapingSymbol = Msg->getReceiverSVal().getAsSymbol(); in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
|
| H A D | ArrayBoundCheckerV2.cpp | 111 return providesInformationAboutInteresting(SV.getAsSymbol(), BR); in providesInformationAboutInteresting()
676 if (SymbolRef Sym = Val.getAsSymbol()) { in markPartsInteresting()
|
| H A D | InnerPointerChecker.cpp | 230 if (SymbolRef Sym = RawPtr.getAsSymbol(/*IncludeBaseRegions=*/true)) { in checkPostCall()
|
| H A D | IteratorModeling.cpp | 777 } else if (const auto Sym = Val.getAsSymbol()) { in removeIteratorPosition()
805 if (const auto CompSym = comparison.getAsSymbol()) { in relateSymbols()
|
| H A D | PthreadLockChecker.cpp | 587 SymbolRef sym = Call.getReturnValue().getAsSymbol(); in DestroyLockAux()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 234 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
249 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { in processObjCLiterals()
275 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
291 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()
479 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in processSummaryOfInlined()
687 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in checkSummary()
1349 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol(); in checkBeginFunction()
|
| H A D | RetainCountDiagnostics.cpp | 179 if (CurrSt->getSVal(MR, TR->getValueType()).getAsSymbol() == Sym) in findArgIdxOfSymbol()
719 if (ME->getMethodFamily() == OMF_init && RecV.getAsSymbol() == Sym) in GetAllocationSite()
938 if (Node->getState()->getSVal(AllocFirstBinding).getAsSymbol() == Sym) { in findBindingToReport()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ProgramState.cpp | 284 if (SymbolRef sym = V.getAsSymbol()) { in getSVal()
401 SymbolRef Sym = V.getAsSymbol(/* IncludeBaseRegion */ true); in isNull()
621 if (SymbolRef Sym = val.getAsSymbol()) in scan()
|
| H A D | RangedConstraintManager.cpp | 242 if (SymbolRef SimplifiedSym = SimplifiedVal.getAsSymbol()) in simplify()
|
| H A D | SVals.cpp | 104 SymbolRef SVal::getAsSymbol(bool IncludeBaseRegions) const { in getAsSymbol() function in SVal
|
| H A D | RegionStore.cpp | 1025 if (SymbolRef Sym = V.getAsSymbol()) in VisitBinding()
1893 if (SymbolRef ParentValueAsSym = ParentValue->getAsSymbol()) in getDerivedSymbolForBinding()
2020 if (SymbolRef parentSym = val.getAsSymbol()) in getBindingForDerivedDefaultValue()
2171 if (SymbolRef parentSym = V->getAsSymbol()) in getBindingForObjCIvar()
|
| H A D | CallEvent.cpp | 929 if (SymbolRef Sym = V.getAsSymbol(true)) in getExtraInvalidatedValues()
1323 if (SymbolRef ReceiverSym = getReceiverSVal().getAsSymbol()) { in getRuntimeDefinition()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SVals.h | 138 SymbolRef getAsSymbol(bool IncludeBaseRegions = false) const;
154 if (const SymExpr *SE = getAsSymbol(/*IncludeBaseRegions=*/true)) in symbols()
|