Home
last modified time | relevance | path

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

/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp102 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
186 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
277 state = state->BindExpr(CastE, LCtx, V); in handleLValueBitCast()
347 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
424 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
464 state = state->BindExpr(CastE, LCtx, in VisitCast()
504 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
771 state->BindExpr(IE, LCtx, in VisitInitListExpr()
1033 state = state->BindExpr( in VisitUnaryOperator()
1038 state = state->BindExpr(U, LCtx, in VisitUnaryOperator()
[all …]
H A DExprEngine.cpp387 State = State->BindExpr(Result, LC, *V); in createTemporaryRegionIfNeeded()
457 State = State->BindExpr(Result, LC, Reg); in createTemporaryRegionIfNeeded()
459 State = State->BindExpr(Result, LC, InitValWithAdjustments); in createTemporaryRegionIfNeeded()
1845 state = state->BindExpr( in Visit()
1970 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit()
2397 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit()
3094 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr()
3266 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, Base)); in VisitArrayInitLoopExpr()
3353 state = state->BindExpr(M, LCtx, MDVal); in VisitMemberExpr()
3399 Bldr.generateNode(M, I, state->BindExpr(M, LCtx, L), nullptr, in VisitMemberExpr()
[all …]
H A DExprEngineCXX.cpp92 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
571 return State->BindExpr(CE->getArg(0), LCtx, NthElem); in bindRequiredArrayElementToEnvironment()
596 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in handleConstructor()
1088 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); in VisitCXXNewExpr()
1105 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
1175 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()
759 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
765 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()
829 return State->BindExpr(E, LCtx, R); in bindReturnValue()
H A DExprEngineObjC.cpp31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
H A DProgramState.cpp302 ProgramStateRef ProgramState::BindExpr(const Stmt *S, in BindExpr() function in ProgramState
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DErrnoTesterChecker.cpp98 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), *ErrnoVal); in evalGetErrno()
108 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoIfError()
112 ProgramStateRef StateFailure = State->BindExpr( in evalSetErrnoIfError()
125 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoIfErrorRange()
129 ProgramStateRef StateFailure = State->BindExpr( in evalSetErrnoIfErrorRange()
147 ProgramStateRef StateSuccess = State->BindExpr( in evalSetErrnoCheckState()
151 ProgramStateRef StateFailure1 = State->BindExpr( in evalSetErrnoCheckState()
155 ProgramStateRef StateFailure2 = State->BindExpr( in evalSetErrnoCheckState()
H A DBuiltinFunctionChecker.cpp78 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
99 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
127 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()
643 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease()
727 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
862 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
868 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
875 State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
887 NullState = NullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
[all …]
H A DStreamChecker.cpp198 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
206 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
522 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFopen()
581 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
585 State->BindExpr(CE, C.getLocationContext(), in evalFreopen()
622 ProgramStateRef StateSuccess = State->BindExpr( in evalFclose()
625 State->BindExpr(CE, C.getLocationContext(), in evalFclose()
728 State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFreadFwrite()
791 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFseek()
898 State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFtell()
[all …]
H A DDebugContainerModeling.cpp94 State = State->BindExpr(CE, C.getLocationContext(), in analyzerContainerDataField()
115 State = State->BindExpr(CE, C.getLocationContext(), in analyzerContainerDataField()
H A DDebugIteratorModeling.cpp95 State = State->BindExpr(CE, C.getLocationContext(), get(Pos)); in analyzerIteratorDataField()
97 State = State->BindExpr(CE, C.getLocationContext(), Default); in analyzerIteratorDataField()
H A DSTLAlgorithmModeling.cpp117 auto StateFound = State->BindExpr(CE, LCtx, RetVal); in Find()
164 auto StateNotFound = State->BindExpr(CE, LCtx, Param); in Find()
H A DCStringChecker.cpp1287 state = state->BindExpr(CE, LCtx, lastElement); in evalCopyCommon()
1291 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1435 State = State->BindExpr(CE, LCtx, CmpV); in evalMemcmp()
1567 state = state->BindExpr(CE, LCtx, result); in evalstrLengthCommon()
2010 state = state->BindExpr(CE, LCtx, Result); in evalStrcpyCommon()
2081 StSameBuf = StSameBuf->BindExpr(CE, LCtx, in evalStrcmpCommon()
2159 state = state->BindExpr(CE, LCtx, resultVal); in evalStrcmpCommon()
2220 State = State->BindExpr(CE, LCtx, Result); in evalStrsep()
2257 State = State->BindExpr(CE, LCtx, ResultVal); in evalStdCopyCommon()
2286 ZeroSize = ZeroSize->BindExpr(CE, LCtx, BufferPtrVal); in evalMemset()
[all …]
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 DCallAndMessageChecker.cpp688 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
726 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
H A DErrnoModeling.cpp191 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in evalCall()
H A DExprInspectionChecker.cpp335 State = State->BindExpr(CE, C.getLocationContext(), Size); in analyzerGetExtent()
H A DIteratorModeling.cpp501 State = State->BindExpr(CE, LCtx, RetVal); in handleComparison()
H A DMallocChecker.cpp1732 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
H A DStdLibraryFunctionsChecker.cpp1083 State = State->BindExpr(CE, LC, V); in evalCall()
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp145 State = State->BindExpr(CE, LCtx, RetVal); in postPreviousReturnInvalidatingCall()
/openbsd/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp941 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false); in evalCall()
948 NullOutputState = NullOutputState->BindExpr( in evalCall()
/openbsd/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h280 [[nodiscard]] ProgramStateRef BindExpr(const Stmt *S,
/openbsd/gnu/llvm/clang/lib/Sema/
H A DSemaCast.cpp3326 if (auto *BindExpr = dyn_cast<CXXBindTemporaryExpr>(SubExpr)) in BuildCXXFunctionalCastExpr() local
3327 SubExpr = BindExpr->getSubExpr(); in BuildCXXFunctionalCastExpr()