add missing annotations to isl_basic_set_set_to_empty
commit619828f859a2c62e721ad3ed9d4c82f708f4f02a
authorMalhar Thakkar <malhar1910@gmail.com>
Mon, 3 Jul 2017 12:31:20 +0000 (3 18:01 +0530)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Mon, 3 Jul 2017 14:54:50 +0000 (3 16:54 +0200)
tree155f17d3ee392bff76c1623196b2f4aee44218f7
parentb5e6344adabe123adca0c2213a41f07a5da61a4d
add missing annotations to isl_basic_set_set_to_empty

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.c
isl_map_private.h