/netbsd/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/ |
H A D | SmartPtrModeling.cpp | 203 C.addTransition(State->BindExpr( in evalCall() 229 C.addTransition( in evalCall() 287 C.addTransition(State); in checkDeadSymbols() 348 C.addTransition( in handleReset() 423 C.addTransition( in handleSwap() 461 C.addTransition(State); in handleGet() 520 C.addTransition( in updateMovedSmartPointers() 589 C.addTransition(State); in handleBoolConversion() 595 C.addTransition(State); in handleBoolConversion() 598 C.addTransition( in handleBoolConversion() [all …]
|
H A D | NullabilityChecker.cpp | 473 C.addTransition(State); in checkDeadSymbols() 645 C.addTransition(State); in checkPreStmt() 678 C.addTransition(State); in checkPreStmt() 779 C.addTransition(State); in checkPreCall() 811 C.addTransition(State); in checkPostCall() 821 C.addTransition(State); in checkPostCall() 964 C.addTransition(State); in checkPostObjCMessage() 1015 C.addTransition(State); in checkPostStmt() 1022 C.addTransition(State); in checkPostStmt() 1159 C.addTransition(State); in checkBind() [all …]
|
H A D | StreamChecker.cpp | 479 C.addTransition(State); in preFreopen() 545 C.addTransition(State); in evalFclose() 568 C.addTransition(State); in preFread() 586 C.addTransition(State); in preFwrite() 625 C.addTransition(State); in evalFreadFwrite() 684 C.addTransition(State); in preFseek() 746 C.addTransition(State); in evalClearerr() 800 C.addTransition(State); in preDefault() 813 C.addTransition(State); in evalSetFeofFerror() 963 C.addTransition(State); in reportFEofWarning() [all …]
|
H A D | BuiltinFunctionChecker.cpp | 61 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 D | ContainerModeling.cpp | 256 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() 434 C.addTransition(State); in handlePushBack() 514 C.addTransition(State); in handlePushFront() 635 C.addTransition(State); in handleErase() 671 C.addTransition(State); in handleErase() 692 C.addTransition(State); in handleEraseAfter() [all …]
|
H A D | DynamicTypePropagation.cpp | 246 C.addTransition(State); in checkDeadSymbols() 259 C.addTransition(State); in recordFixedType() 355 C.addTransition(setDynamicTypeInfo(State, RetReg, RecDynType)); in checkPostCall() 414 return C.addTransition(State); in dynamicTypePropagationOnCasts() 662 C.addTransition(State, AfterTypeProp); in checkPostStmt() 699 C.addTransition(State, AfterTypeProp); in checkPostStmt() 893 ExplodedNode *N = C.addTransition(State, &Tag); in checkPreObjCMessage() 940 C.addTransition(State); in checkPostObjCMessage() 963 C.addTransition(State); in checkPostObjCMessage() 1007 Pred = C.addTransition(State); in checkPostObjCMessage() [all …]
|
H A D | IteratorModeling.cpp | 211 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() 561 C.addTransition(State); in handleIncrement() 587 C.addTransition(State); in handleDecrement() 623 C.addTransition(State); in handleRandomIncrOrDecr() 667 C.addTransition(NewState); in handlePtrIncrOrDecr() [all …]
|
H A D | ObjCSelfInitChecker.cpp | 122 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 D | ValistChecker.cpp | 214 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 D | PthreadLockChecker.cpp | 440 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 D | MoveChecker.cpp | 365 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 D | CXXSelfAssignmentChecker.cpp | 62 C.addTransition(SelfAssignState, SelfAssignTag); in checkBeginFunction() 72 C.addTransition(NonSelfAssignState, NonSelfAssignTag); in checkBeginFunction()
|
H A D | PointerArithChecker.cpp | 237 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 D | TrustNonnullChecker.cpp | 92 C.addTransition(State); in checkPostCall() 130 C.addTransition(State); in checkPostObjCMessage() 139 C.addTransition(State); in checkDeadSymbols()
|
H A D | ChrootChecker.cpp | 85 C.addTransition(state); in evalChroot() 111 C.addTransition(state); in evalChdir()
|
H A D | CastValueChecker.cpp | 253 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 D | CStringChecker.cpp | 1223 C.addTransition(state); in evalCopyCommon() 1301 C.addTransition(State); in evalMemcmp() 1474 C.addTransition(state); in evalstrLengthCommon() 1916 C.addTransition(state); in evalStrcpyCommon() 2067 C.addTransition(state); in evalStrcmpCommon() 2126 C.addTransition(State); in evalStrsep() 2164 C.addTransition(State); in evalStdCopyCommon() 2214 C.addTransition(State); in evalMemset() 2257 C.addTransition(State); in evalBzero() 2349 C.addTransition(state); in checkPreStmt() [all …]
|
H A D | ReturnValueChecker.cpp | 114 C.addTransition(State, CallTag); in checkPostCall() 161 C.addTransition(State, CallTag); in checkEndFunction()
|
H A D | VLASizeChecker.cpp | 284 C.addTransition(State); in checkPreStmt() 296 C.addTransition(State); in checkPreStmt() 321 C.addTransition(State); in checkPreStmt()
|
H A D | MallocChecker.cpp | 1021 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 D | InnerPointerChecker.cpp | 155 C.addTransition(State); in markPtrSymbolsReleased() 252 C.addTransition(State); in checkPostCall() 284 C.addTransition(State); in checkDeadSymbols()
|
H A D | BlockInCriticalSectionChecker.cpp | 156 C.addTransition(State); in checkPostCall() 159 C.addTransition(State); in checkPostCall()
|
/netbsd/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
H A D | MPIChecker.cpp | 48 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/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
H A D | RetainCountChecker.cpp | 179 C.addTransition(state); in checkPostStmt() 226 C.addTransition(state); in checkPostStmt() 256 C.addTransition(state); in processObjCLiterals() 282 C.addTransition(State); in checkPostStmt() 335 C.addTransition(State); in checkPostStmt() 485 C.addTransition(state); in processSummaryOfInlined() 706 C.addTransition(St); in checkSummary() 959 C.addTransition(state); in evalCall() 1146 C.addTransition(state); in checkBind() 1364 Ctx.addTransition(state); in checkBeginFunction() [all …]
|
/netbsd/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 166 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()));
|