From: Michael Matz <matz@suse.de>
Date: Tue, 5 Feb 2008 17:34:17 +0000 (+0000)
Subject: Iterating over the literals of a rule requires setting up the literal
X-Git-Tag: BASE-SuSE-Code-12_1-Branch~981
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=6176299f0c28009051f1cea104eb422084e57425;p=platform%2Fupstream%2Flibsolv.git

Iterating over the literals of a rule requires setting up the literal
list pointer from rule->d.
---

diff --git a/src/solver.c b/src/solver.c
index 7ad82d7..b407c46 100644
--- a/src/solver.c
+++ b/src/solver.c
@@ -1582,6 +1582,7 @@ analyze(Solver *solv, int level, Rule *c, int *pr, int *dr, int *whyp)
 	    }
 	  queue_push(&solv->learnt_pool, why);
 	  c = solv->rules + why;
+	  dp = c->d ? pool->whatprovidesdata + c->d : 0;
 	  IF_POOLDEBUG (SAT_DEBUG_ANALYZE)
 	    printruleclass(solv, SAT_DEBUG_ANALYZE, c);
 	  for (i = -1; ; i++)