|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h 237 LLVM_NODISCARD ProgramStateRef BindExpr(const Stmt *S,
References
tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp 74 C.addTransition(state->BindExpr(CE, LCtx, Arg));
99 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
127 C.addTransition(state->BindExpr(CE, LCtx, V));
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 1161 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);
1214 state = state->BindExpr(CE, LCtx, lastElement);
1218 state = state->BindExpr(CE, LCtx, destVal);
1297 state = state->BindExpr(CE, LCtx,
1324 state = StSameBuf->BindExpr(CE, LCtx,
1339 state = state->BindExpr(CE, LCtx, CmpV);
1376 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);
1473 state = state->BindExpr(CE, LCtx, result);
1657 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, DstVal);
1659 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, *lenValNL);
1878 state = state->BindExpr(CE, LCtx, Result);
1949 StSameBuf = StSameBuf->BindExpr(CE, LCtx,
2025 state = state->BindExpr(CE, LCtx, resultVal);
2085 State = State->BindExpr(CE, LCtx, Result);
2122 State = State->BindExpr(CE, LCtx, ResultVal);
2150 StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, MemVal);
2171 State = State->BindExpr(CE, LCtx, MemVal);
tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp 559 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
597 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
tools/clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp 212 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), V, false),
252 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(),
281 C.addTransition(State->BindExpr(Call.getOriginExpr(),
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp 237 State = State->BindExpr(CE, C.getLocationContext(),
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1530 State = State->BindExpr(CE, C.getLocationContext(), RetVal);
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 940 state = state->BindExpr(CE, LCtx, RetVal, /*Invalidate=*/false);
947 NullOutputState = NullOutputState->BindExpr(
tools/clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp 61 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(),
tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp 391 State = State->BindExpr(CE, LC, V);
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp 221 state = state->BindExpr(CE, C.getLocationContext(), RetVal);
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 376 State = State->BindExpr(Result, LC, *V);
447 State = State->BindExpr(Result, LC, Reg);
449 State = State->BindExpr(Result, LC, InitValWithAdjustments);
1324 state = state->BindExpr(S, Pred->getLocationContext(),
1440 State = State->BindExpr(S, LCtx, *ConstantVal);
1474 ProgramStateRef State = N->getState()->BindExpr(Ex, LCtx, result);
1541 state->BindExpr(B, Pred->getLocationContext(),
1804 state->BindExpr(SE, Pred->getLocationContext(),
1832 state->BindExpr(S, Pred->getLocationContext(), V));
1836 state->BindExpr(S, Pred->getLocationContext(),
2471 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2478 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V));
2483 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2496 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), nullptr,
2546 Bldr.generateNode(A, Node, state->BindExpr(A, LCtx, V), nullptr,
2590 state = state->BindExpr(M, LCtx, MDVal);
2628 Bldr.generateNode(M, I, state->BindExpr(M, LCtx, L), nullptr,
2670 State = State->BindExpr(AE, LCtx, ResultVal);
2872 Bldr.generateNode(NodeEx, I, state->BindExpr(BoundEx, LCtx, V), tag,
2950 StateTrue = StateTrue->BindExpr(Ex, Pred->getLocationContext(), Val);
2957 StateFalse = StateFalse->BindExpr(Ex, Pred->getLocationContext(), Val);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp 74 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),
102 state = state->BindExpr(B, LCtx, Result);
184 state = state->BindExpr(B, LCtx, location);
186 state = state->BindExpr(B, LCtx, Result);
252 State->BindExpr(BE, Pred->getLocationContext(), V),
276 state = state->BindExpr(CastE, LCtx, V);
295 state = state->BindExpr(CastE, LCtx, result);
360 state = state->BindExpr(CastE, LCtx, V);
371 state = state->BindExpr(CastE, LCtx, V);
390 state = state->BindExpr(CastE, LCtx, UnknownVal());
433 state = state->BindExpr(CastE, LCtx, V);
442 state = state->BindExpr(CastE, LCtx, val);
472 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
480 state = state->BindExpr(CastE, LCtx, NewSym);
483 state = state->BindExpr(CastE, LCtx, val);
506 state = state->BindExpr(CastE, LCtx, val);
512 state = state->BindExpr(CastE, LCtx, V);
518 state = state->BindExpr(CastE, LCtx, V);
531 state = state->BindExpr(CastE, LCtx, CastedPTMSV);
571 B.generateNode(CL, Pred, State->BindExpr(CL, LCtx, V));
729 Bldr.generateNode(B, Pred, state->BindExpr(B, Pred->getLocationContext(), X));
751 B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
762 state->BindExpr(IE, LCtx,
778 B.generateNode(IE, Pred, state->BindExpr(IE, LCtx, V));
842 B.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V, true));
857 Pred->getState()->BindExpr(OOE, Pred->getLocationContext(),
898 state = state->BindExpr(Ex, (*I)->getLocationContext(),
920 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx,
956 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx,
972 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, X));
986 Bldr.generateNode(U, *I, State->BindExpr(U, LCtx, SV));
1015 Bldr.generateNode(U, *I, state->BindExpr(U, LCtx, V));
1024 state = state->BindExpr(U, LCtx, evalComplement(V.castAs<NonLoc>()));
1028 state = state->BindExpr(U, LCtx, evalMinus(V.castAs<NonLoc>()));
1048 state = state->BindExpr(U, LCtx, Result);
1085 state = state->BindExpr(U, LCtx, V2_untested);
1151 state = state->BindExpr(U, LCtx, loc);
1153 state = state->BindExpr(U, LCtx, U->isPostfix() ? V2 : Result);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp 90 State = State->BindExpr(CallExpr, LCtx, ThisVal);
412 State = State->BindExpr(CE, LCtx, State->getSVal(*L, CE->getType()));
813 State = State->BindExpr(CNE, Pred->getLocationContext(), Result);
830 State = State->BindExpr(CNE, LCtx, Result);
886 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V));
934 State->BindExpr(LE, LocCtxt, LambdaRVal),
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 244 state = state->BindExpr(CE, callerCtx, V);
253 state = state->BindExpr(CCE, callerCtx, ThisV);
616 return State->BindExpr(E, LCtx, Msg->getReceiverSVal());
622 return State->BindExpr(E, LCtx, ThisV);
667 return State->BindExpr(E, LCtx, R);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp 31 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
59 ProgramStateRef nextState = state->BindExpr(S, LCtx, hasElementsV);