Home
last modified time | relevance | path

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

12

/external/llvm-project/clang/lib/StaticAnalyzer/Core/
DExprEngineC.cpp74 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal), in VisitBinaryOperator()
102 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
184 state = state->BindExpr(B, LCtx, location); in VisitBinaryOperator()
186 state = state->BindExpr(B, LCtx, Result); in VisitBinaryOperator()
252 State->BindExpr(BE, Pred->getLocationContext(), V), in VisitBlockExpr()
276 state = state->BindExpr(CastE, LCtx, V); in handleLValueBitCast()
295 state = state->BindExpr(CastE, LCtx, result); in handleLVectorSplat()
360 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
371 state = state->BindExpr(CastE, LCtx, V); in VisitCast()
390 state = state->BindExpr(CastE, LCtx, UnknownVal()); in VisitCast()
[all …]
DExprEngine.cpp376 State = State->BindExpr(Result, LC, *V); in createTemporaryRegionIfNeeded()
447 State = State->BindExpr(Result, LC, Reg); in createTemporaryRegionIfNeeded()
449 State = State->BindExpr(Result, LC, InitValWithAdjustments); in createTemporaryRegionIfNeeded()
1338 state = state->BindExpr(S, Pred->getLocationContext(), in Visit()
1456 State = State->BindExpr(S, LCtx, *ConstantVal); in Visit()
1490 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result); in Visit()
1561 state->BindExpr(B, Pred->getLocationContext(), in Visit()
1834 state->BindExpr(SE, Pred->getLocationContext(), in Visit()
1862 state->BindExpr(S, Pred->getLocationContext(), V)); in Visit()
1866 state->BindExpr(S, Pred->getLocationContext(), in Visit()
[all …]
DExprEngineCXX.cpp90 State = State->BindExpr(CallExpr, LCtx, ThisVal); in performTrivialCopy()
481 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType())); in handleConstructor()
908 State = State->BindExpr(CNE, Pred->getLocationContext(), Result); in VisitCXXNewExpr()
925 State = State->BindExpr(CNE, LCtx, Result); in VisitCXXNewExpr()
986 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V)); in VisitCXXThisExpr()
1034 State->BindExpr(LE, LocCtxt, LambdaRVal), in VisitLambdaExpr()
DExprEngineCallAndReturn.cpp247 state = state->BindExpr(CE, callerCtx, V); in processCallExit()
256 state = state->BindExpr(CCE, callerCtx, ThisV); in processCallExit()
652 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); in bindReturnValue()
658 return State->BindExpr(E, LCtx, ThisV); in bindReturnValue()
703 return State->BindExpr(E, LCtx, R); in bindReturnValue()
DExprEngineObjC.cpp31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location)); in VisitLvalObjCIvarRefExpr()
/external/clang/lib/StaticAnalyzer/Core/
DExprEngineC.cpp56 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 …]
DExprEngineObjC.cpp32 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()
DExprEngineCXX.cpp78 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()
DExprEngine.cpp251 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 …]
DExprEngineCallAndReturn.cpp264 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()
/external/clang/lib/StaticAnalyzer/Checkers/
DBuiltinFunctionChecker.cpp54 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()
DCStringChecker.cpp1014 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 …]
DExprInspectionChecker.cpp165 State = State->BindExpr(CE, C.getLocationContext(), in analyzerGetExtent()
DCallAndMessageChecker.cpp544 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
582 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
DStreamChecker.cpp218 state = state->BindExpr(CE, C.getLocationContext(), RetVal); in OpenFileAux()
/external/llvm-project/clang/lib/StaticAnalyzer/Checkers/
DBuiltinFunctionChecker.cpp77 C.addTransition(state->BindExpr(CE, LCtx, Arg)); in evalCall()
102 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R))); in evalCall()
130 C.addTransition(state->BindExpr(CE, LCtx, V)); in evalCall()
DSmartPtrModeling.cpp203 C.addTransition(State->BindExpr( in evalCall()
377 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease()
458 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
586 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
592 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
599 State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
611 NullState = NullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
622 NotNullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
DDebugContainerModeling.cpp93 State = State->BindExpr(CE, C.getLocationContext(), in analyzerContainerDataField()
114 State = State->BindExpr(CE, C.getLocationContext(), in analyzerContainerDataField()
DDebugIteratorModeling.cpp94 State = State->BindExpr(CE, C.getLocationContext(), get(Pos)); in analyzerIteratorDataField()
96 State = State->BindExpr(CE, C.getLocationContext(), Default); in analyzerIteratorDataField()
DSTLAlgorithmModeling.cpp116 auto StateFound = State->BindExpr(CE, LCtx, RetVal); in Find()
163 auto StateNotFound = State->BindExpr(CE, LCtx, Param); in Find()
DCStringChecker.cpp1148 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1200 state = state->BindExpr(CE, LCtx, lastElement); in evalCopyCommon()
1204 state = state->BindExpr(CE, LCtx, destVal); in evalCopyCommon()
1300 State = State->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1327 SameBuffer->BindExpr(CE, LCtx, Builder.makeZeroVal(CE->getType())); in evalMemcmp()
1341 State = State->BindExpr(CE, LCtx, CmpV); in evalMemcmp()
1377 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); in evalstrLengthCommon()
1473 state = state->BindExpr(CE, LCtx, result); in evalstrLengthCommon()
1714 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal); in evalStrcpyCommon()
1718 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, strLength); in evalStrcpyCommon()
[all …]
DStreamChecker.cpp183 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in bindAndAssumeTrue()
191 State = State->BindExpr(CE, C.getLocationContext(), in bindInt()
453 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFopen()
511 State->BindExpr(CE, C.getLocationContext(), *StreamVal); in evalFreopen()
514 ProgramStateRef StateRetNull = State->BindExpr(CE, C.getLocationContext(), in evalFreopen()
633 State->BindExpr(CE, C.getLocationContext(), *NMembVal); in evalFreadFwrite()
645 State->BindExpr(CE, C.getLocationContext(), *RetVal); in evalFreadFwrite()
705 State = State->BindExpr(CE, C.getLocationContext(), RetVal); in evalFseek()
DCastValueChecker.cpp254 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), V, false), in addCastTransition()
316 NewState->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in addInstanceOfTransition()
330 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in addInstanceOfTransition()
359 C.addTransition(State->BindExpr(Call.getOriginExpr(), in evalNullParamNullReturn()
DCallAndMessageChecker.cpp688 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
726 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); in HandleNilReceiver()
DExprInspectionChecker.cpp259 State = State->BindExpr(CE, C.getLocationContext(), Size); in analyzerGetExtent()

12