isl_tab_push_basis: accept NULL pointer on zero-size allocation
commitebcf3c4b213d706f1f39c0c564624624025e2816
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 5 Jul 2013 17:21:58 +0000 (5 19:21 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 5 Jul 2013 17:21:58 +0000 (5 19:21 +0200)
treed57a4e2ef7e7c65cd038472288811425441717c2
parente2c3aa2b27c022c093120f240763bd759c661207
isl_tab_push_basis: accept NULL pointer on zero-size allocation

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