Lines Matching refs:var_num
1772 static zval *value_from_type_and_range(sccp_ctx *ctx, int var_num, zval *tmp) { in value_from_type_and_range() argument
1774 zend_ssa_var_info *info = &ssa->var_info[var_num]; in value_from_type_and_range()
1787 if (ssa->vars[var_num].definition >= 0 in value_from_type_and_range()
1788 … && ctx->scdf.op_array->opcodes[ssa->vars[var_num].definition].opcode == ZEND_VERIFY_RETURN_TYPE) { in value_from_type_and_range()
1795 if (ssa->vars[var_num].definition >= 0 in value_from_type_and_range()
1796 … && ctx->scdf.op_array->opcodes[ssa->vars[var_num].definition].opcode == ZEND_VERIFY_RETURN_TYPE) { in value_from_type_and_range()
1803 if (ssa->vars[var_num].definition >= 0 in value_from_type_and_range()
1804 … && ctx->scdf.op_array->opcodes[ssa->vars[var_num].definition].opcode == ZEND_VERIFY_RETURN_TYPE) { in value_from_type_and_range()
2123 static int try_remove_definition(sccp_ctx *ctx, int var_num, zend_ssa_var *var, zval *value) in try_remove_definition() argument
2133 if (ssa_op->result_def == var_num) { in try_remove_definition()
2216 ssa_op->result_def = var_num; in try_remove_definition()
2259 } else if (ssa_op->op1_def == var_num) { in try_remove_definition()