Home
last modified time | relevance | path

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

/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp103 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()
273 state = state->BindExpr(CastE, LCtx, V); in handleLValueBitCast()
292 state = state->BindExpr(CastE, LCtx, result); in handleLVectorSplat()
357 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
368 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
428 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
507 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
726 state->BindExpr(IE, LCtx, in VisitInitListExpr()
[all …]
H A DExprEngine.cpp363 State = State->BindExpr(Result, LC, *V); in createTemporaryRegionIfNeeded()
434 State = State->BindExpr(Result, LC, Reg); in createTemporaryRegionIfNeeded()
436 State = State->BindExpr(Result, LC, InitValWithAdjustments); in createTemporaryRegionIfNeeded()
1272 state = state->BindExpr(S, Pred->getLocationContext(), in Visit()
1385 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit()
2416 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2423 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr()
2428 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
2535 state = state->BindExpr(M, LCtx, MDVal); in VisitMemberExpr()
2573 Bldr.generateNode(M, I, state->BindExpr(M, LCtx, L), nullptr, in VisitMemberExpr()
[all …]
H A DExprEngineCXX.cpp91 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
406 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in VisitCXXConstructExpr()
782 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); in VisitCXXNewExpr()
799 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
855 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
903 State->BindExpr(LE, LocCtxt, LambdaRVal), in VisitLambdaExpr()
H A DExprEngineObjC.cpp32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
60 ProgramStateRef nextState = state->BindExpr(S, LCtx, hasElementsV); in populateObjCForDestinationSet()
H A DExprEngineCallAndReturn.cpp245 state = state->BindExpr(CE, callerCtx, V); in processCallExit()
254 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit()
599 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
605 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()
643 return State->BindExpr(E, LCtx, R); in bindReturnValue()
H A DProgramState.cpp303 ProgramStateRef ProgramState::BindExpr(const Stmt *S, in BindExpr() function in ProgramState
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp72 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall()
95 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
114 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
H A DCStringChecker.cpp1181 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1275 state = state->BindExpr(CE, LCtx, in evalMemcmp()
1302 state = StSameBuf->BindExpr(CE, LCtx, in evalMemcmp()
1317 state = state->BindExpr(CE, LCtx, CmpV); in evalMemcmp()
1457 state = state->BindExpr(CE, LCtx, result); in evalstrLengthCommon()
1879 state = state->BindExpr(CE, LCtx, Result); in evalStrcpyCommon()
1962 StSameBuf = StSameBuf->BindExpr(CE, LCtx, in evalStrcmpCommon()
2038 state = state->BindExpr(CE, LCtx, resultVal); in evalStrcmpCommon()
2101 State = State->BindExpr(CE, LCtx, Result); in evalStrsep()
2138 State = State->BindExpr(CE, LCtx, ResultVal); in evalStdCopyCommon()
[all …]
H A DCallAndMessageChecker.cpp566 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
604 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
H A DExprInspectionChecker.cpp233 State = State->BindExpr(CE, C.getLocationContext(), in analyzerGetExtent()
H A DStreamChecker.cpp217 state = state->BindExpr(CE, C.getLocationContext(), RetVal); in OpenFileAux()
H A DStdLibraryFunctionsChecker.cpp388 State = State->BindExpr(CE, LC, V); in evalCall()
H A DMallocChecker.cpp1264 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp947 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false); in evalCall()
954 NullOutputState = NullOutputState->BindExpr( in evalCall()
/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h240 LLVM_NODISCARD ProgramStateRef BindExpr(const Stmt *S,
/freebsd-12.1/contrib/llvm/tools/clang/lib/Sema/
H A DSemaCast.cpp2777 if (auto *BindExpr = dyn_cast<CXXBindTemporaryExpr>(SubExpr)) in BuildCXXFunctionalCastExpr() local
2778 SubExpr = BindExpr->getSubExpr(); in BuildCXXFunctionalCastExpr()