Lines Matching refs:var_num
1722 static zval *value_from_type_and_range(sccp_ctx *ctx, int var_num, zval *tmp) { in value_from_type_and_range() argument
1724 zend_ssa_var_info *info = &ssa->var_info[var_num]; in value_from_type_and_range()
1737 if (ssa->vars[var_num].definition >= 0 in value_from_type_and_range()
1738 … && ctx->scdf.op_array->opcodes[ssa->vars[var_num].definition].opcode == ZEND_VERIFY_RETURN_TYPE) { in value_from_type_and_range()
1745 if (ssa->vars[var_num].definition >= 0 in value_from_type_and_range()
1746 … && ctx->scdf.op_array->opcodes[ssa->vars[var_num].definition].opcode == ZEND_VERIFY_RETURN_TYPE) { in value_from_type_and_range()
1753 if (ssa->vars[var_num].definition >= 0 in value_from_type_and_range()
1754 … && ctx->scdf.op_array->opcodes[ssa->vars[var_num].definition].opcode == ZEND_VERIFY_RETURN_TYPE) { in value_from_type_and_range()
2073 static int try_remove_definition(sccp_ctx *ctx, int var_num, zend_ssa_var *var, zval *value) in try_remove_definition() argument
2083 if (ssa_op->result_def == var_num) { in try_remove_definition()
2160 ssa_op->result_def = var_num; in try_remove_definition()
2198 } else if (ssa_op->op1_def == var_num) { in try_remove_definition()
