Add assertion that refcount is 1

nikic · nikic · commit cbf9712758ab · 2021-02-17T14:20:00.000+01:00
diff --git a/Zend/zend_vm_def.h b/Zend/zend_vm_def.h
@@ -8662,6 +8662,7 @@ ZEND_VM_HANDLER(183, ZEND_BIND_STATIC, CV, UNUSED, REF)
 		ht = zend_array_dup(EX(func)->op_array.static_variables);
 		ZEND_MAP_PTR_SET(EX(func)->op_array.static_variables_ptr, ht);
 	}
+	ZEND_ASSERT(GC_REFCOUNT(ht) == 1);
 
 	value = (zval*)((char*)ht->arData + (opline->extended_value & ~(ZEND_BIND_REF|ZEND_BIND_IMPLICIT)));
 
diff --git a/Zend/zend_vm_execute.h b/Zend/zend_vm_execute.h
@@ -47471,6 +47471,7 @@ static ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL ZEND_BIND_STATIC_SPEC_CV_UNUSED_HAN
 		ht = zend_array_dup(EX(func)->op_array.static_variables);
 		ZEND_MAP_PTR_SET(EX(func)->op_array.static_variables_ptr, ht);
 	}
+	ZEND_ASSERT(GC_REFCOUNT(ht) == 1);
 
 	value = (zval*)((char*)ht->arData + (opline->extended_value & ~(ZEND_BIND_REF|ZEND_BIND_IMPLICIT)));
 

Original file line number	Diff line number	Diff line change
`@@ -8662,6 +8662,7 @@ ZEND_VM_HANDLER(183, ZEND_BIND_STATIC, CV, UNUSED, REF)`
`8662`	`8662`	`ht = zend_array_dup(EX(func)->op_array.static_variables);`
`8663`	`8663`	`ZEND_MAP_PTR_SET(EX(func)->op_array.static_variables_ptr, ht);`
`8664`	`8664`	`}`
	`8665`	`+ ZEND_ASSERT(GC_REFCOUNT(ht) == 1);`
`8665`	`8666`
`8666`	`8667`	`value = (zval)((char)ht->arData + (opline->extended_value & ~(ZEND_BIND_REF\|ZEND_BIND_IMPLICIT)));`
`8667`	`8668`
Original file line number	Diff line number	Diff line change
`@@ -47471,6 +47471,7 @@ static ZEND_OPCODE_HANDLER_RET ZEND_FASTCALL ZEND_BIND_STATIC_SPEC_CV_UNUSED_HAN`
`47471`	`47471`	`ht = zend_array_dup(EX(func)->op_array.static_variables);`
`47472`	`47472`	`ZEND_MAP_PTR_SET(EX(func)->op_array.static_variables_ptr, ht);`
`47473`	`47473`	`}`
	`47474`	`+ ZEND_ASSERT(GC_REFCOUNT(ht) == 1);`
`47474`	`47475`
`47475`	`47476`	`value = (zval)((char)ht->arData + (opline->extended_value & ~(ZEND_BIND_REF\|ZEND_BIND_IMPLICIT)));`
`47476`	`47477`