isl_pw_qpolynomial_sum: error out if input does not have a domain
commit2c2d4123ce44da07174fe6472e45fc28a2baddb7
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 6 Feb 2013 10:58:12 +0000 (6 11:58 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 6 Feb 2013 10:58:12 +0000 (6 11:58 +0100)
treeef4aba5cf14a3423d2c9ea91a5c1bda58a64d84b
parent209b9bd6006ad285b11b81f096ea6384723ca227
isl_pw_qpolynomial_sum: error out if input does not have a domain

When isl_pw_qpolynomial_sum was first created, we were unable
to detect the difference between a zero dimensional domain and
the absence of a domain.  However, we have been able to tell
the difference for a while now and it does not really make sense
to compute the sum over a non-existing domain so we no longer allow
such inputs.

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