X-Git-Url: https://git.hcoop.net/bpt/emacs.git/blobdiff_plain/73ebd38f16c4799b657e501f188e9f3a3eca7805..7d652d97681c4f1b67018f44f64c619ef5edd990:/src/alloc.c diff --git a/src/alloc.c b/src/alloc.c index c50bb0f32c..2c2232601c 100644 --- a/src/alloc.c +++ b/src/alloc.c @@ -26,7 +26,7 @@ along with GNU Emacs. If not, see . */ #include /* For CHAR_BIT. */ #ifdef ENABLE_CHECKING -#include /* For SIGABRT. */ +#include /* For SIGABRT. */ #endif #ifdef HAVE_PTHREAD @@ -246,10 +246,6 @@ enum mem_type #if GC_MARK_STACK || defined GC_MALLOC_CHECK -#if GC_MARK_STACK == GC_USE_GCPROS_CHECK_ZOMBIES -#include /* For fprintf. */ -#endif - /* A unique object in pure space used to make some Lisp objects on free lists recognizable in O(1). */ @@ -322,20 +318,7 @@ static void *min_heap_address, *max_heap_address; static struct mem_node mem_z; #define MEM_NIL &mem_z -static struct Lisp_Vector *allocate_vectorlike (ptrdiff_t); -static void lisp_free (void *); -static void mark_stack (void); -static bool live_vector_p (struct mem_node *, void *); -static bool live_buffer_p (struct mem_node *, void *); -static bool live_string_p (struct mem_node *, void *); -static bool live_cons_p (struct mem_node *, void *); -static bool live_symbol_p (struct mem_node *, void *); -static bool live_float_p (struct mem_node *, void *); -static bool live_misc_p (struct mem_node *, void *); -static void mark_maybe_object (Lisp_Object); -static void mark_memory (void *, void *); #if GC_MARK_STACK || defined GC_MALLOC_CHECK -static void mem_init (void); static struct mem_node *mem_insert (void *, void *, enum mem_type); static void mem_insert_fixup (struct mem_node *); static void mem_rotate_left (struct mem_node *); @@ -345,11 +328,6 @@ static void mem_delete_fixup (struct mem_node *); static struct mem_node *mem_find (void *); #endif - -#if GC_MARK_STACK == GC_MARK_STACK_CHECK_GCPROS -static void check_gcpros (void); -#endif - #endif /* GC_MARK_STACK || GC_MALLOC_CHECK */ #ifndef DEADP @@ -363,7 +341,7 @@ struct gcpro *gcprolist; /* Addresses of staticpro'd variables. Initialize it to a nonzero value; otherwise some compilers put it into BSS. */ -#define NSTATICS 0x800 +enum { NSTATICS = 2048 }; static Lisp_Object *staticvec[NSTATICS] = {&Vpurify_flag}; /* Index of next unused slot in staticvec. */ @@ -380,6 +358,11 @@ static void *pure_alloc (size_t, int); ((void *) (((uintptr_t) (ptr) + (ALIGNMENT) - 1) \ & ~ ((ALIGNMENT) - 1))) +static void +XFLOAT_INIT (Lisp_Object f, double n) +{ + XFLOAT (f)->u.data = n; +} /************************************************************************ @@ -421,11 +404,11 @@ buffer_memory_full (ptrdiff_t nbytes) #ifndef REL_ALLOC memory_full (nbytes); -#endif - +#else /* This used to call error, but if we've run out of memory, we could get infinite recursion trying to build the string. */ xsignal (Qnil, Vmemory_signal_data); +#endif } /* A common multiple of the positive integers A and B. Ideally this @@ -813,10 +796,10 @@ xpalloc (void *pa, ptrdiff_t *nitems, ptrdiff_t nitems_incr_min, char * xstrdup (const char *s) { - size_t len = strlen (s) + 1; - char *p = xmalloc (len); - memcpy (p, s, len); - return p; + ptrdiff_t size; + eassert (s); + size = strlen (s) + 1; + return memcpy (xmalloc (size), s, size); } /* Like putenv, but (1) use the equivalent of xmalloc and (2) the @@ -829,22 +812,13 @@ xputenv (char const *string) memory_full (0); } -/* Unwind for SAFE_ALLOCA */ - -Lisp_Object -safe_alloca_unwind (Lisp_Object arg) -{ - free_save_value (arg); - return Qnil; -} - /* Return a newly allocated memory block of SIZE bytes, remembering to free it when unwinding. */ void * record_xmalloc (size_t size) { void *p = xmalloc (size); - record_unwind_protect (safe_alloca_unwind, make_save_value (p, 0)); + record_unwind_protect_ptr (xfree, p); return p; } @@ -1161,7 +1135,7 @@ lisp_align_free (void *block) #define INTERVAL_BLOCK_SIZE \ ((1020 - sizeof (struct interval_block *)) / sizeof (struct interval)) -/* Intervals are allocated in chunks in form of an interval_block +/* Intervals are allocated in chunks in the form of an interval_block structure. */ struct interval_block @@ -1272,7 +1246,7 @@ mark_interval (register INTERVAL i, Lisp_Object dummy) When a Lisp_String is freed during GC, it is put back on string_free_list, and its `data' member and its sdata's `string' pointer is set to null. The size of the string is recorded in the - `u.nbytes' member of the sdata. So, sdata structures that are no + `n.nbytes' member of the sdata. So, sdata structures that are no longer used, can be easily recognized, and it's easy to compact the sblocks of small strings which we do in compact_small_strings. */ @@ -1286,10 +1260,12 @@ mark_interval (register INTERVAL i, Lisp_Object dummy) #define LARGE_STRING_BYTES 1024 -/* Structure describing string memory sub-allocated from an sblock. +/* Struct or union describing string memory sub-allocated from an sblock. This is where the contents of Lisp strings are stored. */ -struct sdata +#ifdef GC_CHECK_STRING_BYTES + +typedef struct { /* Back-pointer to the string this sdata belongs to. If null, this structure is free, and the NBYTES member of the union below @@ -1299,34 +1275,42 @@ struct sdata contents. */ struct Lisp_String *string; -#ifdef GC_CHECK_STRING_BYTES - ptrdiff_t nbytes; - unsigned char data[1]; + unsigned char data[FLEXIBLE_ARRAY_MEMBER]; +} sdata; #define SDATA_NBYTES(S) (S)->nbytes #define SDATA_DATA(S) (S)->data #define SDATA_SELECTOR(member) member -#else /* not GC_CHECK_STRING_BYTES */ +#else - union +typedef union +{ + struct Lisp_String *string; + + /* When STRING is non-null. */ + struct { - /* When STRING is non-null. */ - unsigned char data[1]; + struct Lisp_String *string; + unsigned char data[FLEXIBLE_ARRAY_MEMBER]; + } u; - /* When STRING is null. */ + /* When STRING is null. */ + struct + { + struct Lisp_String *string; ptrdiff_t nbytes; - } u; + } n; +} sdata; -#define SDATA_NBYTES(S) (S)->u.nbytes +#define SDATA_NBYTES(S) (S)->n.nbytes #define SDATA_DATA(S) (S)->u.data #define SDATA_SELECTOR(member) u.member #endif /* not GC_CHECK_STRING_BYTES */ -#define SDATA_DATA_OFFSET offsetof (struct sdata, SDATA_SELECTOR (data)) -}; +#define SDATA_DATA_OFFSET offsetof (sdata, SDATA_SELECTOR (data)) /* Structure describing a block of memory which is sub-allocated to @@ -1341,10 +1325,10 @@ struct sblock /* Pointer to the next free sdata block. This points past the end of the sblock if there isn't any space left in this block. */ - struct sdata *next_free; + sdata *next_free; /* Start of data. */ - struct sdata first_data; + sdata first_data; }; /* Number of Lisp strings in a string_block structure. The 1020 is @@ -1400,7 +1384,7 @@ static EMACS_INT total_string_bytes; a pointer to the `u.data' member of its sdata structure; the structure starts at a constant offset in front of that. */ -#define SDATA_OF_STRING(S) ((struct sdata *) ((S)->data - SDATA_DATA_OFFSET)) +#define SDATA_OF_STRING(S) ((sdata *) ((S)->data - SDATA_DATA_OFFSET)) #ifdef GC_CHECK_STRING_OVERRUN @@ -1499,7 +1483,7 @@ string_bytes (struct Lisp_String *s) static void check_sblock (struct sblock *b) { - struct sdata *from, *end, *from_end; + sdata *from, *end, *from_end; end = b->next_free; @@ -1513,7 +1497,7 @@ check_sblock (struct sblock *b) same as the one recorded in the sdata structure. */ nbytes = SDATA_SIZE (from->string ? string_bytes (from->string) : SDATA_NBYTES (from)); - from_end = (struct sdata *) ((char *) from + nbytes + GC_STRING_EXTRA); + from_end = (sdata *) ((char *) from + nbytes + GC_STRING_EXTRA); } } @@ -1643,7 +1627,7 @@ void allocate_string_data (struct Lisp_String *s, EMACS_INT nchars, EMACS_INT nbytes) { - struct sdata *data, *old_data; + sdata *data, *old_data; struct sblock *b; ptrdiff_t needed, old_nbytes; @@ -1683,7 +1667,7 @@ allocate_string_data (struct Lisp_String *s, b = lisp_malloc (size + GC_STRING_EXTRA, MEM_TYPE_NON_LISP); #ifdef DOUG_LEA_MALLOC - /* Back to a reasonable maximum of mmap'ed areas. */ + /* Back to a reasonable maximum of mmap'ed areas. */ mallopt (M_MMAP_MAX, MMAP_MAX_AREAS); #endif @@ -1713,7 +1697,7 @@ allocate_string_data (struct Lisp_String *s, b = current_sblock; data = b->next_free; - b->next_free = (struct sdata *) ((char *) data + needed + GC_STRING_EXTRA); + b->next_free = (sdata *) ((char *) data + needed + GC_STRING_EXTRA); MALLOC_UNBLOCK_INPUT; @@ -1784,7 +1768,7 @@ sweep_strings (void) else { /* String is dead. Put it on the free-list. */ - struct sdata *data = SDATA_OF_STRING (s); + sdata *data = SDATA_OF_STRING (s); /* Save the size of S in its sdata so that we know how large that is. Reset the sdata's string @@ -1793,7 +1777,7 @@ sweep_strings (void) if (string_bytes (s) != SDATA_NBYTES (data)) emacs_abort (); #else - data->u.nbytes = STRING_BYTES (s); + data->n.nbytes = STRING_BYTES (s); #endif data->string = NULL; @@ -1874,13 +1858,13 @@ static void compact_small_strings (void) { struct sblock *b, *tb, *next; - struct sdata *from, *to, *end, *tb_end; - struct sdata *to_end, *from_end; + sdata *from, *to, *end, *tb_end; + sdata *to_end, *from_end; /* TB is the sblock we copy to, TO is the sdata within TB we copy to, and TB_END is the end of TB. */ tb = oldest_sblock; - tb_end = (struct sdata *) ((char *) tb + SBLOCK_SIZE); + tb_end = (sdata *) ((char *) tb + SBLOCK_SIZE); to = &tb->first_data; /* Step through the blocks from the oldest to the youngest. We @@ -1900,7 +1884,7 @@ compact_small_strings (void) #ifdef GC_CHECK_STRING_BYTES /* Check that the string size recorded in the string is the - same as the one recorded in the sdata structure. */ + same as the one recorded in the sdata structure. */ if (s && string_bytes (s) != SDATA_NBYTES (from)) emacs_abort (); #endif /* GC_CHECK_STRING_BYTES */ @@ -1909,7 +1893,7 @@ compact_small_strings (void) eassert (nbytes <= LARGE_STRING_BYTES); nbytes = SDATA_SIZE (nbytes); - from_end = (struct sdata *) ((char *) from + nbytes + GC_STRING_EXTRA); + from_end = (sdata *) ((char *) from + nbytes + GC_STRING_EXTRA); #ifdef GC_CHECK_STRING_OVERRUN if (memcmp (string_overrun_cookie, @@ -1922,14 +1906,14 @@ compact_small_strings (void) if (s) { /* If TB is full, proceed with the next sblock. */ - to_end = (struct sdata *) ((char *) to + nbytes + GC_STRING_EXTRA); + to_end = (sdata *) ((char *) to + nbytes + GC_STRING_EXTRA); if (to_end > tb_end) { tb->next_free = to; tb = tb->next; - tb_end = (struct sdata *) ((char *) tb + SBLOCK_SIZE); + tb_end = (sdata *) ((char *) tb + SBLOCK_SIZE); to = &tb->first_data; - to_end = (struct sdata *) ((char *) to + nbytes + GC_STRING_EXTRA); + to_end = (sdata *) ((char *) to + nbytes + GC_STRING_EXTRA); } /* Copy, and update the string's `data' pointer. */ @@ -2593,7 +2577,7 @@ verify (VECTOR_BLOCK_SIZE <= (1 << PSEUDOVECTOR_SIZE_BITS)); /* Size of the minimal vector allocated from block. */ -#define VBLOCK_BYTES_MIN vroundup (sizeof (struct Lisp_Vector)) +#define VBLOCK_BYTES_MIN vroundup (header_size + sizeof (Lisp_Object)) /* Size of the largest vector allocated from block. */ @@ -2950,7 +2934,8 @@ allocate_vectorlike (ptrdiff_t len) else { struct large_vector *lv - = lisp_malloc (sizeof (*lv) + (len - 1) * word_size, + = lisp_malloc ((offsetof (struct large_vector, v.contents) + + len * word_size), MEM_TYPE_VECTORLIKE); lv->next.vector = large_vectors; large_vectors = lv; @@ -3104,13 +3089,10 @@ Any number of arguments, even zero arguments, are allowed. usage: (vector &rest OBJECTS) */) (ptrdiff_t nargs, Lisp_Object *args) { - register Lisp_Object len, val; ptrdiff_t i; - register struct Lisp_Vector *p; + register Lisp_Object val = make_uninit_vector (nargs); + register struct Lisp_Vector *p = XVECTOR (val); - XSETFASTINT (len, nargs); - val = Fmake_vector (len, Qnil); - p = XVECTOR (val); for (i = 0; i < nargs; i++) p->contents[i] = args[i]; return val; @@ -3148,9 +3130,9 @@ stack before executing the byte-code. usage: (make-byte-code ARGLIST BYTE-CODE CONSTANTS DEPTH &optional DOCSTRING INTERACTIVE-SPEC &rest ELEMENTS) */) (ptrdiff_t nargs, Lisp_Object *args) { - register Lisp_Object len, val; ptrdiff_t i; - register struct Lisp_Vector *p; + register Lisp_Object val = make_uninit_vector (nargs); + register struct Lisp_Vector *p = XVECTOR (val); /* We used to purecopy everything here, if purify-flag was set. This worked OK for Emacs-23, but with Emacs-24's lexical binding code, it can be @@ -3160,10 +3142,6 @@ usage: (make-byte-code ARGLIST BYTE-CODE CONSTANTS DEPTH &optional DOCSTRING INT just wasteful and other times plainly wrong (e.g. those free vars may want to be setcar'd). */ - XSETFASTINT (len, nargs); - val = Fmake_vector (len, Qnil); - - p = XVECTOR (val); for (i = 0; i < nargs; i++) p->contents[i] = args[i]; make_byte_code (p); @@ -3213,6 +3191,12 @@ static int symbol_block_index = SYMBOL_BLOCK_SIZE; static struct Lisp_Symbol *symbol_free_list; +static void +set_symbol_name (Lisp_Object sym, Lisp_Object name) +{ + XSYMBOL (sym)->name = name; +} + DEFUN ("make-symbol", Fmake_symbol, Smake_symbol, 1, 1, 0, doc: /* Return a newly allocated uninterned symbol whose name is NAME. Its value is void, and its function definition and property list are nil. */) @@ -3302,7 +3286,7 @@ static union Lisp_Misc *marker_free_list; /* Return a newly allocated Lisp_Misc object of specified TYPE. */ -Lisp_Object +static Lisp_Object allocate_misc (enum Lisp_Misc_Type type) { Lisp_Object val; @@ -3333,7 +3317,7 @@ allocate_misc (enum Lisp_Misc_Type type) --total_free_markers; consing_since_gc += sizeof (union Lisp_Misc); misc_objects_consed++; - XMISCTYPE (val) = type; + XMISCANY (val)->type = type; XMISCANY (val)->gcmarkbit = 0; return val; } @@ -3343,32 +3327,109 @@ allocate_misc (enum Lisp_Misc_Type type) void free_misc (Lisp_Object misc) { - XMISCTYPE (misc) = Lisp_Misc_Free; + XMISCANY (misc)->type = Lisp_Misc_Free; XMISC (misc)->u_free.chain = marker_free_list; marker_free_list = XMISC (misc); consing_since_gc -= sizeof (union Lisp_Misc); total_free_markers++; } -/* Return a Lisp_Save_Value object containing POINTER and INTEGER. - Most code should use this to package C integers and pointers - to call record_unwind_protect. The unwind function can get the - C values back using XSAVE_POINTER and XSAVE_INTEGER. */ +/* Verify properties of Lisp_Save_Value's representation + that are assumed here and elsewhere. */ + +verify (SAVE_UNUSED == 0); +verify (((SAVE_INTEGER | SAVE_POINTER | SAVE_FUNCPOINTER | SAVE_OBJECT) + >> SAVE_SLOT_BITS) + == 0); + +/* Return Lisp_Save_Value objects for the various combinations + that callers need. */ Lisp_Object -make_save_value (void *pointer, ptrdiff_t integer) +make_save_int_int_int (ptrdiff_t a, ptrdiff_t b, ptrdiff_t c) +{ + Lisp_Object val = allocate_misc (Lisp_Misc_Save_Value); + struct Lisp_Save_Value *p = XSAVE_VALUE (val); + p->save_type = SAVE_TYPE_INT_INT_INT; + p->data[0].integer = a; + p->data[1].integer = b; + p->data[2].integer = c; + return val; +} + +Lisp_Object +make_save_obj_obj_obj_obj (Lisp_Object a, Lisp_Object b, Lisp_Object c, + Lisp_Object d) +{ + Lisp_Object val = allocate_misc (Lisp_Misc_Save_Value); + struct Lisp_Save_Value *p = XSAVE_VALUE (val); + p->save_type = SAVE_TYPE_OBJ_OBJ_OBJ_OBJ; + p->data[0].object = a; + p->data[1].object = b; + p->data[2].object = c; + p->data[3].object = d; + return val; +} + +#if defined HAVE_NS || defined HAVE_NTGUI +Lisp_Object +make_save_ptr (void *a) { - register Lisp_Object val; - register struct Lisp_Save_Value *p; - - val = allocate_misc (Lisp_Misc_Save_Value); - p = XSAVE_VALUE (val); - p->type0 = SAVE_POINTER; - p->data[0].pointer = pointer; - p->type1 = SAVE_INTEGER; - p->data[1].integer = integer; - p->type2 = p->type3 = SAVE_UNUSED; - p->area = 0; + Lisp_Object val = allocate_misc (Lisp_Misc_Save_Value); + struct Lisp_Save_Value *p = XSAVE_VALUE (val); + p->save_type = SAVE_POINTER; + p->data[0].pointer = a; + return val; +} +#endif + +Lisp_Object +make_save_ptr_int (void *a, ptrdiff_t b) +{ + Lisp_Object val = allocate_misc (Lisp_Misc_Save_Value); + struct Lisp_Save_Value *p = XSAVE_VALUE (val); + p->save_type = SAVE_TYPE_PTR_INT; + p->data[0].pointer = a; + p->data[1].integer = b; + return val; +} + +#if defined HAVE_MENUS && ! (defined USE_X_TOOLKIT || defined USE_GTK) +Lisp_Object +make_save_ptr_ptr (void *a, void *b) +{ + Lisp_Object val = allocate_misc (Lisp_Misc_Save_Value); + struct Lisp_Save_Value *p = XSAVE_VALUE (val); + p->save_type = SAVE_TYPE_PTR_PTR; + p->data[0].pointer = a; + p->data[1].pointer = b; + return val; +} +#endif + +Lisp_Object +make_save_funcptr_ptr_obj (void (*a) (void), void *b, Lisp_Object c) +{ + Lisp_Object val = allocate_misc (Lisp_Misc_Save_Value); + struct Lisp_Save_Value *p = XSAVE_VALUE (val); + p->save_type = SAVE_TYPE_FUNCPTR_PTR_OBJ; + p->data[0].funcpointer = a; + p->data[1].pointer = b; + p->data[2].object = c; + return val; +} + +/* Return a Lisp_Save_Value object that represents an array A + of N Lisp objects. */ + +Lisp_Object +make_save_memory (Lisp_Object *a, ptrdiff_t n) +{ + Lisp_Object val = allocate_misc (Lisp_Misc_Save_Value); + struct Lisp_Save_Value *p = XSAVE_VALUE (val); + p->save_type = SAVE_TYPE_MEMORY; + p->data[0].pointer = a; + p->data[1].integer = n; return val; } @@ -3378,7 +3439,7 @@ make_save_value (void *pointer, ptrdiff_t integer) void free_save_value (Lisp_Object save) { - xfree (XSAVE_POINTER (save)); + xfree (XSAVE_POINTER (save, 0)); free_misc (save); } @@ -3997,7 +4058,7 @@ live_string_p (struct mem_node *m, void *p) { if (m->type == MEM_TYPE_STRING) { - struct string_block *b = (struct string_block *) m->start; + struct string_block *b = m->start; ptrdiff_t offset = (char *) p - (char *) &b->strings[0]; /* P must point to the start of a Lisp_String structure, and it @@ -4020,7 +4081,7 @@ live_cons_p (struct mem_node *m, void *p) { if (m->type == MEM_TYPE_CONS) { - struct cons_block *b = (struct cons_block *) m->start; + struct cons_block *b = m->start; ptrdiff_t offset = (char *) p - (char *) &b->conses[0]; /* P must point to the start of a Lisp_Cons, not be @@ -4046,7 +4107,7 @@ live_symbol_p (struct mem_node *m, void *p) { if (m->type == MEM_TYPE_SYMBOL) { - struct symbol_block *b = (struct symbol_block *) m->start; + struct symbol_block *b = m->start; ptrdiff_t offset = (char *) p - (char *) &b->symbols[0]; /* P must point to the start of a Lisp_Symbol, not be @@ -4072,7 +4133,7 @@ live_float_p (struct mem_node *m, void *p) { if (m->type == MEM_TYPE_FLOAT) { - struct float_block *b = (struct float_block *) m->start; + struct float_block *b = m->start; ptrdiff_t offset = (char *) p - (char *) &b->floats[0]; /* P must point to the start of a Lisp_Float and not be @@ -4096,7 +4157,7 @@ live_misc_p (struct mem_node *m, void *p) { if (m->type == MEM_TYPE_MISC) { - struct marker_block *b = (struct marker_block *) m->start; + struct marker_block *b = m->start; ptrdiff_t offset = (char *) p - (char *) &b->markers[0]; /* P must point to the start of a Lisp_Misc, not be @@ -4123,7 +4184,7 @@ live_vector_p (struct mem_node *m, void *p) if (m->type == MEM_TYPE_VECTOR_BLOCK) { /* This memory node corresponds to a vector block. */ - struct vector_block *block = (struct vector_block *) m->start; + struct vector_block *block = m->start; struct Lisp_Vector *vector = (struct Lisp_Vector *) block->data; /* P is in the block's allocation range. Scan the block @@ -4704,7 +4765,7 @@ valid_pointer_p (void *p) Unfortunately, we cannot use NULL_DEVICE here, as emacs_write may not validate p in that case. */ - if (pipe (fd) == 0) + if (emacs_pipe (fd) == 0) { bool valid = emacs_write (fd[1], (char *) p, 16) == 16; emacs_close (fd[1]); @@ -5088,9 +5149,9 @@ Does not copy symbols. Copies strings without text properties. */) void staticpro (Lisp_Object *varaddress) { - staticvec[staticidx++] = varaddress; if (staticidx >= NSTATICS) fatal ("NSTATICS too small; try increasing and recompiling Emacs."); + staticvec[staticidx++] = varaddress; } @@ -5152,7 +5213,6 @@ returns nil, because real GC can't be done. See Info node `(elisp)Garbage Collection'. */) (void) { - struct specbinding *bind; struct buffer *nextb; char stack_top_variable; ptrdiff_t i; @@ -5161,7 +5221,6 @@ See Info node `(elisp)Garbage Collection'. */) EMACS_TIME start; Lisp_Object retval = Qnil; size_t tot_before = 0; - struct backtrace backtrace; if (abort_on_gc) emacs_abort (); @@ -5172,12 +5231,7 @@ See Info node `(elisp)Garbage Collection'. */) return Qnil; /* Record this function, so it appears on the profiler's backtraces. */ - backtrace.next = backtrace_list; - backtrace.function = Qautomatic_gc; - backtrace.args = &Qnil; - backtrace.nargs = 0; - backtrace.debug_on_exit = 0; - backtrace_list = &backtrace; + record_in_backtrace (Qautomatic_gc, &Qnil, 0); check_cons_list (); @@ -5197,7 +5251,7 @@ See Info node `(elisp)Garbage Collection'. */) /* Save what's currently displayed in the echo area. */ message_p = push_message (); - record_unwind_protect (pop_message_unwind, Qnil); + record_unwind_protect_void (pop_message_unwind); /* Save a copy of the contents of the stack, for debugging. */ #if MAX_SAVE_STACK > 0 @@ -5244,11 +5298,7 @@ See Info node `(elisp)Garbage Collection'. */) for (i = 0; i < staticidx; i++) mark_object (*staticvec[i]); - for (bind = specpdl; bind != specpdl_ptr; bind++) - { - mark_object (bind->symbol); - mark_object (bind->old_value); - } + mark_specpdl (); mark_terminals (); mark_kboards (); @@ -5282,7 +5332,6 @@ See Info node `(elisp)Garbage Collection'. */) mark_object (handler->var); } } - mark_backtrace (); #endif #ifdef HAVE_WINDOW_SYSTEM @@ -5404,7 +5453,8 @@ See Info node `(elisp)Garbage Collection'. */) total[4] = list3 (Qstring_bytes, make_number (1), bounded_number (total_string_bytes)); - total[5] = list3 (Qvectors, make_number (sizeof (struct Lisp_Vector)), + total[5] = list3 (Qvectors, + make_number (header_size + sizeof (Lisp_Object)), bounded_number (total_vectors)); total[6] = list4 (Qvector_slots, make_number (word_size), @@ -5473,7 +5523,6 @@ See Info node `(elisp)Garbage Collection'. */) malloc_probe (swept); } - backtrace_list = backtrace.next; return retval; } @@ -5647,7 +5696,7 @@ mark_discard_killed_buffers (Lisp_Object list) { CONS_MARK (XCONS (tail)); mark_object (XCAR (tail)); - prev = &XCDR_AS_LVALUE (tail); + prev = xcdr_addr (tail); } } mark_object (tail); @@ -5797,14 +5846,13 @@ mark_object (Lisp_Object arg) case PVEC_WINDOW: { struct window *w = (struct window *) ptr; - bool leaf = NILP (w->hchild) && NILP (w->vchild); mark_vectorlike (ptr); - /* Mark glyphs for leaf windows. Marking window + /* Mark glyph matrices, if any. Marking window matrices is sufficient because frame matrices use the same glyph memory. */ - if (leaf && w->current_matrix) + if (w->current_matrix) { mark_glyph_matrix (w->current_matrix); mark_glyph_matrix (w->desired_matrix); @@ -5936,30 +5984,24 @@ mark_object (Lisp_Object arg) case Lisp_Misc_Save_Value: XMISCANY (obj)->gcmarkbit = 1; { - register struct Lisp_Save_Value *ptr = XSAVE_VALUE (obj); - /* If `area' is nonzero, `data[0].pointer' is the address + struct Lisp_Save_Value *ptr = XSAVE_VALUE (obj); + /* If `save_type' is zero, `data[0].pointer' is the address of a memory area containing `data[1].integer' potential Lisp_Objects. */ -#if GC_MARK_STACK - if (ptr->area) + if (GC_MARK_STACK && ptr->save_type == SAVE_TYPE_MEMORY) { - Lisp_Object *p = (Lisp_Object *) ptr->data[0].pointer; + Lisp_Object *p = ptr->data[0].pointer; ptrdiff_t nelt; for (nelt = ptr->data[1].integer; nelt > 0; nelt--, p++) mark_maybe_object (*p); } else -#endif /* GC_MARK_STACK */ { /* Find Lisp_Objects in `data[N]' slots and mark them. */ - if (ptr->type0 == SAVE_OBJECT) - mark_object (ptr->data[0].object); - if (ptr->type1 == SAVE_OBJECT) - mark_object (ptr->data[1].object); - if (ptr->type2 == SAVE_OBJECT) - mark_object (ptr->data[2].object); - if (ptr->type3 == SAVE_OBJECT) - mark_object (ptr->data[3].object); + int i; + for (i = 0; i < SAVE_VALUE_SLOTS; i++) + if (save_type (ptr, i) == SAVE_OBJECT) + mark_object (ptr->data[i].object); } } break; @@ -6511,13 +6553,13 @@ bool suppress_checking; void die (const char *msg, const char *file, int line) { - fprintf (stderr, "\r\n%s:%d: Emacs fatal error: %s\r\n", + fprintf (stderr, "\r\n%s:%d: Emacs fatal error: assertion failed: %s\r\n", file, line, msg); terminate_due_to_signal (SIGABRT, INT_MAX); } #endif -/* Initialization */ +/* Initialization. */ void init_alloc_once (void) @@ -6532,9 +6574,9 @@ init_alloc_once (void) #endif #ifdef DOUG_LEA_MALLOC - mallopt (M_TRIM_THRESHOLD, 128*1024); /* trim threshold */ - mallopt (M_MMAP_THRESHOLD, 64*1024); /* mmap threshold */ - mallopt (M_MMAP_MAX, MMAP_MAX_AREAS); /* max. number of mmap'ed areas */ + mallopt (M_TRIM_THRESHOLD, 128 * 1024); /* Trim threshold. */ + mallopt (M_MMAP_THRESHOLD, 64 * 1024); /* Mmap threshold. */ + mallopt (M_MMAP_MAX, MMAP_MAX_AREAS); /* Max. number of mmap'ed areas. */ #endif init_strings (); init_vectors (); @@ -6696,8 +6738,5 @@ union enum MAX_ALLOCA MAX_ALLOCA; enum More_Lisp_Bits More_Lisp_Bits; enum pvec_type pvec_type; -#if USE_LSB_TAG - enum lsb_bits lsb_bits; -#endif } const EXTERNALLY_VISIBLE gdb_make_enums_visible = {0}; #endif /* __GNUC__ */