- opened_path should not be freed here as the zend_file_dtor() takes care

  of it. This doesn't fix the bug report for the crash of highlight_file()
  though.

diff --git a/Zend/zend-scanner.l b/Zend/zend-scanner.l
index 79ba992ff8416c17b6fced3e39fcfc34bfaf0969..a4edba40a0c8fcd78341032b31b43dedd2acef19 100644 (file)
--- a/Zend/zend-scanner.l
+++ b/Zend/zend-scanner.l
@@ -566,9 +566,6 @@ int highlight_file(char *filename, zend_syntax_highlighter_ini *syntax_highlight
                zend_message_dispatcher(ZMSG_FAILED_HIGHLIGHT_FOPEN, filename);
                return FAILURE;
        }
-       if (file_handle.opened_path) {
-               free(file_handle.opened_path);
-       }
        zend_highlight(syntax_highlighter_ini);
        zend_close_file_handle(&file_handle CLS_CC);
        restore_lexical_state(&original_lex_state CLS_CC);