diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2012-12-01 00:28:49 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2012-12-01 17:38:07 +0100 |
commit | 549d43e8a53ab902169fdf0d481bd98cf33f6da5 (patch) | |
tree | ed53b149b80425c72e0323f94e9d60368da580aa /isl_tab_pip.c | |
parent | e98192b2942cdf66379eb10dd6ec99d3d82df1f4 (diff) | |
download | isl-549d43e8a53ab902169fdf0d481bd98cf33f6da5.tar.gz isl-549d43e8a53ab902169fdf0d481bd98cf33f6da5.tar.bz2 isl-549d43e8a53ab902169fdf0d481bd98cf33f6da5.zip |
isl_tab_pip.c: sol_push_sol: plug memory leak on error path
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Diffstat (limited to 'isl_tab_pip.c')
-rw-r--r-- | isl_tab_pip.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isl_tab_pip.c b/isl_tab_pip.c index 4acfe8e7..3f6673f2 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -201,6 +201,7 @@ static void sol_push_sol(struct isl_sol *sol, return; error: isl_basic_set_free(dom); + isl_mat_free(M); sol->error = 1; } |