Searched refs:MarkBranch (Results 1 – 2 of 2) sorted by relevance
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | ExprEngine.h | 427 const GRState* MarkBranch(const GRState* St, const Stmt* Terminator,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngine.cpp | 837 const GRState* ExprEngine::MarkBranch(const GRState* state, in MarkBranch() function in ExprEngine
973 builder.generateNode(MarkBranch(PrevState, Term, true), true); in processBranch()
974 builder.generateNode(MarkBranch(PrevState, Term, false), false); in processBranch()
984 builder.generateNode(MarkBranch(state, Term, true), true); in processBranch()
992 builder.generateNode(MarkBranch(state, Term, false), false); in processBranch()
|