- Need to copy doc comments correct for properties

diff --git a/Zend/zend_compile.c b/Zend/zend_compile.c
index 06ba979436cb4e8c29d984d3f54d7b66b638abf0..e1c2637b5218d198de77184ea43814f2a6887fe2 100644 (file)
--- a/Zend/zend_compile.c
+++ b/Zend/zend_compile.c
@@ -42,6 +42,9 @@ ZEND_API zend_executor_globals executor_globals;
 static void zend_duplicate_property_info(zend_property_info *property_info)
 {
        property_info->name = estrndup(property_info->name, property_info->name_length);
+       if (property_info->doc_comment) {
+               property_info->doc_comment = estrndup(property_info->doc_comment, property_info->doc_comment_len);
+       }
 }