Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/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()
184 state = state->BindExpr(B, LCtx, location); in VisitBinaryOperator()
186 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
252 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
276 state = state->BindExpr(CastE, LCtx, V); in handleLValueBitCast()
295 state = state->BindExpr(CastE, LCtx, result); in handleLVectorSplat()
360 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
371 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
390 state = state->BindExpr(CastE, LCtx, UnknownVal()); in VisitCast()
[all …]
H A DExprEngine.cpp376 State = State->BindExpr(Result, LC, *V); in createTemporaryRegionIfNeeded()
447 State = State->BindExpr(Result, LC, Reg); in createTemporaryRegionIfNeeded()
449 State = State->BindExpr(Result, LC, InitValWithAdjustments); in createTemporaryRegionIfNeeded()
1343 state = state->BindExpr(S, Pred->getLocationContext(), in Visit()
1461 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit()
1495 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
1566 state->BindExpr(B, Pred->getLocationContext(), in Visit()
1839 state->BindExpr(SE, Pred->getLocationContext(), in Visit()
1867 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit()
1871 state->BindExpr(S, Pred->getLocationContext(), in Visit()
[all …]
H A DExprEngineCXX.cpp90 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
481 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in handleConstructor()
908 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); in VisitCXXNewExpr()
925 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
986 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
1034 State->BindExpr(LE, LocCtxt, LambdaRVal), in VisitLambdaExpr()
H A DExprEngineCallAndReturn.cpp248 state = state->BindExpr(CE, callerCtx, V); in processCallExit()
257 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit()
653 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
659 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()
718 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.cpp307 ProgramStateRef ProgramState::BindExpr(const Stmt *S, in BindExpr() function in ProgramState
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp77 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 DSmartPtrModeling.cpp203 C.addTransition(State->BindExpr( in evalCall()
377 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease()
458 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
586 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
592 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
599 State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
611 NullState = NullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
622 NotNullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
H A DDebugContainerModeling.cpp93 State = State->BindExpr(CE, C.getLocationContext(), in analyzerContainerDataField()
114 State = State->BindExpr(CE, C.getLocationContext(), in analyzerContainerDataField()
H A DCStringChecker.cpp1148 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1200 state = state->BindExpr(CE, LCtx, lastElement); in evalCopyCommon()
1204 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1300 State = State->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1327 SameBuffer->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1341 State = State->BindExpr(CE, LCtx, CmpV); in evalMemcmp()
1377 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon()
1473 state = state->BindExpr(CE, LCtx, result); in evalstrLengthCommon()
1714 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
1718 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, strLength); in evalStrcpyCommon()
[all …]
H A DDebugIteratorModeling.cpp94 State = State->BindExpr(CE, C.getLocationContext(), get(Pos)); in analyzerIteratorDataField()
96 State = State->BindExpr(CE, C.getLocationContext(), Default); in analyzerIteratorDataField()
H A DStreamChecker.cpp183 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
191 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
453 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFopen()
511 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
514 ProgramStateRef StateRetNull = State->BindExpr(CE, C.getLocationContext(), in evalFreopen()
633 State->BindExpr(CE, C.getLocationContext(), *NMembVal); in evalFreadFwrite()
645 State->BindExpr(CE, C.getLocationContext(), *RetVal); in evalFreadFwrite()
705 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFseek()
H A DSTLAlgorithmModeling.cpp116 auto StateFound = State->BindExpr(CE, LCtx, RetVal); in Find()
163 auto StateNotFound = State->BindExpr(CE, LCtx, Param); in Find()
H A DCastValueChecker.cpp254 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), V, false), in addCastTransition()
316 NewState->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in addInstanceOfTransition()
330 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in addInstanceOfTransition()
359 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 DExprInspectionChecker.cpp281 State = State->BindExpr(CE, C.getLocationContext(), Size); in analyzerGetExtent()
H A DIteratorModeling.cpp502 State = State->BindExpr(CE, LCtx, RetVal); in handleComparison()
H A DStdLibraryFunctionsChecker.cpp873 State = State->BindExpr(CE, LC, V); in evalCall()
H A DMallocChecker.cpp1535 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp940 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false); in evalCall()
947 NullOutputState = NullOutputState->BindExpr( in evalCall()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h237 LLVM_NODISCARD ProgramStateRef BindExpr(const Stmt *S,
/netbsd-src/external/apache2/llvm/dist/clang/lib/Sema/
H A DSemaCast.cpp3221 if (auto *BindExpr = dyn_cast<CXXBindTemporaryExpr>(SubExpr)) in BuildCXXFunctionalCastExpr() local
3222 SubExpr = BindExpr->getSubExpr(); in BuildCXXFunctionalCastExpr()