/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
H A D | BuiltinFunctionChecker.cpp | 50 C.addTransition(state->BindExpr(CE, LCtx, X)); 73 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
|
H A D | CStringChecker.cpp | 894 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, destVal); 943 state = state->BindExpr(CE, LCtx, lastElement); 949 state = state->BindExpr(CE, LCtx, result); 955 state = state->BindExpr(CE, LCtx, destVal); 1042 state = state->BindExpr(CE, LCtx, 1069 state = StSameBuf->BindExpr(CE, LCtx, 1083 state = state->BindExpr(CE, LCtx, CmpV); 1126 stateZeroSize = stateZeroSize->BindExpr(CE, LCtx, zero); 1221 state = state->BindExpr(CE, LCtx, result); 1392 StateZeroSize = StateZeroSize->BindExpr(C [all...] |
H A D | CallAndMessageChecker.cpp | 417 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag); 455 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 | 753 State = State->BindExpr(CE, C.getLocationContext(), RetVal);
|
/freebsd-10.0-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); 212 State->BindExpr(BE, Pred->getLocationContext(), V), 278 state = state->BindExpr(CastE, LCtx, V); 316 state = state->BindExpr(CastE, LCtx, V); 325 state = state->BindExpr(CastE, LCtx, val); 355 state = state->BindExpr(CastE, LCtx, svalBuilder.makeNull()); 363 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 | ExprEngineCXX.cpp | 43 state = state->BindExpr(ME, LCtx, V); 92 State = State->BindExpr(CallExpr, LCtx, ThisVal); 355 State = State->BindExpr(CNE, Pred->getLocationContext(), 374 State = State->BindExpr(CNE, LCtx, Result); 432 Bldr.generateNode(TE, Pred, state->BindExpr(TE, LCtx, V));
|
H A D | ExprEngine.cpp | 226 State = State->BindExpr(Result, LC, Reg); 670 state = state->BindExpr(S, Pred->getLocationContext(), 758 State = State->BindExpr(DefaultE, LCtx, *ConstantVal); 792 ProgramStateRef state = N->getState()->BindExpr(Ex, LCtx, result); 836 state->BindExpr(B, Pred->getLocationContext(), 1083 state->BindExpr(SE, Pred->getLocationContext(), 1111 state->BindExpr(S, Pred->getLocationContext(), V)); 1115 state->BindExpr(S, Pred->getLocationContext(), 1628 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, V), 0, 1635 Bldr.generateNode(Ex, Pred, state->BindExpr(E [all...] |
H A D | ExprEngineCallAndReturn.cpp | 258 state = state->BindExpr(CE, callerCtx, V); 271 state = state->BindExpr(CCE, callerCtx, ThisV); 548 return State->BindExpr(E, LCtx, Msg->getReceiverSVal()); 558 return State->BindExpr(E, LCtx, ThisV); 566 return State->BindExpr(E, LCtx, R);
|
H A D | ProgramState.cpp | 311 ProgramStateRef ProgramState::BindExpr(const Stmt *S, function in class:ProgramState
|
/freebsd-10.0-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ProgramState.h | 206 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,
|