[PATCH] D18504: Bail as early as possible

[Sven Verdoolaege via llvm-commits]

On Sun, Mar 27, 2016 at 09:22:32PM +0000, Johannes Doerfert wrote:
> +      // Check if the maximal number of domain conjuncts was reached.
> +      // In case this happens we will clean up and bail.
> +      if (isl_set_n_basic_set(SuccDomain) <= MaxConjunctsInDomain)

You're not checking the number of conjuncts, but the number of *dis*juncts.
"MaxConjunctsInDomain" is presumably also a misnomer.

skimo