isl_basic_set_substitute: check that input affine expression is integral
commit225c7e232df74cf93c7b0c1f945bbdf7581cc455
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 1 Mar 2012 10:02:51 +0000 (1 11:02 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 18 Sep 2012 13:08:21 +0000 (18 15:08 +0200)
tree73d1e9ea029eef2392f9d4e9179d800c14c0a610
parentea61febf36017882166bee2975f7f0e09dcf7ab3
isl_basic_set_substitute: check that input affine expression is integral

Otherwise, we may have to add stride constraints.

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