From 0c272342a9bd9f15d2ea4bf003409fbd83c96c30 Mon Sep 17 00:00:00 2001 From: bdemsky <bdemsky@uci.edu> Date: Thu, 20 Jul 2017 15:27:23 -0700 Subject: [PATCH] Fix Leak --- src/Backend/satfuncopencoder.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Backend/satfuncopencoder.c b/src/Backend/satfuncopencoder.c index 67441d5..1fc8ae6 100644 --- a/src/Backend/satfuncopencoder.c +++ b/src/Backend/satfuncopencoder.c @@ -75,8 +75,10 @@ Edge encodeEnumOperatorPredicateSATEncoder(SATEncoder * This, BooleanPredicate * } } } - if(getSizeVectorEdge(clauses) == 0) + if(getSizeVectorEdge(clauses) == 0) { + deleteVectorEdge(clauses); return E_False; + } Edge cor=constraintOR(This->cnf, getSizeVectorEdge(clauses), exposeArrayEdge(clauses)); deleteVectorEdge(clauses); return generateNegation ? constraintNegate(cor) : cor; @@ -217,4 +219,4 @@ Edge encodeCircuitEquals(SATEncoder * This, BooleanPredicate * constraint) { carray[i]=constraintIFF(This->cnf, ee0->variables[i], ee1->variables[i]); } return constraintAND(This->cnf, numVars, carray); -} \ No newline at end of file +} -- 2.34.1