pike.git/ src/ pike_types.c

Branch: Tag:

2007-11-03

2007-11-03 20:06:31 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Fixed joining for OR of two adjacent/overlapping int ranges.

Rev: src/pike_types.c:1.313

2:   || This file is part of Pike. For copyright information see COPYRIGHT.   || Pike is distributed under GPL, LGPL and MPL. See the file COPYING   || for more information. - || $Id: pike_types.c,v 1.312 2007/10/02 16:54:31 grubba Exp $ + || $Id: pike_types.c,v 1.313 2007/11/03 20:06:31 grubba Exp $   */      #include "global.h"
218:    * SCOPE num vars (int) type    * ASSIGN variable (int) type    * NAME name (string) type -  * ATTRIBUTE name (string) type +  * ATTRIBUTE name (string) type Added in 7.7.    * FUNCTION type FUNCTION|MANY    * MANY many type return type -  * RING type type -  * TUPLE type type +  * RING type type Reserved. +  * TUPLE type type Reserved.    * MAPPING index type value type    * OR type (not OR) type    * AND type type
2882:    }    }    else { -  int val = lower_or_pike_types(t1, t2, zero_implied, 0); +  int val; +  type_stack_mark(); +  val = lower_or_pike_types(t1, t2, zero_implied, 0);    if (val < 0) { -  push_finished_type(t2); -  push_reverse_joiner_type(T_OR); +  lower_or_pike_types(NULL, t2, zero_implied, 1);    } else if (val > 0) { -  push_finished_type(t1); +  lower_or_pike_types(t1, NULL, zero_implied, 1); +  } else { +  pop_stack_mark(); +  return; +  } +  for (val = pop_stack_mark(); val > 1; val--) {    push_reverse_joiner_type(T_OR);    }    }
5752:    /* FIXME: Save and restore the corresponding marker set. */    case T_ASSIGN:    case PIKE_T_NAME: -  case PIKE_T_ATTRIBUTE: +     fun_type = fun_type->cdr;    goto loop;    -  +  case PIKE_T_ATTRIBUTE: +  res = lower_new_check_call(fun_type->cdr, arg_type, flags, sval CHECK_CALL_ARGS); +  type_stack_mark(); +  push_finished_type(res); +  push_type_attribute((struct pike_string *)fun_type->car); +  free_type(res); +  return pop_unfinished_type();       case T_OR:    res = lower_new_check_call(fun_type->car, arg_type, flags, sval CHECK_CALL_ARGS);
7095:    s2 = describe_type(type_b);    if(flags & YYTE_IS_WARNING)    { -  yywarning("Expected: %s",s1->str); -  yywarning("Got : %s",s2->str); +  yywarning("Expected: %S", s1); +  yywarning("Got : %S", s2);    }else{    my_yyerror("Expected: %S", s1);    my_yyerror("Got : %S", s2);