diff --git a/lib/StaticAnalyzer/Core/ExprEngine.cpp b/lib/StaticAnalyzer/Core/ExprEngine.cpp index 506b269df64473f4228601700f41b5014e839921..883ce40a62b4971373ce94878ca2d2b06022db6b 100644 --- a/lib/StaticAnalyzer/Core/ExprEngine.cpp +++ b/lib/StaticAnalyzer/Core/ExprEngine.cpp @@ -1352,6 +1352,7 @@ static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr, return state->getSVal(Ex, LCtx); } +#ifndef NDEBUG static const Stmt *getRightmostLeaf(const Stmt *Condition) { while (Condition) { const BinaryOperator *BO = dyn_cast<BinaryOperator>(Condition); @@ -1362,6 +1363,7 @@ static const Stmt *getRightmostLeaf(const Stmt *Condition) { } return nullptr; } +#endif // Returns the condition the branch at the end of 'B' depends on and whose value // has been evaluated within 'B'.