Use efree_size()

cmb69 · cmb69 · commit 0dfb965c55a1 · 2024-10-19T13:37:57.000+02:00
diff --git a/ext/gmp/gmp.c b/ext/gmp/gmp.c
@@ -533,7 +533,7 @@ static void *gmp_realloc(void *ptr, size_t old_size, size_t new_size)
 
 static void gmp_free(void *ptr, size_t size)
 {
-	efree(ptr);
+	efree_size(ptr, size);
 }
 
 /* {{{ ZEND_GINIT_FUNCTION */

Original file line number	Diff line number	Diff line change
`@@ -533,7 +533,7 @@ static void gmp_realloc(void ptr, size_t old_size, size_t new_size)`
`533`	`533`
`534`	`534`	`static void gmp_free(void *ptr, size_t size)`
`535`	`535`	`{`
`536`		`- efree(ptr);`
	`536`	`+ efree_size(ptr, size);`
`537`	`537`	`}`
`538`	`538`
`539`	`539`	`/* {{{ ZEND_GINIT_FUNCTION */`