Searched refs:BindExpr (Results 1 - 12 of 12) sorted by relevance

/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp50 C.addTransition(state->BindExpr(CE, LCtx, X));
73 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
H A DCStringChecker.cpp894 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 DCallAndMessageChecker.cpp417 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
455 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V), &Tag);
H A DStreamChecker.cpp215 state = state->BindExpr(CE, C.getLocationContext(), RetVal);
H A DMallocChecker.cpp753 State = State->BindExpr(CE, C.getLocationContext(), RetVal);
/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngineC.cpp55 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 DExprEngineObjC.cpp32 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 DExprEngineCXX.cpp43 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 DExprEngine.cpp226 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 DExprEngineCallAndReturn.cpp258 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 DProgramState.cpp311 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 DProgramState.h206 ProgramStateRef BindExpr(const Stmt *S, const LocationContext *LCtx,

Completed in 109 milliseconds