From: Michael Schroeder <mls@suse.de>
Date: Tue, 22 Apr 2008 17:09:35 +0000 (+0000)
Subject: - do not delete negative bitfield entries [bnc#381908]
X-Git-Tag: BASE-SuSE-Code-12_1-Branch~701
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=8798d822f237f7e71f786553d09787aa812fd2bc;p=platform%2Fupstream%2Flibsolv.git

- do not delete negative bitfield entries [bnc#381908]
---

diff --git a/src/solver.c b/src/solver.c
index 07fa0c1..ccb1ee2 100644
--- a/src/solver.c
+++ b/src/solver.c
@@ -1531,7 +1531,10 @@ l1retry:
 	    break;
 	  POOL_DEBUG(SAT_DEBUG_ANALYZE, "got %d involved level 1 decisions\n", l1num);
 	  for (i = 0; i < r.count; i++)
-	    MAPCLR(&seen, r.elements[i]);
+	    {
+	      v = r.elements[i];
+	      MAPCLR(&seen, v > 0 ? v : -v);
+	    }
 	  /* only level 1 marks left */
 	  l1num++;
 	  goto l1retry;