MonetDB: Jul2017 - Plug leak.

[Sjoerd Mullender]

Changeset: 18d63f896283 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=18d63f896283
Modified Files:
        monetdb5/optimizer/opt_pushselect.c
Branch: Jul2017
Log Message:

Plug leak.


diffs (11 lines):

diff --git a/monetdb5/optimizer/opt_pushselect.c 
b/monetdb5/optimizer/opt_pushselect.c
--- a/monetdb5/optimizer/opt_pushselect.c
+++ b/monetdb5/optimizer/opt_pushselect.c
@@ -626,6 +626,7 @@ OPTpushselectImplementation(Client cntxt
                if (old[i])
                        pushInstruction(mb,old[i]);
        GDKfree(vars);
+       GDKfree(nvars);
        GDKfree(slices);
        GDKfree(rslices);
        GDKfree(old);
_______________________________________________
checkin-list mailing list
checkin-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/checkin-list