Lines Matching refs:opline
37 …fprintf(stderr, "Inference verification failed at %04d %s (" msg ")\n", (int)(opline - EX(func)->o…
41 …e_mask, uint8_t op_type, zend_execute_data *execute_data, const zend_op *opline, const char *opera… in zend_verify_type_inference() argument
130 static void zend_verify_inference_use(zend_execute_data *execute_data, const zend_op *opline) in zend_verify_inference_use() argument
132 if (opline->op1_use_type in zend_verify_inference_use()
133 && (opline->op1_type & (IS_TMP_VAR|IS_VAR|IS_CV)) in zend_verify_inference_use()
134 && opline->opcode != ZEND_ROPE_ADD in zend_verify_inference_use()
135 && opline->opcode != ZEND_ROPE_END) { in zend_verify_inference_use()
136 …zend_verify_type_inference(EX_VAR(opline->op1.var), opline->op1_use_type, opline->op1_type, execut… in zend_verify_inference_use()
138 if (opline->op2_use_type in zend_verify_inference_use()
139 && (opline->op2_type & (IS_TMP_VAR|IS_VAR|IS_CV))) { in zend_verify_inference_use()
140 …zend_verify_type_inference(EX_VAR(opline->op2.var), opline->op2_use_type, opline->op2_type, execut… in zend_verify_inference_use()
142 if (opline->result_use_type in zend_verify_inference_use()
143 && (opline->result_type & (IS_TMP_VAR|IS_VAR|IS_CV))) { in zend_verify_inference_use()
144 …end_verify_type_inference(EX_VAR(opline->result.var), opline->result_use_type, opline->result_type… in zend_verify_inference_use()
152 static void zend_verify_inference_def(zend_execute_data *execute_data, const zend_op *opline) in zend_verify_inference_def() argument
157 if (opline->op1_def_type in zend_verify_inference_def()
158 && (opline->op1_type & (IS_TMP_VAR|IS_VAR|IS_CV)) in zend_verify_inference_def()
160 && opline->opcode != ZEND_FETCH_DIM_W in zend_verify_inference_def()
161 && opline->opcode != ZEND_FETCH_DIM_RW in zend_verify_inference_def()
162 && opline->opcode != ZEND_FETCH_DIM_FUNC_ARG in zend_verify_inference_def()
163 && opline->opcode != ZEND_FETCH_LIST_W) { in zend_verify_inference_def()
164 …zend_verify_type_inference(EX_VAR(opline->op1.var), opline->op1_def_type, opline->op1_type, execut… in zend_verify_inference_def()
166 if (opline->op2_def_type in zend_verify_inference_def()
167 && (opline->op2_type & (IS_TMP_VAR|IS_VAR|IS_CV)) in zend_verify_inference_def()
169 && opline->opcode != ZEND_FE_FETCH_R in zend_verify_inference_def()
170 && opline->opcode != ZEND_FE_FETCH_RW) { in zend_verify_inference_def()
171 …zend_verify_type_inference(EX_VAR(opline->op2.var), opline->op2_def_type, opline->op2_type, execut… in zend_verify_inference_def()
173 if (opline->result_def_type in zend_verify_inference_def()
174 && (opline->result_type & (IS_TMP_VAR|IS_VAR|IS_CV)) in zend_verify_inference_def()
175 && opline->opcode != ZEND_ROPE_INIT in zend_verify_inference_def()
176 && opline->opcode != ZEND_ROPE_ADD in zend_verify_inference_def()
178 && opline->opcode != ZEND_JMP_SET in zend_verify_inference_def()
179 && opline->opcode != ZEND_JMP_NULL in zend_verify_inference_def()
180 && opline->opcode != ZEND_COALESCE in zend_verify_inference_def()
181 && opline->opcode != ZEND_ASSERT_CHECK in zend_verify_inference_def()
183 && !zend_is_smart_branch(opline) in zend_verify_inference_def()
185 && opline->opcode != ZEND_DO_FCALL in zend_verify_inference_def()
186 && opline->opcode != ZEND_DO_UCALL in zend_verify_inference_def()
187 && opline->opcode != ZEND_DO_FCALL_BY_NAME in zend_verify_inference_def()
189 && opline->opcode != ZEND_FE_FETCH_R in zend_verify_inference_def()
190 && opline->opcode != ZEND_FE_FETCH_RW) { in zend_verify_inference_def()
191 …end_verify_type_inference(EX_VAR(opline->result.var), opline->result_def_type, opline->result_type… in zend_verify_inference_def()
194 if ((opline->opcode == ZEND_RETURN || opline->opcode == ZEND_RETURN_BY_REF) in zend_verify_inference_def()
199 const zend_op *opline = execute_data->prev_execute_data->opline; in zend_verify_inference_def() local
200 …D_CALL_VAR(prev_execute_data, opline->result.var), opline->result_def_type, opline->result_type, p… in zend_verify_inference_def()
