| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineC.cpp | 54 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), in VisitBinaryOperator()
89 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
165 state = state->BindExpr(B, LCtx, location); in VisitBinaryOperator()
167 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
209 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
275 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
312 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
321 state = state->BindExpr(CastE, LCtx, val); in VisitCast()
351 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull()); in VisitCast()
359 state = state->BindExpr(CastE, LCtx, NewSym); in VisitCast()
[all …]
|
| D | ExprEngineCXX.cpp | 49 Bldr.generateNode(ME, Pred, state->BindExpr(ME, LCtx, V)); in CreateCXXTemporaryObject()
239 State = State->BindExpr(CNE, Pred->getLocationContext(), in VisitCXXNewExpr()
255 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
257 State = State->BindExpr(CNE, LCtx, symVal); in VisitCXXNewExpr()
315 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
|
| 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 | 571 state = state->BindExpr(S, Pred->getLocationContext(), in Visit()
656 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
700 state->BindExpr(B, Pred->getLocationContext(), in Visit()
918 state->BindExpr(SE, Pred->getLocationContext(), in Visit()
946 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit()
950 state->BindExpr(S, Pred->getLocationContext(), in Visit()
1416 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0, in VisitCommonDeclRefExpr()
1423 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr()
1428 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0, in VisitCommonDeclRefExpr()
1439 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0, in VisitCommonDeclRefExpr()
[all …]
|
| D | ExprEngineCallAndReturn.cpp | 154 state = state->BindExpr(CE, callerCtx, V); in processCallExit()
164 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit()
572 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
576 return State->BindExpr(E, LCtx, C->getCXXThisVal()); in bindReturnValue()
584 return State->BindExpr(E, LCtx, R); in bindReturnValue()
|
| D | ProgramState.cpp | 257 ProgramStateRef ProgramState::BindExpr(const Stmt *S, in BindExpr() function in ProgramState
|
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BuiltinFunctionChecker.cpp | 50 C.addTransition(state->BindExpr(CE, LCtx, X)); in evalCall()
72 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
|
| D | CStringChecker.cpp | 903 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
955 state = state->BindExpr(CE, LCtx, lastElement); in evalCopyCommon()
961 state = state->BindExpr(CE, LCtx, result); in evalCopyCommon()
967 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1054 state = state->BindExpr(CE, LCtx, in evalMemcmp()
1081 state = StSameBuf->BindExpr(CE, LCtx, in evalMemcmp()
1095 state = state->BindExpr(CE, LCtx, CmpV); in evalMemcmp()
1138 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon()
1239 state = state->BindExpr(CE, LCtx, result); in evalstrLengthCommon()
1411 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
[all …]
|
| D | OSAtomicChecker.cpp | 195 B.generateNode(CE, predNew, stateNew->BindExpr(CE, LCtx, Res), this); in evalOSAtomicCompareAndSwap()
207 B.generateNode(CE, N, stateNotEqual->BindExpr(CE, LCtx, Res), this); in evalOSAtomicCompareAndSwap()
|
| D | CallAndMessageChecker.cpp | 405 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V)); in HandleNilReceiver()
442 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V)); in HandleNilReceiver()
|
| D | StreamChecker.cpp | 227 state = state->BindExpr(CE, C.getLocationContext(), RetVal); in OpenFileAux()
|
| D | MallocChecker.cpp | 546 state = state->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
|
| D | RetainCountChecker.cpp | 3179 state = state->BindExpr(CE, LCtx, RetVal, false); in evalCall()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ProgramState.h | 203 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
|