barvinok_count_with_options: check return value of remove_equalities
commitb19146cb36be9b7583f2194bdfc1137a165ccfca
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 30 Nov 2009 20:58:46 +0000 (30 21:58 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 30 Nov 2009 20:58:46 +0000 (30 21:58 +0100)
tree39afebcfe37efbd3c693efe5190d053604d6dbc2
parent60d5d093d626ac59edde0d677e12a71f265aa981
barvinok_count_with_options: check return value of remove_equalities

If remove_equalities figures out the input polyhedron is empty,
then it returns NULL, so we need to handle this case.

Problem reported by Michael Classen <michael.classen@uni-passau.de>
barvinok.cc
tests/empty7 [new file with mode: 0644]