From c24b4f6ae3507aa501c2dafdff62c1059f8922ad Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Wed, 16 Nov 2011 19:57:59 +0000 Subject: [PATCH] [analyzer] Assert if we ever get an over constrained state. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@144821 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../StaticAnalyzer/Core/PathSensitive/ConstraintManager.h | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h index 3f6dddead8..3f58a7cff3 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h @@ -39,8 +39,11 @@ public: std::pair assumeDual(const ProgramState *state, DefinedSVal Cond) { - return std::make_pair(assume(state, Cond, true), - assume(state, Cond, false)); + std::pair res = + std::make_pair(assume(state, Cond, true), assume(state, Cond, false)); + + assert(!(!res.first && !res.second) && "System is over constrained."); + return res; } virtual const llvm::APSInt* getSymVal(const ProgramState *state, -- 2.40.0