add missing annotations to isl_basic_set_compute_divs
commitaca4406229d4f433dc65cf5dac0b1facb79fb557
authorMalhar Thakkar <malhar1910@gmail.com>
Mon, 3 Jul 2017 12:31:27 +0000 (3 18:01 +0530)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 3 Jul 2017 14:54:50 +0000 (3 16:54 +0200)
tree1370df66d30448aa826ec1318d5f5dbb8d984024
parentfc6f66eb93911c9ab167f31405b48b78e9fb7c7e
add missing annotations to isl_basic_set_compute_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>
include/isl/set.h
isl_map.c