Home
last modified time | relevance | path

Searched refs:addTransition (Results 1 – 25 of 59) sorted by relevance

123

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DSmartPtrModeling.cpp203 C.addTransition(State->BindExpr( in evalCall()
229 C.addTransition( in evalCall()
246 C.addTransition(State, C.getNoteTag([ThisRegion, TrackingExpr, in evalCall()
287 C.addTransition(State); in checkDeadSymbols()
348 C.addTransition( in handleReset()
384 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleRelease()
423 C.addTransition( in handleSwap()
461 C.addTransition(State); in handleGet()
485 C.addTransition(State, C.getNoteTag([ThisRegion](PathSensitiveBugReport &BR, in handleAssignOp()
520 C.addTransition( in updateMovedSmartPointers()
[all …]
H A DNullabilityChecker.cpp431 C.addTransition(State->set<InvariantViolated>(true), N); in checkInvariantViolation()
447 N = C.addTransition(OriginalState, N); in reportBugIfInvariantHolds()
473 C.addTransition(State); in checkDeadSymbols()
554 Context.addTransition(NewState); in checkLocation()
645 C.addTransition(State); in checkPreStmt()
662 ExplodedNode *N = C.addTransition(State, C.getPredecessor(), &Tag); in checkPreStmt()
678 C.addTransition(State); in checkPreStmt()
756 ExplodedNode *N = C.addTransition(State); in checkPreCall()
768 ExplodedNode *N = C.addTransition(State); in checkPreCall()
779 C.addTransition(State); in checkPreCall()
[all …]
H A DStreamChecker.cpp466 C.addTransition(StateNotNull, in evalFopen()
468 C.addTransition(StateNull); in evalFopen()
479 C.addTransition(State); in preFreopen()
522 C.addTransition(StateRetNotNull, in evalFreopen()
524 C.addTransition(StateRetNull); in evalFreopen()
545 C.addTransition(State); in evalFclose()
568 C.addTransition(State); in preFread()
586 C.addTransition(State); in preFwrite()
625 C.addTransition(State); in evalFreadFwrite()
637 C.addTransition(StateNotFailed); in evalFreadFwrite()
[all …]
H A DBuiltinFunctionChecker.cpp61 C.addTransition(state); in evalCall()
77 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
98 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
126 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
H A DContainerModeling.cpp256 C.addTransition(State); in checkDeadSymbols()
278 C.addTransition(State); in handleBegin()
300 C.addTransition(State); in handleEnd()
376 C.addTransition(State); in handleAssignment()
390 C.addTransition(State); in handleAssign()
411 C.addTransition(State); in handleClear()
419 C.addTransition(State, ChangeTag); in handleClear()
434 C.addTransition(State); in handlePushBack()
458 C.addTransition(State, ChangeTag); in handlePushBack()
498 C.addTransition(State, ChangeTag); in handlePopBack()
[all …]
H A DDynamicTypePropagation.cpp246 C.addTransition(State); in checkDeadSymbols()
259 C.addTransition(State); in recordFixedType()
345 C.addTransition(setDynamicTypeInfo(State, RetReg, DynResTy, false)); in checkPostCall()
355 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall()
414 return C.addTransition(State); in dynamicTypePropagationOnCasts()
429 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(), in checkPostStmt()
662 C.addTransition(State, AfterTypeProp); in checkPostStmt()
681 ExplodedNode *N = C.addTransition(State, AfterTypeProp, &IllegalConv); in checkPostStmt()
699 C.addTransition(State, AfterTypeProp); in checkPostStmt()
893 ExplodedNode *N = C.addTransition(State, &Tag); in checkPreObjCMessage()
[all …]
H A DIteratorModeling.cpp211 C.addTransition(State); in checkPostCall()
241 C.addTransition(State); in checkBind()
246 C.addTransition(State); in checkBind()
300 C.addTransition(State); in checkPostStmt()
348 C.addTransition(State); in checkDeadSymbols()
516 C.addTransition(State); in processComparison()
529 C.addTransition(StateTrue); in processComparison()
534 C.addTransition(StateFalse); in processComparison()
561 C.addTransition(State); in handleIncrement()
587 C.addTransition(State); in handleDecrement()
[all …]
H A DObjCSelfInitChecker.cpp122 C.addTransition(state); in addSelfFlag()
255 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
259 C.addTransition(state->set<PreCallSelfFlags>(selfFlags)); in checkPreCall()
297 C.addTransition(state); in checkPostCall()
333 C.addTransition(State); in checkBind()
H A DValistChecker.cpp214 if (ExplodedNode *N = C.addTransition(State)) in checkDeadSymbols()
324 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
332 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
345 if (ExplodedNode *N = C.addTransition(State)) in checkVAListStartCall()
352 C.addTransition(State); in checkVAListStartCall()
375 C.addTransition(State); in checkVAListEndCall()
H A DPthreadLockChecker.cpp440 C.addTransition(lockFail); in AcquireLockAux()
464 C.addTransition(lockSucc); in AcquireLockAux()
516 C.addTransition(state); in ReleaseLockAux()
559 C.addTransition(State); in DestroyLockAux()
569 C.addTransition(State); in DestroyLockAux()
575 C.addTransition(State); in DestroyLockAux()
611 C.addTransition(State); in InitLockAux()
660 C.addTransition(State); in checkDeadSymbols()
H A DMoveChecker.cpp365 C.addTransition(State); in modelUse()
376 C.addTransition(State); in modelUse()
388 C.addTransition(State, N); in modelUse()
487 C.addTransition(State); in checkPostCall()
641 C.addTransition(State); in checkPreCall()
667 C.addTransition(State); in checkPreCall()
693 C.addTransition(State); in checkDeadSymbols()
H A DCXXSelfAssignmentChecker.cpp62 C.addTransition(SelfAssignState, SelfAssignTag); in checkBeginFunction()
72 C.addTransition(NonSelfAssignState, NonSelfAssignTag); in checkBeginFunction()
H A DPointerArithChecker.cpp237 C.addTransition(State); in checkPostStmt()
254 C.addTransition(State); in checkPostStmt()
272 C.addTransition(State); in checkPostStmt()
293 C.addTransition(State); in checkPreStmt()
H A DTrustNonnullChecker.cpp92 C.addTransition(State); in checkPostCall()
130 C.addTransition(State); in checkPostObjCMessage()
139 C.addTransition(State); in checkDeadSymbols()
H A DCastValueChecker.cpp253 C.addTransition( in addCastTransition()
315 C.addTransition( in addInstanceOfTransition()
329 C.addTransition( in addInstanceOfTransition()
359 C.addTransition(State->BindExpr(Call.getOriginExpr(), in evalNullParamNullReturn()
516 C.addTransition(removeDeadCasts(C.getState(), SR)); in checkDeadSymbols()
H A DChrootChecker.cpp85 C.addTransition(state); in evalChroot()
111 C.addTransition(state); in evalChdir()
H A DCStringChecker.cpp1149 C.addTransition(stateZeroSize); in evalCopyCommon()
1223 C.addTransition(state); in evalCopyCommon()
1301 C.addTransition(State); in evalMemcmp()
1328 C.addTransition(State); in evalMemcmp()
1342 C.addTransition(State); in evalMemcmp()
1378 C.addTransition(stateZeroSize); in evalstrLengthCommon()
1474 C.addTransition(state); in evalstrLengthCommon()
1726 C.addTransition(StateZeroSize); in evalStrcpyCommon()
1916 C.addTransition(state); in evalStrcpyCommon()
1988 C.addTransition(StSameBuf); in evalStrcmpCommon()
[all …]
H A DMallocChecker.cpp1021 C.addTransition(State); in checkBasicAlloc()
1034 C.addTransition(State); in checkKernelMalloc()
1078 C.addTransition(State); in checkRealloc()
1087 C.addTransition(State); in checkCalloc()
1097 C.addTransition(State); in checkFree()
1106 C.addTransition(State); in checkAlloca()
1117 C.addTransition(State); in checkStrdup()
1128 C.addTransition(State); in checkIfNameIndex()
1137 C.addTransition(State); in checkIfFreeNameIndex()
1178 C.addTransition(State); in checkCXXNewOrCXXDelete()
[all …]
H A DVLASizeChecker.cpp284 C.addTransition(State); in checkPreStmt()
296 C.addTransition(State); in checkPreStmt()
321 C.addTransition(State); in checkPreStmt()
H A DReturnValueChecker.cpp114 C.addTransition(State, CallTag); in checkPostCall()
161 C.addTransition(State, CallTag); in checkEndFunction()
H A DInnerPointerChecker.cpp155 C.addTransition(State); in markPtrSymbolsReleased()
252 C.addTransition(State); in checkPostCall()
284 C.addTransition(State); in checkDeadSymbols()
H A DBlockInCriticalSectionChecker.cpp156 C.addTransition(State); in checkPostCall()
159 C.addTransition(State); in checkPostCall()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp48 Ctx.addTransition(ErrorNode->getState(), ErrorNode); in checkDoubleNonblocking()
53 Ctx.addTransition(State); in checkDoubleNonblocking()
95 Ctx.addTransition(State); in checkUnmatchedWaits()
97 Ctx.addTransition(State, ErrorNode); in checkUnmatchedWaits()
129 Ctx.addTransition(State); in checkMissingWaits()
131 Ctx.addTransition(State, ErrorNode); in checkMissingWaits()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp179 C.addTransition(state); in checkPostStmt()
226 C.addTransition(state); in checkPostStmt()
256 C.addTransition(state); in processObjCLiterals()
282 C.addTransition(State); in checkPostStmt()
322 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
330 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
335 C.addTransition(State); in checkPostStmt()
485 C.addTransition(state); in processSummaryOfInlined()
704 C.addTransition(St, C.getPredecessor(), &getDeallocSentTag()); in checkSummary()
706 C.addTransition(St); in checkSummary()
[all …]
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DCheckerContext.h166 ExplodedNode *addTransition(ProgramStateRef State = nullptr,
178 ExplodedNode *addTransition(ProgramStateRef State, ExplodedNode *Pred,
196 addTransition(State, generateSink(State, getPredecessor()));
222 return addTransition(State, (Tag ? Tag : Location.getTag()));
238 return addTransition(State, Pred, (Tag ? Tag : Location.getTag()));

123