aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/xor_and_mat
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-18 11:41:24 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-18 11:41:24 +0100
commit18540b654ac649d56bfd7261bdc99c7506aaf602 (patch)
treed8de46240c8e1cdf72c4d7e17f795a585e994547 /test/monniaux/xor_and_mat
parentb0e23628f95845591f8ce697784beda13e3cf640 (diff)
downloadcompcert-kvx-18540b654ac649d56bfd7261bdc99c7506aaf602.tar.gz
compcert-kvx-18540b654ac649d56bfd7261bdc99c7506aaf602.zip
forgot to deallocate block
-g changes performance
Diffstat (limited to 'test/monniaux/xor_and_mat')
-rw-r--r--test/monniaux/xor_and_mat/int_mat_run.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/monniaux/xor_and_mat/int_mat_run.c b/test/monniaux/xor_and_mat/int_mat_run.c
index b05c9f9f..53335de4 100644
--- a/test/monniaux/xor_and_mat/int_mat_run.c
+++ b/test/monniaux/xor_and_mat/int_mat_run.c
@@ -85,5 +85,6 @@ int main() {
free(c4);
free(c5);
free(c6);
+ free(c7);
return 0;
}