| /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()
220 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
286 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
326 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
335 state = state->BindExpr(CastE, LCtx, val); in VisitCast()
365 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull()); in VisitCast()
373 state = state->BindExpr(CastE, LCtx, NewSym); 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 | ExprEngine.cpp | 249 State = State->BindExpr(Result, LC, Reg); in createTemporaryRegionIfNeeded()
833 state = state->BindExpr(S, Pred->getLocationContext(), in Visit()
940 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit()
976 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
1020 state->BindExpr(B, Pred->getLocationContext(), in Visit()
1267 state->BindExpr(SE, Pred->getLocationContext(), in Visit()
1295 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit()
1299 state->BindExpr(S, Pred->getLocationContext(), in Visit()
1860 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr()
1867 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr()
[all …]
|
| D | ExprEngineCXX.cpp | 78 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
439 State = State->BindExpr(CNE, Pred->getLocationContext(), in VisitCXXNewExpr()
458 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
514 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
|
| D | ExprEngineCallAndReturn.cpp | 261 state = state->BindExpr(CE, callerCtx, V); in processCallExit()
274 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit()
551 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
561 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()
569 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 | 53 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall()
76 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
93 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
|
| D | CStringChecker.cpp | 929 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
983 state = state->BindExpr(CE, LCtx, lastElement); in evalCopyCommon()
989 state = state->BindExpr(CE, LCtx, result); in evalCopyCommon()
995 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1089 state = state->BindExpr(CE, LCtx, in evalMemcmp()
1116 state = StSameBuf->BindExpr(CE, LCtx, in evalMemcmp()
1131 state = state->BindExpr(CE, LCtx, CmpV); in evalMemcmp()
1174 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon()
1271 state = state->BindExpr(CE, LCtx, result); in evalstrLengthCommon()
1442 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
[all …]
|
| 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 | 1088 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
|
| D | RetainCountChecker.cpp | 3342 state = state->BindExpr(CE, LCtx, RetVal, false); in evalCall()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 207 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
|