Fixed a possible segmentation fault in file() function.

diff --git a/ext/standard/file.c b/ext/standard/file.c
index 0ef721547898527516142eac32c768ae4b21faf6..1e10984cca93ae8fae540c759e0b07027d0c1ed7 100644 (file)
--- a/ext/standard/file.c
+++ b/ext/standard/file.c
@@ -461,7 +461,7 @@ PHP_FUNCTION(file)
 {
        char *filename;
        int filename_len;
-       char *slashed, *target_buf, *p, *s, *e;
+       char *slashed, *target_buf=NULL, *p, *s, *e;
        register int i = 0;
        int target_len, len;
        char eol_marker = '\n';
@@ -516,7 +516,9 @@ PHP_FUNCTION(file)
                }
        }
 
-       efree(target_buf);
+       if (target_buf) {
+               efree(target_buf);
+       }       
        php_stream_close(stream);
 }
 /* }}} */