pike.git/ src/ pike_types.cmod

2021-03-30

2021-03-30 09:29:27 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 4f6e7536fabf027dcf44d38027d623bdf7cc2a63 (25 lines) (+25/-0) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: Added some special cases to push_type().

Handle __unknown__ in combination with AND, OR and NOT directly.

1051:    free_type(*(Pike_compiler->type_stackp--));    return;    } +  if (!Pike_compiler->type_stackp[0]) { +  Pike_compiler->type_stackp--; +  if ((type & PIKE_T_MASK) == T_AND) { +  free_type(Pike_compiler->type_stackp[0]); +  Pike_compiler->type_stackp[0] = NULL; +  } +  return; +  } +  if (!Pike_compiler->type_stackp[-1]) { +  if ((type & PIKE_T_MASK) == T_AND) { +  free_type(Pike_compiler->type_stackp[0]); +  } else { +  Pike_compiler->type_stackp[-1] = Pike_compiler->type_stackp[0]; +  } +  Pike_compiler->type_stackp--; +  return; +  }    if (Pike_compiler->type_stackp[0]->type == type) {    /* The top type is the same as our type.    * Split it and join the parts with the other type.
1116:    */    {    struct pike_type *t = *Pike_compiler->type_stackp; +  if (!t) { +  Pike_compiler->type_stackp--; +  push_type(T_MIXED); +  push_type(T_VOID); +  push_type(T_OR); +  break; +  }    if (t->type == T_NOT) {    *Pike_compiler->type_stackp = t->car;    add_ref(t->car);