zend_compile_file returns a NULL on error, check for that before

calling destroy_op_array unless we like crashes :-)

diff --git a/main/main.c b/main/main.c
index f08985346108ce02a959b8815ef995cb4b8d2ca4..b926d5661a5ba7627f0611209c25d49b4f1701b7 100644 (file)
--- a/main/main.c
+++ b/main/main.c
@@ -1263,7 +1263,8 @@ PHPAPI int php_lint_script(zend_file_handle *file CLS_DC ELS_DC PLS_DC)
 
        op_array = zend_compile_file(file, ZEND_INCLUDE CLS_CC);
        retval = (op_array?SUCCESS:FAILURE);
-       destroy_op_array(op_array);
+       /* SMC op_array may be NULL */
+       if (op_array != NULL) destroy_op_array(op_array);
 
        return retval;
 }