Searched refs:CheckedSet (Results 1 – 4 of 4) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineC.cpp | 30 ExplodedNodeSet CheckedSet; in VisitBinaryOperator() local
32 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, B, *this); in VisitBinaryOperator()
35 for (ExplodedNodeSet::iterator it=CheckedSet.begin(), ei=CheckedSet.end(); in VisitBinaryOperator()
754 ExplodedNodeSet CheckedSet; in VisitUnaryExprOrTypeTraitExpr() local
755 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, Ex, *this); in VisitUnaryExprOrTypeTraitExpr()
758 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx); in VisitUnaryExprOrTypeTraitExpr()
762 for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end(); in VisitUnaryExprOrTypeTraitExpr()
796 ExplodedNodeSet CheckedSet; in VisitUnaryOperator() local
797 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, U, *this); in VisitUnaryOperator()
800 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx); in VisitUnaryOperator()
[all …]
|
| D | ExprEngine.cpp | 393 ExplodedNodeSet CheckedSet; in removeDead() local
394 getCheckerManager().runCheckersForDeadSymbols(CheckedSet, Pred, SymReaper, in removeDead()
400 StmtNodeBuilder Bldr(CheckedSet, Out, *currBldrCtx); in removeDead()
402 I = CheckedSet.begin(), E = CheckedSet.end(); I != E; ++I) { in removeDead()
2002 ExplodedNodeSet CheckedSet; in VisitMemberExpr() local
2003 getCheckerManager().runCheckersForPreStmt(CheckedSet, Pred, M, *this); in VisitMemberExpr()
2012 for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end(); in VisitMemberExpr()
2017 StmtNodeBuilder Bldr(CheckedSet, EvalSet, *currBldrCtx); in VisitMemberExpr()
2020 for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end(); in VisitMemberExpr()
2239 ExplodedNodeSet CheckedSet; in evalBind() local
[all …]
|
| /external/auto/value/userguide/ |
| D | autobuilder.md | 250 class CheckedSet<E> implements Set<E> {
251 <T extends E> CheckedSet(Class<T> type) {...}
256 CheckedSet<E> build();
|
| /external/ow2-asm/tools/retrofitter/src/main/resources/ |
| D | jdk1.5.0.12.txt.gz | |