tree2scop.c: scop_add_kill: plug memory leak
commitb83abe436d9b8d5997b171f5c981ddc13cf61e8a
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 17 Dec 2015 13:56:14 +0000 (17 14:56 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 17 Dec 2015 14:03:06 +0000 (17 15:03 +0100)
treed7853357118521d1a83929a1064161d797482638
parent68f6102accce0f9b05d2accc0cda6bf561b16f37
tree2scop.c: scop_add_kill: plug memory leak

If an error occurs or if the expression cannot be killed,
one of the arguments would not get freed.
The memory leak was introduced in b3c3e43 (add support for __pencil_kill,
Fri Oct 17 15:30:38 2014 +0200).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
tree2scop.c