| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 75 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), in VisitBinaryOperator()
105 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
185 state = state->BindExpr(B, LCtx, location); in VisitBinaryOperator()
187 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
251 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
277 state = state->BindExpr(CastE, LCtx, V); in handleLValueBitCast()
328 State = State->BindExpr(CastE, LCtx, CastedV); in VisitCast()
375 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
386 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
404 state = state->BindExpr(CastE, LCtx, UnknownVal()); in VisitCast()
[all …]
|
| H A D | ExprEngine.cpp | 389 State = State->BindExpr(Result, LC, *V); in createTemporaryRegionIfNeeded()
463 State = State->BindExpr(Result, LC, Reg); in createTemporaryRegionIfNeeded()
465 State = State->BindExpr(Result, LC, InitValWithAdjustments); in createTemporaryRegionIfNeeded()
1886 state = state->BindExpr( in Visit()
2019 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit()
2053 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
2130 state->BindExpr(B, Pred->getLocationContext(), in Visit()
2402 state->BindExpr(SE, Pred->getLocationContext(), in Visit()
2430 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit()
2434 state->BindExpr(S, Pred->getLocationContext(), in Visit()
[all …]
|
| H A D | ExprEngineCXX.cpp | 103 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
543 return State->BindExpr(Ctor->getArg(0), LCtx, in bindRequiredArrayElementToEnvironment()
569 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in handleConstructor()
1065 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); in VisitCXXNewExpr()
1082 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
1152 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
1222 State->BindExpr(LE, LocCtxt, LambdaRVal), in VisitLambdaExpr()
|
| H A D | ExprEngineCallAndReturn.cpp | 308 state = state->BindExpr(CE, callerCtx, V); in processCallExit()
317 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit()
757 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
763 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()
826 return State->BindExpr(E, LCtx, R); in bindReturnValue()
|
| H A D | ExprEngineObjC.cpp | 31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
|
| H A D | ProgramState.cpp | 301 ProgramStateRef ProgramState::BindExpr(const Stmt *S, in BindExpr() function in ProgramState
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ErrnoTesterChecker.cpp | 100 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), *ErrnoVal); in evalGetErrno()
110 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoIfError()
114 ProgramStateRef StateFailure = State->BindExpr( in evalSetErrnoIfError()
127 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoIfErrorRange()
131 ProgramStateRef StateFailure = State->BindExpr( in evalSetErrnoIfErrorRange()
148 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoCheckState()
152 ProgramStateRef StateFailure1 = State->BindExpr( in evalSetErrnoCheckState()
156 ProgramStateRef StateFailure2 = State->BindExpr( in evalSetErrnoCheckState()
|
| H A D | SmartPtrModeling.cpp | 362 C.addTransition(State->BindExpr( in evalCall()
507 TrueState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(true))); in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
512 C.addTransition(State->BindExpr(ResultExpr, LCtx, RetVal)); in handleComparisionOp()
536 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), StreamVal); in handleOstreamOperator()
642 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease()
726 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
860 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
866 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
873 State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
[all …]
|
| H A D | StreamChecker.cpp | 237 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
245 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
687 return State->BindExpr(CE, C.getLocationContext(), RetVal); in makeAndBindRetVal()
692 return State->BindExpr(CE, C.getLocationContext(), in bindReturnValue()
698 return State->BindExpr(CE, C.getLocationContext(), Val); in bindReturnValue()
703 return State->BindExpr(CE, C.getLocationContext(), in bindNullReturnValue()
720 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in makeRetValAndAssumeDual()
938 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFopen()
999 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
1003 State->BindExpr(CE, C.getLocationContext(), in evalFreopen()
[all …]
|
| H A D | BuiltinFunctionChecker.cpp | 184 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in initStateAftetBuiltinOverflow()
261 C.addTransition(state->BindExpr(CE, LCtx, Call.getArgSVal(0))); in evalCall()
313 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
341 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
|
| H A D | DebugContainerModeling.cpp | 87 State = State->BindExpr(CE, C.getLocationContext(), in analyzerContainerDataField()
108 State = State->BindExpr(CE, C.getLocationContext(), in analyzerContainerDataField()
|
| H A D | DebugIteratorModeling.cpp | 88 State = State->BindExpr(CE, C.getLocationContext(), get(Pos)); in analyzerIteratorDataField()
90 State = State->BindExpr(CE, C.getLocationContext(), Default); in analyzerIteratorDataField()
|
| H A D | ChrootChecker.cpp | 85 ProgramStateRef ChrootFailed = State->BindExpr(CE, LCtx, Minus1); in evalChroot()
88 ProgramStateRef ChrootSucceeded = State->BindExpr(CE, LCtx, Zero); in evalChroot()
|
| H A D | CastValueChecker.cpp | 255 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), V, false), in addCastTransition()
317 NewState->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in addInstanceOfTransition()
331 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in addInstanceOfTransition()
360 C.addTransition(State->BindExpr(Call.getOriginExpr(), in evalNullParamNullReturn()
|
| H A D | STLAlgorithmModeling.cpp | 141 auto StateFound = State->BindExpr(CE, LCtx, RetVal); in Find()
188 auto StateNotFound = State->BindExpr(CE, LCtx, Param); in Find()
|
| H A D | CStringChecker.cpp | 1465 stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
1519 state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement); in evalCopyCommon()
1523 state = state->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
1625 State = State->BindExpr(Call.getOriginExpr(), LCtx, in evalMemcmp()
1652 State = SameBuffer->BindExpr(Call.getOriginExpr(), LCtx, in evalMemcmp()
1667 State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV); in evalMemcmp()
1704 stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero); in evalstrLengthCommon()
1798 state = state->BindExpr(Call.getOriginExpr(), LCtx, result); in evalstrLengthCommon()
2048 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal); in evalStrcpyCommon()
2052 StateZeroSize = StateZeroSize->BindExpr(Call.getOriginExpr(), in evalStrcpyCommon()
[all …]
|
| H A D | ErrnoModeling.cpp | 151 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in evalCall()
|
| H A D | CallAndMessageChecker.cpp | 686 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V)); in HandleNilReceiver()
724 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V)); in HandleNilReceiver()
|
| H A D | ExprInspectionChecker.cpp | 332 State = State->BindExpr(CE, C.getLocationContext(), Size); in analyzerGetExtent()
|
| H A D | IteratorModeling.cpp | 502 State = State->BindExpr(CE, LCtx, RetVal); in handleComparison()
|
| H A D | MallocChecker.cpp | 1438 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in checkCXXNewOrCXXDelete()
1897 return State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocBindRetVal()
|
| H A D | StdLibraryFunctionsChecker.cpp | 1483 State = State->BindExpr(CE, LC, V); in evalCall()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 211 State = State->BindExpr(CE, LCtx, RetVal); in postPreviousReturnInvalidatingCall()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 937 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false); in evalCall()
944 NullOutputState = NullOutputState->BindExpr( in evalCall()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 279 [[nodiscard]] ProgramStateRef BindExpr(const Stmt *S,
|