maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[analyzer] Assert if we ever get an over constrained state. 

llvm-svn: 144821
This commit is contained in:
Anna Zaks 2011-11-16 19:57:59 +00:00
parent 3888aa4beb
commit 4f6c0e0cf6
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
View File

@ -39,8 +39,11 @@ public:
std::pair<const ProgramState*, const ProgramState*> std::pair<const ProgramState*, const ProgramState*>
assumeDual(const ProgramState *state, DefinedSVal Cond) assumeDual(const ProgramState *state, DefinedSVal Cond)
{ {
return std::make_pair(assume(state, Cond, true), std::pair<const ProgramState*, const ProgramState*> res =
assume(state, Cond, false)); 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, virtual const llvm::APSInt* getSymVal(const ProgramState *state,