| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineObjC.cpp | 31 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx);
32 Bldr.generateNode(Ex, Pred, state->BindExpr(Ex, LCtx, location));
91 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
126 Bldr.generateNode(S, Pred, hasElems);
127 Bldr.generateNode(S, Pred, noElems);
152 StmtNodeBuilder Bldr(dstGenericPrevisit, dstEval, *currBldrCtx);
183 Bldr.generateSink(ME, Pred, State);
189 Pred = Bldr.generateNode(ME, Pred, notNilState);
199 Bldr.generateSink(ME, Pred, Pred->getState());
204 defaultEvalCall(Bldr, Pred, *UpdatedMsg)
[all...] |
| ExprEngine.cpp | 376 StmtNodeBuilder Bldr(Pred, Out, *currBldrCtx);
377 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K);
389 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx);
409 Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K);
519 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
522 Bldr.generateNode(PP, N->getState(), N);
567 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
570 Bldr.generateNode(PP, Pred->getState(), Pred);
612 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
613 Bldr.generateNode(PP, Pred->getState(), Pred)
[all...] |
| ExprEngineCXX.cpp | 28 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
34 Bldr.generateNode(ME, Pred, state);
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
59 Bldr.takeNodes(Pred);
81 Bldr.generateNode(PS, State, *I);
243 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx);
265 Bldr.generateNode(CE, *I, State, /*tag=*/nullptr,
276 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx);
285 performTrivialCopy(Bldr, *I, *Call);
290 defaultEvalCall(Bldr, *I, *Call)
[all...] |
| ExprEngineC.cpp | 62 StmtNodeBuilder Bldr(*it, Tmp2, *currBldrCtx);
95 Bldr.generateNode(B, *it, state);
100 Bldr.generateNode(B, *it, state);
218 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
219 Bldr.generateNode(BE, Pred,
251 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx);
287 Bldr.generateNode(CastE, Pred, state);
327 Bldr.generateNode(CastE, Pred, state);
336 Bldr.generateNode(CastE, Pred, state);
361 Bldr.generateSink(CastE, Pred, state)
[all...] |
| CheckerManager.cpp | 153 NodeBuilder &Bldr, ExplodedNode *Pred) {
159 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
195 NodeBuilder &Bldr, ExplodedNode *Pred) {
197 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
238 NodeBuilder &Bldr, ExplodedNode *Pred) {
240 CheckerContext C(Bldr, Eng, Pred, L, WasInlined);
282 NodeBuilder &Bldr, ExplodedNode *Pred) {
289 CheckerContext C(Bldr, Eng, Pred, L);
327 NodeBuilder &Bldr, ExplodedNode *Pred) {
329 CheckerContext C(Bldr, Eng, Pred, L)
[all...] |
| ExprEngineCallAndReturn.cpp | 417 NodeBuilder &Bldr, ExplodedNode *Pred,
459 Bldr.takeNodes(Pred);
574 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
581 Bldr.generateNode(Call.getProgramPoint(), State, Pred);
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ExprEngine.h | 559 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
564 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
570 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
577 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
|
