From fd3e982e69082f3b84ea501028918ac79f92d5ae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?D=C3=A1niel=20B=C3=A1tyai?= Date: Tue, 14 May 2019 14:10:39 +0200 Subject: [PATCH] Fix ecma collection header deallocation (#2874) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Collection headers are allocated using the pool allocator, so they should be freed by it as well. JerryScript-DCO-1.0-Signed-off-by: Dániel Bátyai dbatyai@inf.u-szeged.hu --- jerry-core/ecma/base/ecma-helpers-values-collection.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jerry-core/ecma/base/ecma-helpers-values-collection.c b/jerry-core/ecma/base/ecma-helpers-values-collection.c index 30bfdbbf7..56cd5accb 100644 --- a/jerry-core/ecma/base/ecma-helpers-values-collection.c +++ b/jerry-core/ecma/base/ecma-helpers-values-collection.c @@ -59,7 +59,7 @@ ecma_free_values_collection (ecma_collection_header_t *header_p, /**< collection ecma_collection_chunk_t *chunk_p = ECMA_GET_POINTER (ecma_collection_chunk_t, header_p->first_chunk_cp); - jmem_heap_free_block (header_p, sizeof (ecma_collection_header_t)); + jmem_pools_free (header_p, sizeof (ecma_collection_header_t)); if (chunk_p == NULL) {