isl_pw_*_plain_is_equal: fix handling of NaNs
commitb876eeab4bed8cc2bd2e5cc6b55dd966c20d6777
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 5 Jul 2016 10:35:07 +0000 (5 12:35 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 3 Jan 2017 11:41:53 +0000 (3 12:41 +0100)
treeb56255c50d4765e595ba6b0c5e35d17749c0806f
parent0a454a12c6e652b0a4345529966cd546f52132e3
isl_pw_*_plain_is_equal: fix handling of NaNs

Any piecewise expression involving NaNs is not equal to anything,
not even itself, so it cannot be obviously equal to anything either.

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