isl_tab_detect_implicit_equalities: also detect manifest equalities
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 7 Jun 2010 21:44:26 +0000 (23:44 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 12 Jun 2010 11:28:00 +0000 (13:28 +0200)
commitb944c27a4e9ea06d27bb879e9f222f8c915d1218
tree3e9dc4e99722ebcf6eabb985ab022abd4105b916
parent8c941bcffef6ed86db0cdcde31cf5676da2b2570
isl_tab_detect_implicit_equalities: also detect manifest equalities

It's not clear why manifestly zero rows were ignored before.
isl_tab.c