Home
last modified time | relevance | path

Searched refs:getState (Results 1 – 25 of 111) sorted by relevance

12345

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DObjCSuperDeallocChecker.cpp85 ProgramStateRef State = C.getState(); in checkPreObjCMessage()
118 ProgramStateRef State = C.getState(); in checkPostObjCMessage()
136 ProgramStateRef State = C.getState(); in checkLocation()
202 ProgramStateRef State = C.getState(); in diagnoseCallArguments()
240 ASTContext &Ctx = M.getState()->getStateManager().getContext(); in isSuperDeallocMessage()
253 ProgramStateRef State = Succ->getState(); in VisitNode()
256 Succ->getState()->contains<CalledSuperDealloc>(ReceiverSymbol); in VisitNode()
258 Succ->getFirstPred()->getState()->contains<CalledSuperDealloc>( in VisitNode()
H A DVforkChecker.cpp123 if (ExplodedNode *N = C.generateErrorNode(C.getState())) { in reportBug()
147 ProgramStateRef State = C.getState(); in checkPostCall()
176 std::tie(ParentState, ChildState) = C.getState()->assume(*DVal); in checkPostCall()
185 ProgramStateRef State = C.getState(); in checkPreCall()
194 ProgramStateRef State = C.getState(); in checkBind()
211 ProgramStateRef State = C.getState(); in checkPreStmt()
H A DValistChecker.cpp146 if (C.getState()->contains<InitializedVALists>(VAList)) in checkPreCall()
178 Reg = C.getState()->getSVal(SV.castAs<Loc>()).getAsRegion(); in getVAListAsRegion()
188 ProgramStateRef State = C.getState(); in checkPreStmt()
205 ProgramStateRef State = C.getState(); in checkDeadSymbols()
232 ProgramStateRef State = N->getState(); in getStartCallSite()
316 ProgramStateRef State = C.getState(); in checkVAListStartCall()
368 if (!C.getState()->contains<InitializedVALists>(VAList)) { in checkVAListEndCall()
373 ProgramStateRef State = C.getState(); in checkVAListEndCall()
380 ProgramStateRef State = N->getState(); in VisitNode()
381 ProgramStateRef StatePrev = N->getFirstPred()->getState(); in VisitNode()
H A DInvalidatedIteratorChecker.cpp80 ProgramStateRef State = C.getState(); in checkPreStmt()
91 ProgramStateRef State = C.getState(); in checkPreStmt()
102 ProgramStateRef State = C.getState(); in checkPreStmt()
112 ProgramStateRef State = C.getState(); in checkPreStmt()
118 auto State = C.getState(); in verifyAccess()
H A DPointerArithChecker.cpp108 ProgramStateRef State = C.getState(); in getPointedRegion()
130 ProgramStateRef State = C.getState(); in getArrayRegion()
155 ProgramStateRef State = C.getState(); in reportPointerArithMisuse()
219 ProgramStateRef State = C.getState(); in checkPostStmt()
248 ProgramStateRef State = C.getState(); in checkPostStmt()
263 ProgramStateRef State = C.getState(); in checkPostStmt()
281 ProgramStateRef State = C.getState(); in checkPreStmt()
325 ProgramStateRef State = C.getState(); in checkPreStmt()
H A DExprInspectionChecker.cpp132 ProgramStateRef State = N->getState(); in getArgumentValueString()
278 ProgramStateRef State = C.getState(); in analyzerGetExtent()
292 getDynamicExtent(C.getState(), MR, C.getSValBuilder()); in analyzerDumpExtent()
317 getDynamicElementCount(C.getState(), MR, C.getSValBuilder(), ElementTy); in analyzerDumpElementCount()
327 C.getState()->dump(); in analyzerPrintState()
341 ProgramStateRef State = C.getState(); in analyzerWarnOnDeadSymbol()
348 ProgramStateRef State = C.getState(); in checkDeadSymbols()
419 ProgramStateRef State = C.getState(); in analyzerDenote()
421 C.addTransition(C.getState()->set<DenotedSymbols>(Sym, E)); in analyzerDenote()
487 SymbolExpressor V(C.getState()); in analyzerExpress()
[all …]
H A DStreamChecker.cpp403 ProgramStateRef State = N->getState(); in getAcquisitionSite()
411 State = N->getState(); in getAcquisitionSite()
444 ProgramStateRef State = C.getState(); in evalFopen()
474 ProgramStateRef State = C.getState(); in preFreopen()
485 ProgramStateRef State = C.getState(); in evalFreopen()
529 ProgramStateRef State = C.getState(); in evalFclose()
550 ProgramStateRef State = C.getState(); in preFread()
574 ProgramStateRef State = C.getState(); in preFwrite()
592 ProgramStateRef State = C.getState(); in evalFreadFwrite()
672 ProgramStateRef State = C.getState(); in preFseek()
[all …]
H A DObjCSelfInitChecker.cpp114 return getSelfFlags(val, C.getState()); in getSelfFlags()
148 if (!C.getState()->get<CalledInit>()) in checkForInvalidSelf()
178 ProgramStateRef state = C.getState(); in checkPostObjCMessage()
244 ProgramStateRef state = C.getState(); in checkPreCall()
272 ProgramStateRef state = C.getState(); in checkPostCall()
309 ProgramStateRef state = C.getState(); in checkLocation()
329 ProgramStateRef State = C.getState(); in checkBind()
H A DMIGChecker.cpp191 C.addTransition(C.getState()->add<RefCountedParameters>(PVD)); in checkPostCall()
206 ProgramStateRef State = C.getState(); in checkPostCall()
228 ProgramStateRef State = C.getState(); in mayBeSuccess()
239 V = SVB.evalEQ(C.getState(), V, SVB.makeIntVal(MigNoReply, ACtx.IntTy)); in mayBeSuccess()
267 ProgramStateRef State = C.getState(); in checkReturnAux()
H A DReturnValueChecker.cpp79 return C.getState()->isNull(*ReturnDV).isConstrainedTrue(); in isInvariantBreak()
81 return C.getState()->isNull(*ReturnDV).isConstrainedFalse(); in isInvariantBreak()
112 ProgramStateRef State = C.getState(); in checkPostCall()
127 ProgramStateRef State = C.getState(); in checkEndFunction()
H A DIteratorModeling.cpp198 auto State = C.getState(); in checkPostCall()
237 auto State = C.getState(); in checkBind()
265 const ProgramStateRef State = C.getState(); in checkPostStmt()
295 auto State = C.getState(); in checkPostStmt()
327 auto State = C.getState(); in checkDeadSymbols()
457 auto State = C.getState(); in handleComparison()
542 auto State = C.getState(); in handleIncrement()
568 auto State = C.getState(); in handleDecrement()
597 auto State = C.getState(); in handleRandomIncrOrDecr()
641 ProgramStateRef State = C.getState(); in handlePtrIncrOrDecr()
[all …]
H A DFuchsiaHandleChecker.cpp234 ProgramStateRef State = N->getState(); in REGISTER_MAP_WITH_PROGRAMSTATE()
242 State = N->getState(); in REGISTER_MAP_WITH_PROGRAMSTATE()
244 const HandleState *HState = Pred->getState()->get<HStateMap>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE()
258 ProgramStateRef getState() const { return State; } in getState() function in __anon839dddbd0211::FuchsiaHandleSymbolVisitor
322 ProgramStateRef State = C.getState(); in checkPreCall()
374 ProgramStateRef State = C.getState(); in checkPostCall()
508 ProgramStateRef State = C.getState(); in checkDeadSymbols()
616 ExplodedNode *ErrNode = C.generateNonFatalErrorNode(C.getState(), Pred); in reportLeaks()
627 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportDoubleRelease()
635 ExplodedNode *ErrNode = C.generateErrorNode(C.getState()); in reportUnownedRelease()
[all …]
H A DIteratorRangeChecker.cpp149 ProgramStateRef State = C.getState(); in checkPreStmt()
164 ProgramStateRef State = C.getState(); in checkPreStmt()
181 ProgramStateRef State = C.getState(); in checkPreStmt()
191 ProgramStateRef State = C.getState(); in checkPreStmt()
198 auto State = C.getState(); in verifyDereference()
224 auto State = C.getState(); in verifyRandomIncrOrDecr()
284 const auto *Pos = getIteratorPosition(C.getState(), Val); in reportBug()
H A DMallocChecker.cpp867 ProgramStateRef getState() const { return state; } in getState() function in __anon093a02e60511::StopTrackingCallback
1009 ProgramStateRef State = C.getState(); in evalMulForBufferSize()
1017 ProgramStateRef State = C.getState(); in checkBasicAlloc()
1026 ProgramStateRef State = C.getState(); in checkKernelMalloc()
1075 ProgramStateRef State = C.getState(); in checkRealloc()
1083 ProgramStateRef State = C.getState(); in checkCalloc()
1091 ProgramStateRef State = C.getState(); in checkFree()
1102 ProgramStateRef State = C.getState(); in checkAlloca()
1111 ProgramStateRef State = C.getState(); in checkStrdup()
1122 ProgramStateRef State = C.getState(); in checkIfNameIndex()
[all …]
H A DNoReturnFunctionChecker.cpp84 C.generateSink(C.getState(), C.getPredecessor()); in checkPostCall()
93 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
139 C.generateSink(C.getState(), C.getPredecessor()); in checkPostObjCMessage()
H A DContainerModeling.cpp243 auto State = C.getState(); in checkDeadSymbols()
269 auto State = C.getState(); in handleBegin()
291 auto State = C.getState(); in handleEnd()
313 auto State = C.getState(); in handleAssignment()
388 auto State = C.getState(); in handleAssign()
403 auto State = C.getState(); in handleClear()
431 auto State = C.getState(); in handlePushBack()
470 auto State = C.getState(); in handlePopBack()
511 auto State = C.getState(); in handlePushFront()
545 auto State = C.getState(); in handlePopFront()
[all …]
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp40 ProgramStateRef State = Ctx.getState(); in checkDoubleNonblocking()
48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking()
75 ProgramStateRef State = Ctx.getState(); in checkUnmatchedWaits()
86 State = ErrorNode->getState(); in checkUnmatchedWaits()
103 ProgramStateRef State = Ctx.getState(); in checkMissingWaits()
118 State = ErrorNode->getState(); in checkMissingWaits()
165 Ctx.getState(), SuperRegion, Ctx.getSValBuilder(), in allRegionsUsedByWait()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h51 assert(Pred->getState() && in Eng()
71 const ProgramStateRef &getState() const { return Pred->getState(); } in getState() function
168 return addTransitionImpl(State ? State : getState(), false, nullptr, Tag);
188 return addTransitionImpl(State ? State : getState(), true, Pred, Tag);
195 State = getState();
390 if (!State || (State == Pred->getState() && !Tag && !MarkAsSink))
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DExprEngineObjC.cpp24 ProgramStateRef state = Pred->getState(); in VisitLvalObjCIvarRefExpr()
53 ProgramStateRef state = Pred->getState(); in populateObjCForDestinationSet()
113 ProgramStateRef state = Pred->getState(); in VisitObjCForCollectionStmt()
152 CEMgr.getObjCMethodCall(ME, Pred->getState(), Pred->getLocationContext()); in VisitObjCMessage()
189 ProgramStateRef State = Pred->getState(); in VisitObjCMessage()
244 ProgramStateRef State = Pred->getState(); in VisitObjCMessage()
263 Bldr.generateSink(ME, Pred, Pred->getState()); in VisitObjCMessage()
H A DExprEngine.cpp705 ProgramStateRef CleanedState = Pred->getState(); in removeDead()
748 ProgramStateRef CheckerState = I->getState(); in removeDead()
754 assert(StateMgr.haveEqualEnvironments(CheckerState, Pred->getState()) && in removeDead()
757 assert(StateMgr.haveEqualStores(CheckerState, Pred->getState()) && in removeDead()
806 ProgramStateRef NewState = Pred->getState(); in ProcessLoopExit()
831 ProgramStateRef State = Pred->getState(); in ProcessInitializer()
897 ProgramStateRef State = I->getState(); in ProcessInitializer()
946 Bldr.generateNode(PP, Pred->getState(), Pred); in ProcessNewAllocator()
957 ProgramStateRef state = Pred->getState(); in ProcessAutomaticObjDtor()
988 ProgramStateRef State = Pred->getState(); in ProcessDeleteDtor()
[all …]
H A DExprEngineC.cpp56 ProgramStateRef state = (*it)->getState(); in VisitBinaryOperator()
139 state = (*I)->getState(); in VisitBinaryOperator()
207 ProgramStateRef State = Pred->getState(); in VisitBlockExpr()
311 ProgramStateRef state = subExprNode->getState(); in VisitCast()
330 ProgramStateRef state = Pred->getState(); in VisitCast()
357 ProgramStateRef state = Pred->getState(); in VisitCast()
559 ProgramStateRef State = Pred->getState(); in VisitCompoundLiteralExpr()
611 ProgramStateRef state = N->getState(); in VisitDeclStmt()
676 ProgramStateRef state = Pred->getState(); in VisitLogicalExpr()
732 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext()); in VisitLogicalExpr()
[all …]
H A DCallEvent.cpp71 ASTContext &Ctx = getState()->getStateManager().getContext(); in getResultType()
253 ProgramStateRef Result = (Orig ? Orig : getState()); in invalidateRegions()
343 CD.II = &getState()->getStateManager().getContext().Idents.get( in isCalled()
405 ASTContext &Ctx = getState()->getStateManager().getContext(); in dump()
527 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getReturnValueUnderConstruction()
529 Engine.computeObjectUnderConstruction(getOriginExpr(), getState(), in getReturnValueUnderConstruction()
563 ExprEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
591 SValBuilder &SVB = getState()->getStateManager().getSValBuilder(); in getInitialStackFrameContents()
736 DynamicTypeInfo DynType = getDynamicTypeInfo(getState(), R); in getRuntimeDefinition()
791 ProgramStateManager &StateMgr = getState()->getStateManager(); in getInitialStackFrameContents()
[all …]
H A DBugReporterVisitors.cpp163 return N->getState() in getLocationRegionIfReference()
200 LLCV->getStore() == LeftNode->getState()->getStore() && in hasVisibleUpdate()
201 RLCV->getStore() == RightNode->getState()->getStore(); in hasVisibleUpdate()
206 ProgramStateRef State = N->getState(); in getSValForVar()
289 ProgramStateRef State = N->getState(); in wasRegionOfInterestModifiedAt()
290 ProgramStateManager &Mgr = N->getState()->getStateManager(); in wasRegionOfInterestModifiedAt()
304 SVal ValueAtN = N->getState()->getSVal(RegionOfInterest); in wasRegionOfInterestModifiedAt()
571 ProgramStateRef State = N->getState(); in VisitNode()
641 ProgramStateRef LastReturnState = N->getState(); in findModifyingFrames()
647 ProgramStateRef State = N->getState(); in findModifyingFrames()
[all …]
H A DExprEngineCXX.cpp31 ProgramStateRef state = Pred->getState(); in CreateCXXTemporaryObject()
78 V = Pred->getState()->getSVal(*L); in performTrivialCopy()
88 ProgramStateRef State = (*I)->getState(); in performTrivialCopy()
467 ProgramStateRef State = Pred->getState(); in handleConstructor()
560 if (State != Pred->getState()) { in handleConstructor()
590 ProgramStateRef State = (*I)->getState(); in handleConstructor()
663 Bldr.generateSink(E, N, N->getState()); in handleConstructor()
707 ProgramStateRef State = Pred->getState(); in VisitCXXDestructor()
721 Bldr.generateNode(PP, Pred->getState(), Pred); in VisitCXXDestructor()
738 Pred->getState(), Pred); in VisitCXXDestructor()
[all …]
/netbsd-src/external/apache2/llvm/dist/llvm/include/llvm/Analysis/
H A DTargetLibraryInfo.h65 AvailabilityState getState(LibFunc F) const { in getState() function
305 TargetLibraryInfoImpl::AvailabilityState getState(LibFunc F) const { in getState() function
308 return Impl->getState(F); in getState()
313 return getState(F) != TargetLibraryInfoImpl::Unavailable; in has()
328 if (getState(F) == TargetLibraryInfoImpl::Unavailable) in hasOptimizedCodeGen()
359 auto State = getState(F); in getName()

12345