pike.git/ src/ language.yacc

2021-03-22

2021-03-22 14:12:22 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• ff85728dd10ee735f8773db52b79ab102b468571 (9 lines) (+5/-4) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: Added flags to pike_types_le().

1564:    if ($1) {    fix_type_field($1);    -  if (!pike_types_le($1->type, typeable_type_string) && +  if (!pike_types_le($1->type, typeable_type_string, 0, 0) &&    (THIS_COMPILATION->lex.pragmas & ID_STRICT_TYPES)) {    yytype_report(REPORT_WARNING,    $1->current_file, $1->line_number, typeable_type_string,
1840:    (THIS_COMPILATION->lex.pragmas & ID_STRICT_TYPES) &&    (Pike_compiler->compiler_frame->current_type->type != PIKE_T_AUTO)) {    if (!pike_types_le(zero_type_string, -  Pike_compiler->compiler_frame->current_type)) { +  Pike_compiler->compiler_frame->current_type, 0, 0)) {    if (Pike_compiler->compiler_pass == COMPILER_PASS_LAST) {    ref_push_string($1->u.sval.u.string);    yytype_report(REPORT_WARNING, NULL, 0, zero_type_string,
5202:    } else {    int var = frame->current_number_of_locals;    -  if (pike_types_le(type, void_type_string)) { +  if (pike_types_le(type, void_type_string, 0, 0)) {    if (Pike_compiler->compiler_pass == COMPILER_PASS_LAST) {    yywarning("Declaring local variable %S with type void "    "(converted to type zero).", str);
5221:       if (frame->generator_local != -1) {    frame->variable[var].flags = LOCAL_VAR_IS_USED | LOCAL_VAR_USED_IN_SCOPE; -  } else if (pike_types_le(void_type_string, type)) { +  } else if (pike_types_le(void_type_string, type, 0, 0)) {    /* Don't warn about unused voidable variables. */    frame->variable[var].flags = LOCAL_VAR_IS_USED;    } else {