add missing annotations to isl_basic_map_drop_redundant_divs
commitdbc1d11d9c8ca7bda936f5c17b1d787549d6c62c
authorMalhar Thakkar <malhar1910@gmail.com>
Mon, 3 Jul 2017 12:31:23 +0000 (3 18:01 +0530)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 3 Jul 2017 14:54:50 +0000 (3 16:54 +0200)
tree8a260fd4e320cfba099ab59434f04ca73fd31f59
parent5d781e933cccdce4fe07c4e660d13f93f4817ddf
add missing annotations to isl_basic_map_drop_redundant_divs

These annotations prevent some memory leak warnings from being raised while
performing static analysis.

Signed-off-by: Malhar Thakkar <malhar1910@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_map_private.h