| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SimpleConstraintManager.cpp | 61 SymbolRef Sym = Cond.getAsSymbol(); in assumeAux()
105 SymbolRef Sym = Value.getAsSymbol(); in assumeInclusiveRangeInternal()
117 if (SymbolRef Sym = Value.getAsSymbol()) in assumeInclusiveRangeInternal()
|
| H A D | SimpleSValBuilder.cpp | 381 SymbolRef LSym = Lhs.getAsSymbol(); in tryRearrange()
405 SymbolRef RSym = Rhs.getAsSymbol(); in tryRearrange()
1202 if (SymbolRef Sym = V.getAsSymbol()) in getConstValue()
1230 if (SymbolRef Sym = V.getAsSymbol()) in getMinValue()
1243 if (SymbolRef Sym = V.getAsSymbol()) in getMaxValue()
1278 return Sym == Val.getAsSymbol(); in simplifySValOnce()
1340 if (SymbolRef Sym = LHS.getAsSymbol()) { in simplifySValOnce()
|
| H A D | ProgramState.cpp | 270 if (SymbolRef sym = V.getAsSymbol()) { in getSVal()
387 SymbolRef Sym = V.getAsSymbol(/* IncludeBaseRegion */ true); in isNull()
589 if (SymbolRef Sym = val.getAsSymbol()) in scan()
|
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StreamChecker.cpp | 582 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
629 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
664 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
716 SymbolRef Sym = StreamVal.getAsSymbol(); in preReadWrite()
730 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFreadFwrite()
809 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFgetx()
1222 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFgetpos()
1288 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFtell()
1490 if (SymbolRef StreamSym = StreamVal.getAsSymbol()) { in evalFflush()
1543 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()
[all …]
|
| H A D | TestAfterDivZeroChecker.cpp | 117 if (ZeroSymbol == S.getAsSymbol() && SFC == Succ->getStackFrame()) { in REGISTER_SET_WITH_PROGRAMSTATE()
146 SymbolRef SR = Var.getAsSymbol(); in setDivZeroMap()
158 SymbolRef SR = Var.getAsSymbol(); in hasDivZeroMap()
174 R->addVisitor(std::make_unique<DivisionBRVisitor>(Val.getAsSymbol(), in reportBug()
|
| 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 | 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 | 53 SymbolRef Sym = V.getAsSymbol(); in addTaint()
70 if (SymbolRef Sym = binding->getAsSymbol()) in addTaint()
99 SymbolRef Sym = V.getAsSymbol(); in removeTaint()
205 if (SymbolRef Sym = V.getAsSymbol()) in getTaintedSymbolsImpl()
|
| H A D | FuchsiaHandleChecker.cpp | 296 SymbolRef Sym = Arg.getAsSymbol(); in getFuchsiaHandleSymbols()
305 SymbolRef Sym = State->getSVal(*ArgLoc).getAsSymbol(); in getFuchsiaHandleSymbols()
325 if (SymbolRef Handle = Call.getArgSVal(Arg).getAsSymbol()) in checkPreCall()
377 ResultSymbol = Call.getReturnValue().getAsSymbol(); in checkPostCall()
381 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall()
397 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall()
|
| 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 | ObjCSelfInitChecker.cpp | 107 if (SymbolRef sym = val.getAsSymbol()) in REGISTER_MAP_WITH_PROGRAMSTATE()
120 if (SymbolRef sym = val.getAsSymbol()) { in addSelfFlag()
330 if (SymbolRef sym = loc.getAsSymbol()) in checkBind()
|
| H A D | Iterator.cpp | 188 } else if (const auto Sym = Val.getAsSymbol()) { in getIteratorPosition()
201 } else if (const auto Sym = Val.getAsSymbol()) { in setIteratorPosition()
252 .getAsSymbol()); in advancePosition()
|
| H A D | SimpleStreamChecker.cpp | 102 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE()
121 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
|
| H A D | DynamicTypePropagation.cpp | 181 if (SymbolRef ReceiverSymbol = ReceiverSVal.getAsSymbol()) { in inferReceiverType()
641 SymbolRef Sym = C.getSVal(CE).getAsSymbol(); in checkPostStmt()
796 SymbolRef Sym = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
875 SymbolRef ArgSym = ArgSVal.getAsSymbol(); in checkPreObjCMessage()
907 SymbolRef RetSym = M.getReturnValue().getAsSymbol(); in checkPostObjCMessage()
966 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
|
| H A D | ExprInspectionChecker.cpp | 294 if (const SymbolRef Sym = V.getAsSymbol()) in analyzerValue()
378 SymbolRef Sym = Val.getAsSymbol(); in analyzerWarnOnDeadSymbol()
447 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol(); in analyzerDenote()
531 SymbolRef Sym = ArgVal.getAsSymbol(); in analyzerExpress()
|
| H A D | NSErrorChecker.cpp | 186 if (SymbolRef sym = val.getAsSymbol()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
195 if (SymbolRef sym = val.getAsSymbol()) in setFlag()
|
| H A D | ContainerModeling.cpp | 440 SymMgr.getType(EndSym)).getAsSymbol(); in handlePushBack()
469 SymMgr.getType(EndSym)).getAsSymbol(); in handlePopBack()
514 SymMgr.getType(BeginSym)).getAsSymbol(); in handlePushFront()
551 SymMgr.getType(BeginSym)).getAsSymbol(); in handlePopFront()
676 SymMgr.getType(Pos->getOffset())).getAsSymbol(); in handleEraseAfter()
1032 SymMgr.getType(OrigExpr)).getAsSymbol(); in rebaseSymbol()
|
| H A D | BlockInCriticalSectionChecker.cpp | 132 SymbolRef BlockDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall()
|
| H A D | MallocChecker.cpp | 751 if (Val.getAsSymbol() == Sym) in HandleBinding()
899 if (V.getAsSymbol() == Sym) in maybeEmitNoteForParameters()
2048 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
2658 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2862 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreCall()
2879 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2896 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2905 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
2939 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
3018 if (SymbolRef Sym = C.getSVal(Arg).getAsSymbol()) in suppressDeallocationsInSuspiciousContexts()
[all …]
|
| H A D | BasicObjCFoundationChecks.cpp | 961 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty()
1035 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
1045 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
1096 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
|
| H A D | MIGChecker.cpp | 123 SymbolRef Sym = V.getAsSymbol(IncludeBaseRegions); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| /freebsd-14.2/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-14.2/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()
|