php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Return to Bug #80243
Patch php80_fix_double_free.patch revision 2020-10-20 19:25 UTC by brainpower at mailbox dot org

Patch php80_fix_double_free.patch for JIT Bug #80243

Patch version 2020-10-20 19:25 UTC

Return to Bug #80243 | Download this patch
Patch Revisions:

Developer: brainpower@mailbox.org

--- a/main/php_ini.c.orig	2020-10-20 21:17:09.932577083 +0200
+++ b/main/php_ini.c	2020-10-20 21:17:16.769210627 +0200
@@ -374,7 +374,6 @@
 
 			efree(orig_libpath);
 			efree(err1);
-			efree(libpath);
 		}
 
 #ifdef PHP_WIN32
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Thu Nov 21 13:01:29 2024 UTC