pike.git/ src/ pike_types.cmod

2021-06-09

2021-06-09 12:00:24 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 57a5b213a572cf0c450b8af023d5645b52496a30 (6 lines) (+4/-2) ^{[ Show | Annotate ]}
  Branch: master

Compiler [Typechecker]: Improved handling of __unknown__ in `|().

3310:    if (t) {    push_finished_type(t);    } else { -  push_type(T_ZERO); +  push_type(PIKE_T_UNKNOWN);    }    } else if (!t) {    /* No need to do anything. */
3327:    } else if (t == top) {    /* No need to do anything. */    } else { -  switch(t->type) { +  switch(t?t->type:PIKE_T_UNKNOWN) {    case T_FLOAT:    case T_MIXED:    case T_VOID:
3454:    struct pike_type *arg1 = t1;    struct pike_type *arg2 = t2;   #endif +  check_c_stack(1024);   #if 0    fprintf(stderr, " low_or_pike_types(");    simple_describe_type(t1);