projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cce8fd5) | patch
isl_tab_cone_is_bounded: start over after computing sign_of_max
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 20 Jul 2009 19:46:14 +0000 (21:46 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 20 Jul 2009 20:53:16 +0000 (22:53 +0200)
commit61833667ba27253ffef2efdab532d6df27bec5ef
tree7d6957dd3567e41b7794cb4eabb98bdab8268f10tree | snapshot
parentcce8fd5ebe7677e02c72d0ff81fa0b371f34c034commit | diff
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 diff | blob | history
Domain: System / Uncategorized;