isl_{union_},pw_*_eval: handle void input
commit4d165419083057d6a76fb922c964534d726efb37
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 16 Feb 2018 08:35:17 +0000 (16 09:35 +0100)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Sat, 17 Feb 2018 09:41:45 +0000 (17 10:41 +0100)
treebe5d25f86d0a10baf3d20b038aa6a2eb521b8af3
parent6fd7485012bf685001e6d5d5a139e2269ac4cc01
isl_{union_},pw_*_eval: handle void input

As in the case of isl-0.17.1-48-gca1aaa43df (isl_qpolynomial_eval:
handle void input, Mon Nov 28 12:18:18 2016 +0100), it is not
clear if it makes sense to evaluate such functions at a void point,
but the current implementation may end up calling the internal
isl_set_contains_point, which does not support void points and
may return arbitrary results.
Consistently return NaN on void input.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/user.pod
isl_pw_templ.c
isl_union_eval.c