| /freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | BuiltinFunctionChecker.cpp | 51 C.addTransition(state->BindExpr(CE, LCtx, X));
74 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
91 C.addTransition(state->BindExpr(CE, LCtx, V));
|
| H A D | CStringChecker.cpp | 921 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal);
970 state = state->BindExpr(CE, LCtx, lastElement);
976 state = state->BindExpr(CE, LCtx, result);
982 state = state->BindExpr(CE, LCtx, destVal);
1076 state = state->BindExpr(CE, LCtx,
1103 state = StSameBuf->BindExpr(CE, LCtx,
1117 state = state->BindExpr(CE, LCtx, CmpV);
1160 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero);
1255 state = state->BindExpr(CE, LCtx, result);
1426 StateZeroSize = StateZeroSize->BindExpr(C
[all...] |
| H A D | CallAndMessageChecker.cpp | 468 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
506 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
|
| H A D | StreamChecker.cpp | 215 state = state->BindExpr(CE, C.getLocationContext(), RetVal);
|
| H A D | MallocChecker.cpp | 759 State = State->BindExpr(CE, C.getLocationContext(), RetVal);
|
| /freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineC.cpp | 55 evalStore(Tmp2, B, LHS, *it, state->BindExpr(B, LCtx, ExprVal),
92 state = state->BindExpr(B, LCtx, Result);
168 state = state->BindExpr(B, LCtx, location);
170 state = state->BindExpr(B, LCtx, Result);
213 State->BindExpr(BE, Pred->getLocationContext(), V),
279 state = state->BindExpr(CastE, LCtx, V);
318 state = state->BindExpr(CastE, LCtx, V);
327 state = state->BindExpr(CastE, LCtx, val);
357 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull());
365 state = state->BindExpr(Cast
[all...] |
| H A D | ExprEngineObjC.cpp | 32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
101 ProgramStateRef hasElems = state->BindExpr(S, LCtx, TrueV);
105 ProgramStateRef noElems = state->BindExpr(S, LCtx, FalseV);
|
| H A D | ExprEngine.cpp | 238 State = State->BindExpr(Result, LC, Reg);
721 state = state->BindExpr(S, Pred->getLocationContext(),
818 State = State->BindExpr(S, LCtx, *ConstantVal);
853 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result);
897 state->BindExpr(B, Pred->getLocationContext(),
1144 state->BindExpr(SE, Pred->getLocationContext(),
1172 state->BindExpr(S, Pred->getLocationContext(), V));
1176 state->BindExpr(S, Pred->getLocationContext(),
1695 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0,
1702 Bldr.generateNode(Ex, Pred, state->BindExpr(E
[all...] |
| H A D | ExprEngineCXX.cpp | 78 State = State->BindExpr(CallExpr, LCtx, ThisVal);
401 State = State->BindExpr(CNE, Pred->getLocationContext(),
420 State = State->BindExpr(CNE, LCtx, Result);
476 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V));
|
| H A D | ExprEngineCallAndReturn.cpp | 261 state = state->BindExpr(CE, callerCtx, V);
274 state = state->BindExpr(CCE, callerCtx, ThisV);
551 return State->BindExpr(E, LCtx, Msg->getReceiverSVal());
561 return State->BindExpr(E, LCtx, ThisV);
569 return State->BindExpr(E, LCtx, R);
|
| H A D | ProgramState.cpp | 291 ProgramStateRef ProgramState::BindExpr(const Stmt *S, function in class:ProgramState
|
| /freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 206 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
|