From 4f6c0e0cf6f76e7c778d5643de5b183a3bb7e28d Mon Sep 17 00:00:00 2001
From: Anna Zaks <ganna@apple.com>
Date: Wed, 16 Nov 2011 19:57:59 +0000
Subject: [PATCH] [analyzer] Assert if we ever get an over constrained state.

llvm-svn: 144821
---
 .../StaticAnalyzer/Core/PathSensitive/ConstraintManager.h  | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
index 3f6dddead8e9..3f58a7cff364 100644
--- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
+++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
@@ -39,8 +39,11 @@ public:
   std::pair<const ProgramState*, const ProgramState*>
     assumeDual(const ProgramState *state, DefinedSVal Cond)
   {
-    return std::make_pair(assume(state, Cond, true),
-                          assume(state, Cond, false));
+    std::pair<const ProgramState*, const ProgramState*> 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,