pike.git / src / pike_types.c

version» Context lines:

pike.git/src/pike_types.c:8456:    push_type_name(str = end_shared_string(str));    } else {    push_type_attribute(str = end_shared_string(str));    }    free_string(str);    break;    }   #ifdef PIKE_DEBUG    default:    Pike_fatal("compile_type_string(): Error in type string %d.\n", type); -  /* NOT_REACHED */ -  break; +  UNREACHABLE(break);   #endif    }   }      void type_stack_mark(void)   {    if(UNLIKELY(Pike_compiler->pike_type_mark_stackp >= pike_type_mark_stack + (PIKE_TYPE_STACK_SIZE>>4)))    Pike_fatal("Type mark stack overflow.\n");    *Pike_compiler->pike_type_mark_stackp=Pike_compiler->type_stackp;    Pike_compiler->pike_type_mark_stackp++;
pike.git/src/pike_types.c:8502: Inside #if 0
  #if 0    fprintf(stderr, "pike_type_allow_premature_toss(): Type: %d\n",    type->type);   #endif /* 0 */    switch(type->type)    {    default:   #ifdef PIKE_DEBUG    Pike_fatal("pike_type_allow_premature_toss: Unknown type (code: %d)\n",    type->type); -  /* NOT_REACHED */ -  return 0; +  UNREACHABLE(return 0);   #endif    case T_NOT:    return !pike_type_allow_premature_toss(type->car);       case T_OBJECT:    case T_MIXED:    case T_FUNCTION:    case T_MANY:    return 0;