summaryrefslogtreecommitdiff
path: root/ext/dom/document.c
diff options
context:
space:
mode:
authorMáté Kocsis <kocsismate@woohoolabs.com>2020-09-23 09:56:19 +0200
committerMáté Kocsis <kocsismate@woohoolabs.com>2020-09-23 10:07:58 +0200
commit72e8719ed08135e737f77e4f4419fc62620cd13b (patch)
treefbe941ee4a765020e8e69a17efb16ebc4bed0dca /ext/dom/document.c
parent7fedee873f0ae977aac1008daa87713a80fc9267 (diff)
downloadphp-git-72e8719ed08135e737f77e4f4419fc62620cd13b.tar.gz
Fix a few ZEND_UNREACHABLE() calls
Diffstat (limited to 'ext/dom/document.c')
-rw-r--r--ext/dom/document.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/ext/dom/document.c b/ext/dom/document.c
index b580842667..d3a8fa43a5 100644
--- a/ext/dom/document.c
+++ b/ext/dom/document.c
@@ -1102,7 +1102,8 @@ PHP_METHOD(DOMDocument, __construct)
}
intern->document = NULL;
if (php_libxml_increment_doc_ref((php_libxml_node_object *)intern, docp) == -1) {
- RETURN_FALSE;
+ /* docp is always non-null so php_libxml_increment_doc_ref() never returns -1 */
+ ZEND_UNREACHABLE();
}
php_libxml_increment_node_ptr((php_libxml_node_object *)intern, (xmlNodePtr)docp, (void *)intern);
}