| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineC.cpp | 56 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), in VisitBinaryOperator()
99 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
175 state = state->BindExpr(B, LCtx, location); in VisitBinaryOperator()
177 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
242 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
308 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
351 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
359 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
368 state = state->BindExpr(CastE, LCtx, val); in VisitCast()
398 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull()); in VisitCast()
[all …]
|
| D | ExprEngineObjC.cpp | 32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
101 ProgramStateRef hasElems = state->BindExpr(S, LCtx, TrueV); in VisitObjCForCollectionStmt()
105 ProgramStateRef noElems = state->BindExpr(S, LCtx, FalseV); in VisitObjCForCollectionStmt()
|
| D | ExprEngineCXX.cpp | 78 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
495 State = State->BindExpr(CNE, Pred->getLocationContext(), in VisitCXXNewExpr()
514 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
570 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
618 State->BindExpr(LE, LocCtxt, LambdaRVal), in VisitLambdaExpr()
|
| D | ExprEngine.cpp | 251 State = State->BindExpr(Result, LC, Reg); in createTemporaryRegionIfNeeded()
859 state = state->BindExpr(S, Pred->getLocationContext(), in Visit()
969 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit()
1005 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
1060 state->BindExpr(B, Pred->getLocationContext(), in Visit()
1313 state->BindExpr(SE, Pred->getLocationContext(), in Visit()
1341 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit()
1345 state->BindExpr(S, Pred->getLocationContext(), in Visit()
1938 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
1945 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr()
[all …]
|
| D | ExprEngineCallAndReturn.cpp | 264 state = state->BindExpr(CE, callerCtx, V); in processCallExit()
277 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit()
539 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
549 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()
557 return State->BindExpr(E, LCtx, R); in bindReturnValue()
|
| D | ProgramState.cpp | 290 ProgramStateRef ProgramState::BindExpr(const Stmt *S, in BindExpr() function in ProgramState
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BuiltinFunctionChecker.cpp | 54 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall()
77 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
94 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
|
| D | CStringChecker.cpp | 1014 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1068 state = state->BindExpr(CE, LCtx, lastElement); in evalCopyCommon()
1074 state = state->BindExpr(CE, LCtx, result); in evalCopyCommon()
1080 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1174 state = state->BindExpr(CE, LCtx, in evalMemcmp()
1201 state = StSameBuf->BindExpr(CE, LCtx, in evalMemcmp()
1216 state = state->BindExpr(CE, LCtx, CmpV); in evalMemcmp()
1259 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon()
1356 state = state->BindExpr(CE, LCtx, result); in evalstrLengthCommon()
1527 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
[all …]
|
| D | ExprInspectionChecker.cpp | 165 State = State->BindExpr(CE, C.getLocationContext(), in analyzerGetExtent()
|
| D | CallAndMessageChecker.cpp | 544 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
582 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
|
| D | StreamChecker.cpp | 218 state = state->BindExpr(CE, C.getLocationContext(), RetVal); in OpenFileAux()
|
| D | MallocChecker.cpp | 1100 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
|
| D | RetainCountChecker.cpp | 3397 state = state->BindExpr(CE, LCtx, RetVal, false); in evalCall()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 229 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
|
| /external/clang/lib/Sema/ |
| D | SemaCast.cpp | 2630 if (auto *BindExpr = dyn_cast<CXXBindTemporaryExpr>(SubExpr)) in BuildCXXFunctionalCastExpr() local
2631 SubExpr = BindExpr->getSubExpr(); in BuildCXXFunctionalCastExpr()
|