Fix bug in IdempotentOperationChecker where an assumption would not get updated properly.
llvm-svn: 112309
This commit is contained in:
parent
23fd10cb4e
commit
c29c91aaaa
|
@ -386,6 +386,10 @@ void IdempotentOperationChecker::VisitEndAnalysis(ExplodedGraph &G,
|
|||
// Updates the current assumption given the new assumption
|
||||
inline void IdempotentOperationChecker::UpdateAssumption(Assumption &A,
|
||||
const Assumption &New) {
|
||||
// If the assumption is the same, there is nothing to do
|
||||
if (A == New)
|
||||
return;
|
||||
|
||||
switch (A) {
|
||||
// If we don't currently have an assumption, set it
|
||||
case Possible:
|
||||
|
|
Loading…
Reference in New Issue