isl_basic_map_involves_dims: double-check divs
commitcdcfca1606132efe02441a3b726a52cfa9841918
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 29 Nov 2011 09:17:46 +0000 (29 10:17 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 30 Nov 2011 09:37:23 +0000 (30 10:37 +0100)
tree189a4193599c35f0be306cda1dda8e6a319d63a6
parent21e5f7e69d4fde1dfc88522135a079896d4701dc
isl_basic_map_involves_dims: double-check divs

In principle, the extra test is not needed at this moment, but
this may change in future.

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