isl_tab_cone_is_bounded: start over after computing sign_of_max
commit61833667ba27253ffef2efdab532d6df27bec5ef
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 20 Jul 2009 19:46:14 +0000 (20 21:46 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 20 Jul 2009 20:53:16 +0000 (20 22:53 +0200)
tree7d6957dd3567e41b7794cb4eabb98bdab8268f10
parentcce8fd5ebe7677e02c72d0ff81fa0b371f34c034
isl_tab_cone_is_bounded: start over after computing sign_of_max

sign_of_max may have made some rows redundant and may therefore
invalidate the iteration over all non-redundant rows.

Problem reported by Uday Kumar <udayreddy@gmail.com>
isl_tab.c