e0b774b Refuse solving of empty problems. — HardenedBSD-pkg

rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9

HardenedBSD Package Manager

Refuse solving of empty problems.

Vsevolod Stakhov committed 12 years ago

commit e0b774b484223d384b05715a3f6fb039f474854c
parent 87d2503

1 file changed +2 -0

modified libpkg/pkg_solve.c

@@ -294,6 +294,8 @@ pkg_solve_sat_problem(struct pkg_solve_problem *problem)

 	bool guessed = false;
 	struct pkg_solve_variable *var, *tvar;
 	assert(problem->rules_count > 0);
 	/* Initially propagate explicit rules */
 	pkg_solve_propagate_pure(problem);
 	if (!pkg_solve_propagate_units(problem, &propagated)) {