isl_tab_pip.c: context_gbr_restore: abort on failure to restore cgbr->tab
commit4797e5ba7f5d4e75791fe460399175c20b189f1f
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 19 Apr 2015 17:14:57 +0000 (19 19:14 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 1 May 2015 07:11:18 +0000 (1 09:11 +0200)
treeeb86795fa70a5844f3f7979a663c6d3714d61821
parent3d8be047c7ef6aa2ef8d965a2573620a75c41e82
isl_tab_pip.c: context_gbr_restore: abort on failure to restore cgbr->tab

If anything goes wrong during the context computation, then cgbr->tab
is set to NULL.  In particular, if cgbr->tab is NULL, then cgbr->shifted
and/or cgbr->cone may be in an inconsistent state.
Do not try perform a rollback on these tableaux in a possibly inconsistent
state.  There would not be any point in performing these rollbacks anyway.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab_pip.c