isl_map.c: div_involves_vars: use isl_basic_map_div_is_marked_unknown
commit1da95e22ca48f52de3efc1b2b78d4942de91a2ee
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 11 Jul 2016 10:29:39 +0000 (11 12:29 +0200)
committerSven Verdoolaege <sven@cerebras.net>
Sun, 25 Feb 2024 14:46:34 +0000 (25 15:46 +0100)
treef32a9530104d7d45166309d4adf3df28f420937e
parent2d9ee4dab9e589ba071358fa20c91b014b0a5f85
isl_map.c: div_involves_vars: use isl_basic_map_div_is_marked_unknown

This reduces the dependence on the internal representation.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_map.c