From 34698efc2f84ad9e24a071d84146b97e520fbc46 Mon Sep 17 00:00:00 2001
From: Michael Schroeder <mls@suse.de>
Date: Fri, 5 Dec 2008 17:36:57 +0000
Subject: [PATCH] - fix disabling of weak job rules [bnc#450844]

---
 src/solver.c | 31 ++++++++++++++++++++++++++-----
 src/solver.h |  2 +-
 2 files changed, 27 insertions(+), 6 deletions(-)

diff --git a/src/solver.c b/src/solver.c
index 5b37db9..186210f 100644
--- a/src/solver.c
+++ b/src/solver.c
@@ -27,6 +27,8 @@
 
 #define RULES_BLOCK 63
 
+static void disableupdaterules(Solver *solv, Queue *job, int jobidx);
+
 /********************************************************************
  *
  * dependency check helpers
@@ -774,7 +776,14 @@ makeruledecisions(Solver *solv)
 	
       POOL_DEBUG(SAT_DEBUG_UNSOLVABLE, "assertion conflict, but I am weak, disabling ");
       solver_printrule(solv, SAT_DEBUG_UNSOLVABLE, r);
-      disablerule(solv, r);
+
+      if (ri >= solv->jobrules && ri < solv->jobrules_end)
+	v = -(solv->ruletojob.elements[ri - solv->jobrules] + 1);
+      else
+	v = ri;
+      disableproblem(solv, v);
+      if (v < 0)
+	disableupdaterules(solv, solv->job, -(v + 1));
     }
   
   POOL_DEBUG(SAT_DEBUG_SCHUBI, "----- makeruledecisions end; size decisionq: %d -----\n",solv->decisionq.count);
@@ -967,6 +976,8 @@ disableupdaterules(Solver *solv, Queue *job, int jobidx)
 	  s = pool->solvables + what;
 	  if (s->repo == installed)
 	    {
+	      if (MAPTST(&solv->noupdate, what - installed->start))
+		break;
 	      r = solv->rules + solv->updaterules + (what - installed->start);
 	      if (r->d >= 0)
 	        break;
@@ -2125,13 +2136,19 @@ analyze_unsolvable(Solver *solv, Rule *cr, int disablerules)
 
   if (lastweak)
     {
+      Id v;
       /* disable last weak rule */
       solv->problems.count = oldproblemcount;
       solv->learnt_pool.count = oldlearntpoolcount;
-      r = solv->rules + lastweak;
+      if (lastweak >= solv->jobrules && lastweak < solv->jobrules_end)
+	v = -(solv->ruletojob.elements[lastweak - solv->jobrules] + 1);
+      else
+        v = lastweak;
       POOL_DEBUG(SAT_DEBUG_UNSOLVABLE, "disabling ");
-      solver_printruleclass(solv, SAT_DEBUG_UNSOLVABLE, r);
-      disablerule(solv, r);
+      solver_printruleclass(solv, SAT_DEBUG_UNSOLVABLE, solv->rules + lastweak);
+      disableproblem(solv, v);
+      if (v < 0)
+	disableupdaterules(solv, solv->job, -(v + 1));
       reset_solver(solv);
       return 1;
     }
@@ -4198,9 +4215,12 @@ solver_solve(Solver *solv, Queue *job)
   if (!pool->whatprovides)
     pool_createwhatprovides(pool);
 
-  /* create obsolete index if needed */
+  /* create obsolete index */
   create_obsolete_index(solv);
 
+  /* remember job */
+  solv->job = job;
+
   /*
    * create basic rule set of all involved packages
    * use addedmap bitmap to make sure we don't create rules twice
@@ -4799,6 +4819,7 @@ solver_solve(Solver *solv, Queue *job)
   queue_free(&redoq);
   POOL_DEBUG(SAT_DEBUG_STATS, "final solver statistics: %d learned rules, %d unsolvable\n", solv->stats_learned, solv->stats_unsolvable);
   POOL_DEBUG(SAT_DEBUG_STATS, "solver_solve took %d ms\n", sat_timems(solve_start));
+  solv->job = 0;
 }
 
 /***********************************************************************/
diff --git a/src/solver.h b/src/solver.h
index 1888f7b..d3757eb 100644
--- a/src/solver.h
+++ b/src/solver.h
@@ -204,10 +204,10 @@ typedef struct solver {
     
 
   /* some strange queue that doesn't belong here */
-
   Queue covenantq;                      /* Covenants honored by this solver (generic locks) */
 
   
+  Queue *job;				/* tmp store for job we're working on */
 } Solver;
 
 /*
-- 
2.7.4