Fixed MAY_BE_INDIRECT inference.

This commit is contained in:
Dmitry Stogov 2020-10-26 21:48:13 +03:00
parent 9d3cc223b2
commit b7df636589

View file

@ -1984,6 +1984,9 @@ uint32_t zend_array_element_type(uint32_t t1, zend_uchar op_type, int write, int
}
if (t1 & (MAY_BE_UNDEF|MAY_BE_NULL|MAY_BE_FALSE)) {
tmp |= MAY_BE_NULL;
if (write) {
tmp |= MAY_BE_INDIRECT;
}
}
if (t1 & (MAY_BE_TRUE|MAY_BE_LONG|MAY_BE_DOUBLE|MAY_BE_RESOURCE)) {
if (!write) {