/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() 348 state = state->BindExpr(CastE, LCtx, V); in VisitCast() 357 state = state->BindExpr(CastE, LCtx, val); in VisitCast() 387 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull()); in VisitCast() 395 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 | 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 | 250 State = State->BindExpr(Result, LC, Reg); in createTemporaryRegionIfNeeded() 848 state = state->BindExpr(S, Pred->getLocationContext(), in Visit() 959 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit() 995 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); in Visit() 1050 state->BindExpr(B, Pred->getLocationContext(), in Visit() 1297 state->BindExpr(SE, Pred->getLocationContext(), in Visit() 1325 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit() 1329 state->BindExpr(S, Pred->getLocationContext(), in Visit() 1914 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr, in VisitCommonDeclRefExpr() 1921 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V)); in VisitCommonDeclRefExpr() [all …]
|
D | ExprEngineCallAndReturn.cpp | 261 state = state->BindExpr(CE, callerCtx, V); in processCallExit() 274 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit() 552 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue() 562 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue() 570 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 | 1010 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon() 1064 state = state->BindExpr(CE, LCtx, lastElement); in evalCopyCommon() 1070 state = state->BindExpr(CE, LCtx, result); in evalCopyCommon() 1076 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon() 1170 state = state->BindExpr(CE, LCtx, in evalMemcmp() 1197 state = StSameBuf->BindExpr(CE, LCtx, in evalMemcmp() 1212 state = state->BindExpr(CE, LCtx, CmpV); in evalMemcmp() 1255 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon() 1352 state = state->BindExpr(CE, LCtx, result); in evalstrLengthCommon() 1523 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 | 1092 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in MallocMemAux()
|
D | RetainCountChecker.cpp | 3404 state = state->BindExpr(CE, LCtx, RetVal, false); in evalCall()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | ProgramState.h | 228 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
|
/external/clang/lib/Sema/ |
D | SemaCast.cpp | 2498 if (auto *BindExpr = dyn_cast<CXXBindTemporaryExpr>(SubExpr)) in BuildCXXFunctionalCastExpr() local 2499 SubExpr = BindExpr->getSubExpr(); in BuildCXXFunctionalCastExpr()
|