Fix: Incorrect free of unallocated data_names
@@ -2836,10 +2836,12 @@ void pluto_prog_free(PlutoProg *prog)
free(prog->decls);
/* Free data names */
+ if (!prog->data_names) {
for (i=0; i<prog->num_data; i++) {
free(prog->data_names[i]);
}
free(prog->data_names);
+ }
free(prog);
}
