Home
last modified time | relevance | path

Searched refs:getAsSymbol (Results 1 – 25 of 40) sorted by relevance

12

/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DBugReportInterestingnessTest.cpp65 SymbolRef Sym = Call.getArgSVal(0).getAsSymbol(); in handleInteresting()
75 SymbolRef Sym = Call.getArgSVal(0).getAsSymbol(); in handleNotInteresting()
85 SymbolRef Sym = Call.getArgSVal(0).getAsSymbol(); in handleCheck()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp60 SymbolRef Sym = Cond.getAsSymbol(); in assumeAux()
104 SymbolRef Sym = Value.getAsSymbol(); in assumeInclusiveRangeInternal()
116 if (SymbolRef Sym = Value.getAsSymbol()) in assumeInclusiveRangeInternal()
H A DProgramState.cpp272 if (SymbolRef sym = V.getAsSymbol()) { in getSVal()
389 SymbolRef Sym = V.getAsSymbol(/* IncludeBaseRegion */ true); in isNull()
593 if (SymbolRef Sym = val.getAsSymbol()) in scan()
H A DSimpleSValBuilder.cpp366 SymbolRef LSym = Lhs.getAsSymbol(); in tryRearrange()
390 SymbolRef RSym = Rhs.getAsSymbol(); in tryRearrange()
1179 if (SymbolRef Sym = V.getAsSymbol()) in getConstValue()
1219 return Sym == Val.getAsSymbol(); in simplifySValOnce()
1281 if (SymbolRef Sym = LHS.getAsSymbol()) { in simplifySValOnce()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DTaint.cpp52 SymbolRef Sym = V.getAsSymbol(); in addTaint()
69 if (SymbolRef Sym = binding->getAsSymbol()) in addTaint()
98 SymbolRef Sym = V.getAsSymbol(); in removeTaint()
153 if (SymbolRef Sym = V.getAsSymbol()) in isTainted()
H A DTestAfterDivZeroChecker.cpp116 if (ZeroSymbol == S.getAsSymbol() && SFC == Succ->getStackFrame()) { in REGISTER_SET_WITH_PROGRAMSTATE()
145 SymbolRef SR = Var.getAsSymbol(); in setDivZeroMap()
157 SymbolRef SR = Var.getAsSymbol(); in hasDivZeroMap()
175 R->addVisitor(std::make_unique<DivisionBRVisitor>(Val.getAsSymbol(), in reportBug()
H A DStreamChecker.cpp487 SymbolRef RetSym = RetVal.getAsSymbol(); in evalFopen()
534 SymbolRef StreamSym = StreamVal->getAsSymbol(); in evalFreopen()
569 SymbolRef Sym = getStreamArg(Desc, Call).getAsSymbol(); in evalFclose()
602 SymbolRef Sym = StreamVal.getAsSymbol(); in preFread()
634 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFreadFwrite()
731 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFseek()
773 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalClearerr()
794 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalFeofFerror()
849 SymbolRef StreamSym = getStreamArg(Desc, Call).getAsSymbol(); in evalSetFeofFerror()
888 SymbolRef Sym = StreamVal.getAsSymbol(); in ensureStreamOpened()
[all …]
H A DTrustNonnullChecker.cpp68 const SymbolRef CondS = Cond.getAsSymbol(); in evalAssume()
116 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol(); in checkPostObjCMessage()
117 SymbolRef RetS = Msg.getReturnValue().getAsSymbol(); in checkPostObjCMessage()
H A DObjCSuperDeallocChecker.cpp86 SymbolRef ReceiverSymbol = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
120 SymbolRef SelfSymbol = State->getSelfSVal(LC).getAsSymbol(); in checkPostObjCMessage()
205 SymbolRef Sym = CE.getArgSVal(I).getAsSymbol(); in diagnoseCallArguments()
H A DCheckObjCDealloc.cpp262 SymbolRef SelfSymbol = SelfVal.getAsSymbol(); in checkBeginFunction()
290 SymbolRef Symbol = InitialVal.getAsSymbol(); in checkBeginFunction()
338 ReleasedValue = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
340 if (diagnoseMistakenDealloc(M.getReceiverSVal().getAsSymbol(), M, C)) in checkPreObjCMessage()
372 SymbolRef ReleasedValue = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
409 auto *CondBSE = dyn_cast_or_null<BinarySymExpr>(Cond.getAsSymbol()); in evalAssume()
499 SymbolRef SelfSym = SelfVal.getAsSymbol(); in diagnoseMissingReleases()
961 return CurrentValInIvar.getAsSymbol(); in getValueReleasedByNillingOut()
H A DFuchsiaHandleChecker.cpp295 SymbolRef Sym = Arg.getAsSymbol(); in getFuchsiaHandleSymbols()
304 SymbolRef Sym = State->getSVal(*ArgLoc).getAsSymbol(); in getFuchsiaHandleSymbols()
324 if (SymbolRef Handle = Call.getArgSVal(Arg).getAsSymbol()) in checkPreCall()
376 ResultSymbol = Call.getReturnValue().getAsSymbol(); in checkPostCall()
380 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall()
396 SymbolRef RetSym = Call.getReturnValue().getAsSymbol(); in checkPostCall()
H A DObjCContainersChecker.cpp42 SymbolRef ArraySym = ArrayRef.getAsSymbol(); in getArraySym()
75 SymbolRef ArraySym = ArrayRef.getAsSymbol(); in REGISTER_MAP_WITH_PROGRAMSTATE()
H A DIterator.cpp189 } else if (const auto Sym = Val.getAsSymbol()) { in getIteratorPosition()
202 } else if (const auto Sym = Val.getAsSymbol()) { in setIteratorPosition()
254 .getAsSymbol()); in advancePosition()
H A DObjCSelfInitChecker.cpp107 if (SymbolRef sym = val.getAsSymbol()) in REGISTER_MAP_WITH_PROGRAMSTATE()
120 if (SymbolRef sym = val.getAsSymbol()) { in addSelfFlag()
333 if (SymbolRef sym = loc.getAsSymbol()) in checkBind()
H A DDynamicTypePropagation.cpp179 if (SymbolRef ReceiverSymbol = ReceiverSVal.getAsSymbol()) { in inferReceiverType()
641 SymbolRef Sym = C.getSVal(CE).getAsSymbol(); in checkPostStmt()
797 SymbolRef Sym = M.getReceiverSVal().getAsSymbol(); in checkPreObjCMessage()
876 SymbolRef ArgSym = ArgSVal.getAsSymbol(); in checkPreObjCMessage()
908 SymbolRef RetSym = M.getReturnValue().getAsSymbol(); in checkPostObjCMessage()
967 SymbolRef RecSym = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
H A DSimpleStreamChecker.cpp113 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall()
132 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall()
H A DExprInspectionChecker.cpp295 if (const SymbolRef Sym = V.getAsSymbol()) in analyzerValue()
380 SymbolRef Sym = Val.getAsSymbol(); in analyzerWarnOnDeadSymbol()
450 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol(); in analyzerDenote()
532 SymbolRef Sym = ArgVal.getAsSymbol(); in analyzerExpress()
H A DNSErrorChecker.cpp185 if (SymbolRef sym = val.getAsSymbol()) in REGISTER_TRAIT_WITH_PROGRAMSTATE()
194 if (SymbolRef sym = val.getAsSymbol()) in setFlag()
H A DContainerModeling.cpp440 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 DBlockInCriticalSectionChecker.cpp143 SymbolRef BlockDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall()
H A DBasicObjCFoundationChecks.cpp949 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty()
1024 SymbolRef ContainerS = M.getReceiverSVal().getAsSymbol(); in checkPostObjCMessage()
1034 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage()
1085 return Message->getReceiverSVal().getAsSymbol(); in getMethodReceiverIfKnownImmutable()
H A DMallocChecker.cpp765 if (Val.getAsSymbol() == Sym) in HandleBinding()
913 if (V.getAsSymbol() == Sym) in maybeEmitNoteForParameters()
2054 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
2662 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2869 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreCall()
2886 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2903 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2912 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
2946 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
3027 if (SymbolRef Sym = C.getSVal(Arg).getAsSymbol()) in suppressDeallocationsInSuspiciousContexts()
[all …]
H A DMIGChecker.cpp122 SymbolRef Sym = V.getAsSymbol(IncludeBaseRegions); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp235 if (SymbolRef sym = V.getAsSymbol()) in processObjCLiterals()
250 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) { in processObjCLiterals()
276 if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) { in checkPostStmt()
292 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt()
480 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in processSummaryOfInlined()
688 if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) { in checkSummary()
1350 SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol(); in checkBeginFunction()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSVals.h169 SymbolRef getAsSymbol(bool IncludeBaseRegions = false) const;
185 const SymExpr *SE = getAsSymbol(/*IncludeBaseRegions=*/true); in symbol_begin()

12