Home
last modified time | relevance | path

Searched refs:BindExpr (Results 1 – 22 of 22) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp74 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), in VisitBinaryOperator()
102 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
181 state = state->BindExpr(B, LCtx, location); in VisitBinaryOperator()
183 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
247 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
273 state = state->BindExpr(CastE, LCtx, V); in handleLValueBitCast()
339 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
350 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
368 state = state->BindExpr(CastE, LCtx, UnknownVal()); in VisitCast()
416 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
[all …]
H A DExprEngine.cpp388 State = State->BindExpr(Result, LC, *V); in createTemporaryRegionIfNeeded()
462 State = State->BindExpr(Result, LC, Reg); in createTemporaryRegionIfNeeded()
464 State = State->BindExpr(Result, LC, InitValWithAdjustments); in createTemporaryRegionIfNeeded()
1872 state = state->BindExpr( in Visit()
1998 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit()
2032 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
2109 state->BindExpr(B, Pred->getLocationContext(), in Visit()
2381 state->BindExpr(SE, Pred->getLocationContext(), in Visit()
2409 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit()
2413 state->BindExpr(S, Pred->getLocationContext(), in Visit()
[all …]
H A DExprEngineCXX.cpp93 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
579 return State->BindExpr(CE->getArg(0), LCtx, NthElem); in bindRequiredArrayElementToEnvironment()
604 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in handleConstructor()
1093 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); in VisitCXXNewExpr()
1110 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
1180 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
1250 State->BindExpr(LE, LocCtxt, LambdaRVal), in VisitLambdaExpr()
H A DExprEngineCallAndReturn.cpp313 state = state->BindExpr(CE, callerCtx, V); in processCallExit()
322 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit()
756 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
762 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()
826 return State->BindExpr(E, LCtx, R); in bindReturnValue()
H A DProgramState.cpp315 ProgramStateRef ProgramState::BindExpr(const Stmt *S, in BindExpr() function in ProgramState
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp100 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()
149 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoCheckState()
153 ProgramStateRef StateFailure1 = State->BindExpr( in evalSetErrnoCheckState()
157 ProgramStateRef StateFailure2 = State->BindExpr( in evalSetErrnoCheckState()
H A DBuiltinFunctionChecker.cpp81 C.addTransition(state->BindExpr(CE, LCtx, Call.getArgSVal(0))); in evalCall()
121 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
149 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
H A DSmartPtrModeling.cpp365 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()
861 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
867 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
874 State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
[all …]
H A DStreamChecker.cpp239 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
247 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
680 return State->BindExpr(CE, C.getLocationContext(), RetVal); in makeAndBindRetVal()
685 return State->BindExpr(CE, C.getLocationContext(), in bindReturnValue()
691 return State->BindExpr(CE, C.getLocationContext(), Val); in bindReturnValue()
696 return State->BindExpr(CE, C.getLocationContext(), in bindNullReturnValue()
713 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in makeRetValAndAssumeDual()
901 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFopen()
960 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
964 State->BindExpr(CE, C.getLocationContext(), in evalFreopen()
[all …]
H A DDebugContainerModeling.cpp87 State = State->BindExpr(CE, C.getLocationContext(), in analyzerContainerDataField()
108 State = State->BindExpr(CE, C.getLocationContext(), in analyzerContainerDataField()
H A DDebugIteratorModeling.cpp88 State = State->BindExpr(CE, C.getLocationContext(), get(Pos)); in analyzerIteratorDataField()
90 State = State->BindExpr(CE, C.getLocationContext(), Default); in analyzerIteratorDataField()
H A DSTLAlgorithmModeling.cpp138 auto StateFound = State->BindExpr(CE, LCtx, RetVal); in Find()
185 auto StateNotFound = State->BindExpr(CE, LCtx, Param); in Find()
H A DCastValueChecker.cpp255 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 DCStringChecker.cpp1459 stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
1514 state = state->BindExpr(Call.getOriginExpr(), LCtx, lastElement); in evalCopyCommon()
1518 state = state->BindExpr(Call.getOriginExpr(), LCtx, destVal); in evalCopyCommon()
1620 State = State->BindExpr(Call.getOriginExpr(), LCtx, in evalMemcmp()
1647 State = SameBuffer->BindExpr(Call.getOriginExpr(), LCtx, in evalMemcmp()
1663 State = State->BindExpr(Call.getOriginExpr(), LCtx, CmpV); in evalMemcmp()
1700 stateZeroSize = stateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, zero); in evalstrLengthCommon()
1796 state = state->BindExpr(Call.getOriginExpr(), LCtx, result); in evalstrLengthCommon()
2046 StateZeroSize->BindExpr(Call.getOriginExpr(), LCtx, DstVal); in evalStrcpyCommon()
2050 StateZeroSize = StateZeroSize->BindExpr(Call.getOriginExpr(), in evalStrcpyCommon()
[all …]
H A DErrnoModeling.cpp153 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in evalCall()
H A DIteratorModeling.cpp498 State = State->BindExpr(CE, LCtx, RetVal); in handleComparison()
H A DMallocChecker.cpp1775 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
H A DStdLibraryFunctionsChecker.cpp1480 State = State->BindExpr(CE, LC, V); in evalCall()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp211 State = State->BindExpr(CE, LCtx, RetVal); in postPreviousReturnInvalidatingCall()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp939 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false); in evalCall()
946 NullOutputState = NullOutputState->BindExpr( in evalCall()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h280 [[nodiscard]] ProgramStateRef BindExpr(const Stmt *S,
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DSemaCast.cpp3382 if (auto *BindExpr = dyn_cast<CXXBindTemporaryExpr>(SubExpr)) in BuildCXXFunctionalCastExpr() local
3383 SubExpr = BindExpr->getSubExpr(); in BuildCXXFunctionalCastExpr()