isl_tab_min: read off all information from tableau before rollback

As it happens, the rollback has little effect in this case and
the information is still available, but we shouldn't depend on this.

1 files changed, 2 insertions, 2 deletions

diff --git a/isl_tab.c b/isl_tab.c
index ea1f85c7..ff6ed85e 100644
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -1912,8 +1912,6 @@ enum isl_lp_result isl_tab_min(struct isl_tab *tab,
 			break;
 		isl_tab_pivot(tab, row, col);
 	}
-	if (isl_tab_rollback(tab, snap) < 0)
-		return isl_lp_error;
 	if (ISL_FL_ISSET(flags, ISL_TAB_SAVE_DUAL)) {
 		int i;
 
@@ -1945,6 +1943,8 @@ enum isl_lp_result isl_tab_min(struct isl_tab *tab,
 			isl_int_cdiv_q(*opt, tab->mat->row[var->index][1],
 					     tab->mat->row[var->index][0]);
 	}
+	if (isl_tab_rollback(tab, snap) < 0)
+		return isl_lp_error;
 	return res;
 }