From 29a0143f7040fb4caf1f6d3b703e6ad036393c23 Mon Sep 17 00:00:00 2001 From: Hamed Date: Wed, 19 Jul 2017 12:09:46 -0700 Subject: [PATCH] Fixing memory leaks ... --- src/AST/boolean.c | 21 +++++++++++++-------- 1 file changed, 13 insertions(+), 8 deletions(-) diff --git a/src/AST/boolean.c b/src/AST/boolean.c index 05feefb..e4e9ddd 100644 --- a/src/AST/boolean.c +++ b/src/AST/boolean.c @@ -51,14 +51,19 @@ Boolean * allocBooleanLogicArray(CSolver *solver, LogicOp op, Boolean ** array, void deleteBoolean(Boolean * This) { switch(GETBOOLEANTYPE(This)){ - case PREDICATEOP: { - BooleanPredicate *bp=(BooleanPredicate *)This; - deleteInlineArrayElement(& bp->inputs ); - deleteFunctionEncoding(& bp->encoding); - break; - } - default: - break; + case PREDICATEOP:{ + BooleanPredicate *bp=(BooleanPredicate *)This; + deleteInlineArrayElement(& bp->inputs ); + deleteFunctionEncoding(& bp->encoding); + break; + } + case LOGICOP:{ + BooleanLogic* bl = (BooleanLogic*) This; + deleteInlineArrayBoolean(&bl->inputs); + break; + } + default: + break; } deleteVectorArrayBoolean(GETBOOLEANPARENTS(This)); ourfree(This); -- 2.34.1