comparison src/alloc.c @ 4494:15b073a6c860

(mark_object): Declare ptr volatile, or don't use it after a recursive call. Delete the aborts if ptr is clobbered.

4493:d0143beb12f0

mark_object (objptr)
     Lisp_Object *objptr;
{
  register Lisp_Object obj;

#ifdef DEBUG_MOLE
  if (*(int *) ((char *)__builtin_frame_address (0) - 16) == 0)
    abort ();
#endif

  obj = *objptr;
  XUNMARK (obj);

 loop:

    case Lisp_Process:
    case Lisp_Window_Configuration:
      {
	register struct Lisp_Vector *ptr = XVECTOR (obj);
	register int size = ptr->size;
	struct Lisp_Vector *volatile ptr1 = ptr;
	register int i;

	if (size & ARRAY_MARK_FLAG) break;   /* Already marked */
	ptr->size |= ARRAY_MARK_FLAG; /* Else mark it */
	for (i = 0; i < size; i++)     /* and then mark its elements */
	  {
	    if (ptr != ptr1)
	      abort ();
	    mark_object (&ptr->contents[i]);
	  }
      }
      break;

    case Lisp_Compiled:
      /* We could treat this just like a vector, but it is better
	 to save the COMPILED_CONSTANTS element for last and avoid recursion
	 there.  */
      {
	register struct Lisp_Vector *ptr = XVECTOR (obj);
	register int size = ptr->size;
	struct Lisp_Vector *volatile ptr1 = ptr;
	register int i;

	if (size & ARRAY_MARK_FLAG) break;   /* Already marked */
	ptr->size |= ARRAY_MARK_FLAG; /* Else mark it */
	for (i = 0; i < size; i++)     /* and then mark its elements */
	  {
	    if (ptr != ptr1)
	      abort ();
	    if (i != COMPILED_CONSTANTS)
	      mark_object (&ptr->contents[i]);
	  }
	objptr = &ptr->contents[COMPILED_CONSTANTS];
	obj = *objptr;
	goto loop;
      }

#ifdef MULTI_FRAME
    case Lisp_Frame:
      {
	register struct frame *ptr = XFRAME (obj);
	register int size = ptr->size;

	if (size & ARRAY_MARK_FLAG) break;   /* Already marked */
	ptr->size |= ARRAY_MARK_FLAG; /* Else mark it */

      break;
#endif /* MULTI_FRAME */

    case Lisp_Symbol:
      {
	register struct Lisp_Symbol *ptr = XSYMBOL (obj);
	struct Lisp_Symbol *ptrx;

	if (XMARKBIT (ptr->plist)) break;
	XMARK (ptr->plist);
	mark_object ((Lisp_Object *) &ptr->value);
	if ((unsigned int) ptr <= 4)
	  abort ();
	mark_object (&ptr->function);
	if ((unsigned int) ptr <= 4)
	  abort ();
	mark_object (&ptr->plist);
	if ((unsigned int) ptr <= 4)
	  abort ();
	XSETTYPE (*(Lisp_Object *) &ptr->name, Lisp_String);
	mark_object (&ptr->name);
	if ((unsigned int) ptr <= 4)
	  abort ();
	ptr = ptr->next;
	if (ptr)
	  {
	    ptrx = ptr;		/* Use of ptrx avoids compiler bug on Sun */
	    XSETSYMBOL (obj, ptrx);

	    objptr = &ptr->car;
	    obj = ptr->car;
	    XUNMARK (obj);
	    goto loop;
	  }
	if (ptr == 0)
	  abort ();
	mark_object (&ptr->car);
	if (ptr == 0)
	  abort ();
	objptr = &ptr->cdr;
	obj = ptr->cdr;
	goto loop;
      }

#ifdef LISP_FLOAT_TYPE

4494:15b073a6c860

mark_object (objptr)
     Lisp_Object *objptr;
{
  register Lisp_Object obj;

  obj = *objptr;
  XUNMARK (obj);

 loop:

    case Lisp_Process:
    case Lisp_Window_Configuration:
      {
	register struct Lisp_Vector *ptr = XVECTOR (obj);
	register int size = ptr->size;
	/* The reason we use ptr1 is to avoid an apparent hardware bug
	   that happens occasionally on the FSF's HP 300s.
	   The bug is that a2 gets clobbered by recursive calls to mark_object.
	   The clobberage seems to happen during function entry,
	   perhaps in the moveml instruction.
	   Yes, this is a crock, but we have to do it.  */
	struct Lisp_Vector *volatile ptr1 = ptr;
	register int i;

	if (size & ARRAY_MARK_FLAG) break;   /* Already marked */
	ptr->size |= ARRAY_MARK_FLAG; /* Else mark it */
	for (i = 0; i < size; i++)     /* and then mark its elements */
	  mark_object (&ptr1->contents[i]);
      }
      break;

    case Lisp_Compiled:
      /* We could treat this just like a vector, but it is better
	 to save the COMPILED_CONSTANTS element for last and avoid recursion
	 there.  */
      {
	register struct Lisp_Vector *ptr = XVECTOR (obj);
	register int size = ptr->size;
	/* See comment above under Lisp_Vector.  */
	struct Lisp_Vector *volatile ptr1 = ptr;
	register int i;

	if (size & ARRAY_MARK_FLAG) break;   /* Already marked */
	ptr->size |= ARRAY_MARK_FLAG; /* Else mark it */
	for (i = 0; i < size; i++)     /* and then mark its elements */
	  {
	    if (i != COMPILED_CONSTANTS)
	      mark_object (&ptr1->contents[i]);
	  }
	objptr = &ptr1->contents[COMPILED_CONSTANTS];
	obj = *objptr;
	goto loop;
      }

#ifdef MULTI_FRAME
    case Lisp_Frame:
      {
	/* See comment above under Lisp_Vector for why this is volatile.  */
	register struct frame *volatile ptr = XFRAME (obj);
	register int size = ptr->size;

	if (size & ARRAY_MARK_FLAG) break;   /* Already marked */
	ptr->size |= ARRAY_MARK_FLAG; /* Else mark it */

      break;
#endif /* MULTI_FRAME */

    case Lisp_Symbol:
      {
	/* See comment above under Lisp_Vector for why this is volatile.  */
	register struct Lisp_Symbol *volatile ptr = XSYMBOL (obj);
	struct Lisp_Symbol *ptrx;

	if (XMARKBIT (ptr->plist)) break;
	XMARK (ptr->plist);
	mark_object ((Lisp_Object *) &ptr->value);
	mark_object (&ptr->function);
	mark_object (&ptr->plist);
	XSETTYPE (*(Lisp_Object *) &ptr->name, Lisp_String);
	mark_object (&ptr->name);
	ptr = ptr->next;
	if (ptr)
	  {
	    ptrx = ptr;		/* Use of ptrx avoids compiler bug on Sun */
	    XSETSYMBOL (obj, ptrx);

	    objptr = &ptr->car;
	    obj = ptr->car;
	    XUNMARK (obj);
	    goto loop;
	  }
	mark_object (&ptr->car);
	/* See comment above under Lisp_Vector for why not use ptr here.  */
	objptr = &XCONS (obj)->cdr;
	obj = ptr->cdr;
	goto loop;
      }

#ifdef LISP_FLOAT_TYPE