isl_pw_aff_non_zero_set: don't assume isl_pw_aff is total
commit732fdbd0b5857a367bd7677f6756fe7d28841653
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 17 Jan 2012 12:52:09 +0000 (17 13:52 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 18 Jan 2012 17:40:11 +0000 (18 18:40 +0100)
tree204b2e458de65cdbdab682b88f2a5fad838cdb0a
parent3b77aba10e5c8bb3430355a13c6ad341ab64bd87
isl_pw_aff_non_zero_set: don't assume isl_pw_aff is total

Before, we would return the domain where the function is not zero
or undefined, whereas we should only return the domain where the function
is not zero.

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