|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h 204 assert(currBldrCtx);
205 return *currBldrCtx;
660 return (*currBldrCtx->getBlock())[currStmtIdx];
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 408 currBldrCtx->blockCount(), LC, true,
425 currBldrCtx->blockCount());
435 currBldrCtx->blockCount());
631 currBldrCtx = Ctx;
745 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx);
795 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
804 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
813 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
844 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
875 currBldrCtx->blockCount());
894 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
901 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
928 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
942 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
947 Engine.enqueue(Dst, currBldrCtx->getBlock(), currStmtIdx);
1002 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
1091 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
1100 StmtNodeBuilder StmtBldr(Pred, CleanDtorState, *currBldrCtx);
1159 StmtNodeBuilder StmtBldr(PreVisit, Dst, *currBldrCtx);
1201 StmtNodeBuilder Bldr(Pred, DstTop, *currBldrCtx);
1288 Engine.addAbortedBlock(node, currBldrCtx->getBlock());
1417 StmtNodeBuilder Bldr2(PreVisit, Tmp, *currBldrCtx);
1464 StmtNodeBuilder Bldr2(preVisit, Tmp, *currBldrCtx);
1473 currBldrCtx->blockCount());
1526 Engine.addAbortedBlock(node, currBldrCtx->getBlock());
2097 currBldrCtx = &BldCtx;
2177 currBldrCtx = nullptr;
2192 currBldrCtx = &BuilderCtx;
2206 currBldrCtx = nullptr;
2256 SaveAndRestore<const NodeBuilderContext *> NodeContextRAII(currBldrCtx, &BC);
2422 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
2494 currBldrCtx->blockCount());
2520 StmtNodeBuilder Bldr(CheckerPreStmt, EvalSet, *currBldrCtx);
2576 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx);
2650 StmtNodeBuilder Bldr(AfterPreSet, AfterInvalidateSet, *currBldrCtx);
2664 currBldrCtx->blockCount(),
2773 StmtNodeBuilder Bldr(CheckedSet, Dst, *currBldrCtx);
2856 StmtNodeBuilder Bldr(Tmp, Dst, *currBldrCtx);
2884 StmtNodeBuilder BldrTop(Pred, Dst, *currBldrCtx);
2892 StmtNodeBuilder Bldr(Pred, Src, *currBldrCtx);
2926 StmtNodeBuilder Bldr(Src, Dst, *currBldrCtx);
2966 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
2989 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp 67 unsigned Count = currBldrCtx->blockCount();
80 StmtNodeBuilder Bldr(*it, Tmp2, *currBldrCtx);
85 unsigned Count = currBldrCtx->blockCount();
171 currBldrCtx->blockCount());
205 currBldrCtx->blockCount());
250 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
294 currBldrCtx->blockCount());
325 StmtNodeBuilder Bldr(dstPreStmt, Dst, *currBldrCtx);
479 currBldrCtx->blockCount());
504 currBldrCtx->blockCount());
552 StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
590 StmtNodeBuilder B(dstPreVisit, dstEvaluated, *currBldrCtx);
620 currBldrCtx->blockCount());
658 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
735 StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
788 StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
839 currBldrCtx->blockCount());
848 StmtNodeBuilder B(Pred, Dst, *currBldrCtx);
873 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx);
931 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx);
1076 StmtNodeBuilder Bldr(Tmp, Dst2, *currBldrCtx);
1126 currBldrCtx->blockCount());
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp 29 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
227 RegionTy, currBldrCtx->blockCount());
327 Caller->getCalleeStackFrame(currBldrCtx->blockCount());
346 *Caller->getAdjustedParameterIndex(Idx), currBldrCtx->blockCount());
409 StmtNodeBuilder Bldr(Pred, destNodes, *currBldrCtx);
489 StmtNodeBuilder BldrPrepare(Pred, DstPrepare, *currBldrCtx);
507 StmtNodeBuilder Bldr(DstPreVisit, PreInitialized, *currBldrCtx);
538 StmtNodeBuilder Bldr(DstPreCall, DstEvaluated, *currBldrCtx);
623 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
639 NodeBuilder Bldr(Pred, Dst, *currBldrCtx);
659 StmtNodeBuilder Bldr(DstPreCall, DstInvalidated, *currBldrCtx);
685 StmtNodeBuilder CallBldr(DstPreCall, DstPostCall, *currBldrCtx);
695 StmtNodeBuilder ValueBldr(DstPostCall, DstPostValue, *currBldrCtx);
744 unsigned blockCount = currBldrCtx->blockCount();
800 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
849 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
865 currBldrCtx->blockCount());
869 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
875 StmtNodeBuilder Bldr(Pred, Dst, *currBldrCtx);
931 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 177 SaveAndRestore<const NodeBuilderContext *> NodeContextRAII(currBldrCtx, &BC);
288 currBldrCtx = &Ctx;
296 currBldrCtx = nullptr;
319 SaveAndRestore<const NodeBuilderContext*> NBCSave(currBldrCtx,
454 CalleeADC->getStackFrame(ParentOfCallee, CallE, currBldrCtx->getBlock(),
455 currBldrCtx->blockCount(), currStmtIdx);
561 NodeBuilder B(Pred, Dst, *currBldrCtx);
627 unsigned Count = currBldrCtx->blockCount();
675 State = Call.invalidateRegions(currBldrCtx->blockCount(), State);
1097 StmtNodeBuilder B(dstPreVisit, Dst, *currBldrCtx);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp 30 StmtNodeBuilder Bldr(Pred, dstIvar, *currBldrCtx);
134 StmtNodeBuilder Bldr(Pred, Tmp, *currBldrCtx);
138 SymMgr, currBldrCtx, Bldr,
142 SymMgr, currBldrCtx, Bldr,
200 StmtNodeBuilder Bldr(Pred, dstNil, *currBldrCtx);
218 StmtNodeBuilder Bldr(Pred, dstNonNil, *currBldrCtx);
242 StmtNodeBuilder Bldr(dstGenericPrevisit, dstEval, *currBldrCtx);