f3151f6 solver: fix sigbus with vital rule — HardenedBSD-pkg

rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9

HardenedBSD Package Manager

solver: fix sigbus with vital rule

Baptiste Daroussin committed 2 years ago

commit f3151f6df74f3a3eada24e460478d25212791610
parent a340f78

1 file changed +2 -0

modified libpkg/pkg_solve.c

@@ -971,6 +971,8 @@ pkg_solve_set_initial_assumption(struct pkg_solve_problem *problem,

 		/* XXX: deal with require rules somehow */
 		break;
 	case PKG_RULE_VITAL:
 		assert (rule->items != NULL);
 		item = rule->items;
 		var = item->var;
 		picosat_set_default_phase_lit(problem->sat, var->order, 1);
 		break;