isl_map_read_from_*: plug memory leak on error path
commit28533ac3f6d6cba685dc7dcc0d2be117754c7a6a
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 27 Jun 2018 11:39:27 +0000 (27 13:39 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 3 Jul 2018 09:01:24 +0000 (3 11:01 +0200)
tree1debe102659104c8db53c1ef31eda1851741b828
parent48e6d14290572a8bb52ff2e106e3022c35b4cae5
isl_map_read_from_*: plug memory leak on error path

In particular, when one or more disjuncts have been successfully parsed
and an error occurs on the next disjunct, then the previous disjuncts
did not get cleaned up.
The leak was introduced in isl-0.19-18-gc584553093 (isl_input.c:
obj_read: extract out obj_read_disjuncts, Mon Oct 16 14:36:03 2017 +0200).

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