/freebsd-10.2-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngine.cpp | 370 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 D | 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, Pre [all...] |
H A D | ExprEngineCXX.cpp | 28 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 D | ExprEngineC.cpp | 61 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 D | 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, 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 D | ExprEngineCallAndReturn.cpp | 417 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 D | ExprEngine.h | 553 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,
|