Searched refs:Bldr (Results 1 - 7 of 7) sorted by relevance

/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp370 StmtNodeBuilder Bldr(Pred, Out, *currBldrCtx);
371 Bldr.generateNode(DiagnosticStmt, Pred, CleanedState, &cleanupTag, K);
383 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx);
403 Bldr.generateNode(DiagnosticStmt, *I, CleanedCheckerSt, &cleanupTag, K);
513 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
516 Bldr.generateNode(PP, N->getState(), N);
587 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
588 Bldr.generateNode(PP, Pred->getState(), Pred);
653 StmtNodeBuilder Bldr(Pred, DstTop, *currBldrCtx);
682 const ExplodedNode *node = Bldr
[all...]
H A DExprEngineObjC.cpp31 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, Pre
[all...]
H A DExprEngineCXX.cpp28 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
34 Bldr.generateNode(ME, Pred, state);
39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, argument
59 Bldr.takeNodes(Pred);
81 Bldr.generateNode(PS, State, *I);
232 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx);
254 Bldr.generateNode(CE, *I, State, /*tag=*/0, ProgramPoint::PreStmtKind);
264 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx);
273 performTrivialCopy(Bldr, *I, *Call);
278 defaultEvalCall(Bldr, *
[all...]
H A DExprEngineC.cpp61 StmtNodeBuilder Bldr(*it, Tmp2, *currBldrCtx);
88 Bldr.generateNode(B, *it, state);
93 Bldr.generateNode(B, *it, state);
211 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
212 Bldr.generateNode(BE, Pred,
244 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx);
280 Bldr.generateNode(CastE, Pred, state);
319 Bldr.generateNode(CastE, Pred, state);
328 Bldr.generateNode(CastE, Pred, state);
353 Bldr
[all...]
H A DCheckerManager.cpp153 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, En
152 runChecker(CheckerManager::CheckStmtFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
194 runChecker(CheckerManager::CheckObjCMessageFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
237 runChecker(CheckerManager::CheckCallFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
281 runChecker(CheckerManager::CheckLocationFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
326 runChecker(CheckerManager::CheckBindFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
390 runChecker(CheckerManager::CheckBranchConditionFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
435 runChecker(CheckerManager::CheckDeadSymbolsFunc checkFn, NodeBuilder &Bldr, ExplodedNode *Pred) argument
[all...]
H A DExprEngineCallAndReturn.cpp417 NodeBuilder &Bldr, ExplodedNode *Pred,
459 Bldr.takeNodes(Pred);
574 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, argument
581 Bldr.generateNode(Call.getProgramPoint(), State, Pred);
900 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, argument
908 performTrivialCopy(Bldr, Pred, *Call);
930 BifurcateCall(RD.getDispatchRegion(), *Call, D, Bldr, Pred);
936 conservativeEvalCall(*Call, Bldr, Pred, State);
942 if (inlineCall(*Call, D, Bldr, Pred, State))
948 conservativeEvalCall(*Call, Bldr, Pre
416 inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State) argument
951 BifurcateCall(const MemRegion *BifurReg, const CallEvent &Call, const Decl *D, NodeBuilder &Bldr, ExplodedNode *Pred) argument
[all...]
/freebsd-10.2-release/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DExprEngine.h553 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
558 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
564 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
571 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,

Completed in 47 milliseconds