isl_basic_map_add_div: explicitly zero out coefficient of new integer division
commita3010bba852385893cc0184a38898d0537693f3c
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 18 Jul 2016 08:41:59 +0000 (18 10:41 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 19 Jul 2016 09:44:08 +0000 (19 11:44 +0200)
tree324b50c2449cc8aeacc0b245f3590a2e7e37d237
parentfef1e70431c1877dee46d179faf3ce5bf0d37106
isl_basic_map_add_div: explicitly zero out coefficient of new integer division

isl_basic_map_add_div takes a description of the new integer division
in terms of the original variables.  In particular, the description
does not reference the newly added integer division itself.
When initializing the integer division from this description,
the coefficient of the integer division itself is therefore not explicitly set.
isl_basic_map_alloc_div does take care of initializing this coefficient
to zero, but it should be more future-proof to initialize the coefficient
explicitly inside isl_basic_map_add_div.

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