pike.git/ src/ pike_types.c

2001-03-31

2001-03-31 16:04:34 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• cdeb54640550a417d9a6469080af51e6eb199855 (23 lines) (+15/-8) ^{[ Show | Annotate ]}
  Branch: 7.9

or_pike_types() no longer joins int-ranges if they don't overlap.

Rev: src/pike_types.c:1.175

5:   \*/   /**/   #include "global.h" - RCSID("$Id: pike_types.c,v 1.174 2001/03/31 01:22:20 grubba Exp $"); + RCSID("$Id: pike_types.c,v 1.175 2001/03/31 16:04:34 grubba Exp $");   #include <ctype.h>   #include "svalue.h"   #include "pike_types.h"
1774:    }    else if(t1->type == T_INT && t2->type == T_INT)    { -  /* FIXME: -  * This should only be done if the ranges are -  * overlapping or adjecant to each other. /Hubbe -  */ +     INT32 min, max; -  +  +  if (MINIMUM((ptrdiff_t)t1->cdr, (ptrdiff_t)t2->cdr) < +  MAXIMUM((ptrdiff_t)t1->car, (ptrdiff_t)t2->car)) { +  /* No overlap. */ +  push_finished_type(t1); +  push_finished_type(t2); +  push_type(T_OR); +  } else { +  /* Overlap */    min = MINIMUM((ptrdiff_t)t1->car, (ptrdiff_t)t2->car);    max = MAXIMUM((ptrdiff_t)t1->cdr, (ptrdiff_t)t2->cdr);       push_int_type(min, max);    } -  +  }    else if (t1->type == T_SCOPE)    {    if (t2->type == T_SCOPE) {