Fix some fd issues when running subprocesses.
[bpt/emacs.git] / src / lisp.h
CommitLineData
3cfe6dfd 1/* Fundamental definitions for GNU Emacs Lisp interpreter.
e2017fe2 2
ab422c4d
PE
3Copyright (C) 1985-1987, 1993-1995, 1997-2013 Free Software Foundation,
4Inc.
3cfe6dfd
JB
5
6This file is part of GNU Emacs.
7
b9b1cc14 8GNU Emacs is free software: you can redistribute it and/or modify
3cfe6dfd 9it under the terms of the GNU General Public License as published by
b9b1cc14
GM
10the Free Software Foundation, either version 3 of the License, or
11(at your option) any later version.
3cfe6dfd
JB
12
13GNU Emacs is distributed in the hope that it will be useful,
14but WITHOUT ANY WARRANTY; without even the implied warranty of
15MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16GNU General Public License for more details.
17
18You should have received a copy of the GNU General Public License
b9b1cc14 19along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */
3cfe6dfd 20
6b61353c
KH
21#ifndef EMACS_LISP_H
22#define EMACS_LISP_H
23
0328b6de 24#include <setjmp.h>
e32a5799 25#include <stdalign.h>
6a8033e1 26#include <stdarg.h>
f5d9e83a 27#include <stdbool.h>
89887d67 28#include <stddef.h>
4d7e6e51 29#include <float.h>
8ac068ac 30#include <inttypes.h>
dd3482fe 31#include <limits.h>
6a8033e1 32
be44ca6c
PE
33#include <intprops.h>
34
f162bcc3
PE
35INLINE_HEADER_BEGIN
36#ifndef LISP_INLINE
37# define LISP_INLINE INLINE
38#endif
39
03a660a6
PE
40/* The ubiquitous max and min macros. */
41#undef min
42#undef max
43#define max(a, b) ((a) > (b) ? (a) : (b))
44#define min(a, b) ((a) < (b) ? (a) : (b))
45
34374650
PE
46/* EMACS_INT - signed integer wide enough to hold an Emacs value
47 EMACS_INT_MAX - maximum value of EMACS_INT; can be used in #if
48 pI - printf length modifier for EMACS_INT
49 EMACS_UINT - unsigned variant of EMACS_INT */
71f88e00 50#ifndef EMACS_INT_MAX
34374650 51# if LONG_MAX < LLONG_MAX && defined WIDE_EMACS_INT
71f88e00
PE
52typedef long long int EMACS_INT;
53typedef unsigned long long int EMACS_UINT;
34374650 54# define EMACS_INT_MAX LLONG_MAX
47be4ab5 55# define pI "ll"
34374650 56# elif INT_MAX < LONG_MAX
71f88e00
PE
57typedef long int EMACS_INT;
58typedef unsigned long int EMACS_UINT;
34374650 59# define EMACS_INT_MAX LONG_MAX
47be4ab5
PE
60# define pI "l"
61# else
71f88e00
PE
62typedef int EMACS_INT;
63typedef unsigned int EMACS_UINT;
34374650 64# define EMACS_INT_MAX INT_MAX
47be4ab5
PE
65# define pI ""
66# endif
68c45bf0 67#endif
34374650
PE
68
69/* Number of bits in some machine integer types. */
70enum
71 {
72 BITS_PER_CHAR = CHAR_BIT,
73 BITS_PER_SHORT = CHAR_BIT * sizeof (short),
74 BITS_PER_INT = CHAR_BIT * sizeof (int),
75 BITS_PER_LONG = CHAR_BIT * sizeof (long int),
76 BITS_PER_EMACS_INT = CHAR_BIT * sizeof (EMACS_INT)
77 };
ce99fd65 78
a81d11a3
PE
79/* printmax_t and uprintmax_t are types for printing large integers.
80 These are the widest integers that are supported for printing.
81 pMd etc. are conversions for printing them.
82 On C99 hosts, there's no problem, as even the widest integers work.
83 Fall back on EMACS_INT on pre-C99 hosts. */
84#ifdef PRIdMAX
85typedef intmax_t printmax_t;
86typedef uintmax_t uprintmax_t;
87# define pMd PRIdMAX
88# define pMu PRIuMAX
89#else
90typedef EMACS_INT printmax_t;
91typedef EMACS_UINT uprintmax_t;
92# define pMd pI"d"
93# define pMu pI"u"
94#endif
95
9c4c5f81
PE
96/* Use pD to format ptrdiff_t values, which suffice for indexes into
97 buffers and strings. Emacs never allocates objects larger than
98 PTRDIFF_MAX bytes, as they cause problems with pointer subtraction.
99 In C99, pD can always be "t"; configure it here for the sake of
100 pre-C99 libraries such as glibc 2.0 and Solaris 8. */
101#if PTRDIFF_MAX == INT_MAX
102# define pD ""
103#elif PTRDIFF_MAX == LONG_MAX
104# define pD "l"
105#elif PTRDIFF_MAX == LLONG_MAX
106# define pD "ll"
107#else
108# define pD "t"
109#endif
110
e0b8c689 111/* Extra internal type checking? */
c6129d7e 112
310fbfa8
PE
113/* Define an Emacs version of 'assert (COND)', since some
114 system-defined 'assert's are flaky. COND should be free of side
115 effects; it may or may not be evaluated. */
116#ifndef ENABLE_CHECKING
117# define eassert(X) ((void) (0 && (X))) /* Check that X compiles. */
118#else /* ENABLE_CHECKING */
c6129d7e 119
845ca893 120extern _Noreturn void die (const char *, const char *, int);
244ed907 121
383b707e
KR
122/* The suppress_checking variable is initialized to 0 in alloc.c. Set
123 it to 1 using a debugger to temporarily disable aborting on
124 detected internal inconsistencies or error conditions.
125
383b707e 126 In some cases, a good compiler may be able to optimize away the
310fbfa8 127 eassert macro altogether, e.g., if XSTRING (x) uses eassert to test
383b707e
KR
128 STRINGP (x), but a particular use of XSTRING is invoked only after
129 testing that STRINGP (x) is true, making the test redundant. */
fce31d69 130extern bool suppress_checking EXTERNALLY_VISIBLE;
244ed907 131
310fbfa8 132# define eassert(cond) \
5013fc08 133 (suppress_checking || (cond) \
310fbfa8 134 ? (void) 0 \
5013fc08 135 : die (# cond, __FILE__, __LINE__))
3694b4ab 136#endif /* ENABLE_CHECKING */
b9466edb 137\f
646b5f55
AS
138/* Use the configure flag --enable-check-lisp-object-type to make
139 Lisp_Object use a struct type instead of the default int. The flag
140 causes CHECK_LISP_OBJECT_TYPE to be defined. */
b86cfd28 141
b9466edb 142/***** Select the tagging scheme. *****/
646b5f55 143/* The following option controls the tagging scheme:
b9466edb
SM
144 - USE_LSB_TAG means that we can assume the least 3 bits of pointers are
145 always 0, and we can thus use them to hold tag bits, without
146 restricting our addressing space.
147
bfe3e0a2
PE
148 If ! USE_LSB_TAG, then use the top 3 bits for tagging, thus
149 restricting our possible address range.
b9466edb
SM
150
151 USE_LSB_TAG not only requires the least 3 bits of pointers returned by
152 malloc to be 0 but also needs to be able to impose a mult-of-8 alignment
153 on the few static Lisp_Objects used: all the defsubr as well
154 as the two special buffers buffer_defaults and buffer_local_symbols. */
155
4706125e
PE
156enum Lisp_Bits
157 {
158 /* Number of bits in a Lisp_Object tag. This can be used in #if,
159 and for GDB's sake also as a regular symbol. */
160 GCTYPEBITS =
8c9afb46 161#define GCTYPEBITS 3
4706125e
PE
162 GCTYPEBITS,
163
b6b3b294
PE
164 /* 2**GCTYPEBITS. This must be a macro that expands to a literal
165 integer constant, for MSVC. */
e32a5799 166#define GCALIGNMENT 8
e32a5799 167
4706125e
PE
168 /* Number of bits in a Lisp_Object value, not counting the tag. */
169 VALBITS = BITS_PER_EMACS_INT - GCTYPEBITS,
1781b9e9 170
4706125e
PE
171 /* Number of bits in a Lisp fixnum tag. */
172 INTTYPEBITS = GCTYPEBITS - 1,
173
174 /* Number of bits in a Lisp fixnum value, not counting the tag. */
175 FIXNUM_BITS = VALBITS + 1
176 };
34374650 177
e32a5799
PE
178#if GCALIGNMENT != 1 << GCTYPEBITS
179# error "GCALIGNMENT and GCTYPEBITS are inconsistent"
180#endif
181
34374650
PE
182/* The maximum value that can be stored in a EMACS_INT, assuming all
183 bits other than the type bits contribute to a nonnegative signed value.
184 This can be used in #if, e.g., '#if VAL_MAX < UINTPTR_MAX' below. */
185#define VAL_MAX (EMACS_INT_MAX >> (GCTYPEBITS - 1))
310f5bd4 186
bfe3e0a2
PE
187/* Unless otherwise specified, use USE_LSB_TAG on systems where: */
188#ifndef USE_LSB_TAG
189/* 1. We know malloc returns a multiple of 8. */
190# if (defined GNU_MALLOC || defined DOUG_LEA_MALLOC || defined __GLIBC__ \
191 || defined DARWIN_OS || defined __sun)
192/* 2. We can specify multiple-of-8 alignment on static variables. */
e32a5799 193# ifdef alignas
bfe3e0a2
PE
194/* 3. Pointers-as-ints exceed VAL_MAX.
195 On hosts where pointers-as-ints do not exceed VAL_MAX, USE_LSB_TAG is:
27f3c637
PE
196 a. unnecessary, because the top bits of an EMACS_INT are unused, and
197 b. slower, because it typically requires extra masking.
bfe3e0a2
PE
198 So, default USE_LSB_TAG to 1 only on hosts where it might be useful. */
199# if VAL_MAX < UINTPTR_MAX
200# define USE_LSB_TAG 1
201# endif
310f5bd4 202# endif
b9466edb
SM
203# endif
204#endif
5eceb8fb
PE
205#ifdef USE_LSB_TAG
206# undef USE_LSB_TAG
4706125e 207enum enum_USE_LSB_TAG { USE_LSB_TAG = 1 };
5eceb8fb
PE
208# define USE_LSB_TAG 1
209#else
4706125e 210enum enum_USE_LSB_TAG { USE_LSB_TAG = 0 };
bfe3e0a2
PE
211# define USE_LSB_TAG 0
212#endif
b9466edb 213
e32a5799
PE
214#ifndef alignas
215# define alignas(alignment) /* empty */
bfe3e0a2 216# if USE_LSB_TAG
e32a5799 217# error "USE_LSB_TAG requires alignas"
b9466edb 218# endif
b9466edb
SM
219#endif
220
e0b8c689 221
84575e67
PE
222/* Some operations are so commonly executed that they are implemented
223 as macros, not functions, because otherwise runtime performance would
224 suffer too much when compiling with GCC without optimization.
225 There's no need to inline everything, just the operations that
226 would otherwise cause a serious performance problem.
227
228 For each such operation OP, define a macro lisp_h_OP that contains
5ebb1ee6 229 the operation's implementation. That way, OP can be implemented
84575e67
PE
230 via a macro definition like this:
231
232 #define OP(x) lisp_h_OP (x)
233
234 and/or via a function definition like this:
235
236 LISP_MACRO_DEFUN (OP, Lisp_Object, (Lisp_Object x), (x))
237
238 which macro-expands to this:
239
240 Lisp_Object (OP) (Lisp_Object x) { return lisp_h_OP (x); }
241
242 without worrying about the implementations diverging, since
243 lisp_h_OP defines the actual implementation. The lisp_h_OP macros
244 are intended to be private to this include file, and should not be
245 used elsewhere.
246
247 FIXME: Remove the lisp_h_OP macros, and define just the inline OP
248 functions, once most developers have access to GCC 4.8 or later and
249 can use "gcc -Og" to debug. Maybe in the year 2016. See
250 Bug#11935.
251
252 Commentary for these macros can be found near their corresponding
253 functions, below. */
254
255#if CHECK_LISP_OBJECT_TYPE
256# define lisp_h_XLI(o) ((o).i)
257# define lisp_h_XIL(i) ((Lisp_Object) { i })
258#else
259# define lisp_h_XLI(o) (o)
260# define lisp_h_XIL(i) (i)
261#endif
262#define lisp_h_CHECK_LIST_CONS(x, y) CHECK_TYPE (CONSP (x), Qlistp, y)
263#define lisp_h_CHECK_NUMBER(x) CHECK_TYPE (INTEGERP (x), Qintegerp, x)
264#define lisp_h_CHECK_SYMBOL(x) CHECK_TYPE (SYMBOLP (x), Qsymbolp, x)
265#define lisp_h_CHECK_TYPE(ok, Qxxxp, x) \
266 ((ok) ? (void) 0 : (void) wrong_type_argument (Qxxxp, x))
267#define lisp_h_CONSP(x) (XTYPE (x) == Lisp_Cons)
268#define lisp_h_EQ(x, y) (XLI (x) == XLI (y))
269#define lisp_h_FLOATP(x) (XTYPE (x) == Lisp_Float)
270#define lisp_h_INTEGERP(x) ((XTYPE (x) & ~Lisp_Int1) == 0)
271#define lisp_h_MARKERP(x) (MISCP (x) && XMISCTYPE (x) == Lisp_Misc_Marker)
272#define lisp_h_MISCP(x) (XTYPE (x) == Lisp_Misc)
273#define lisp_h_NILP(x) EQ (x, Qnil)
274#define lisp_h_SET_SYMBOL_VAL(sym, v) \
275 (eassert ((sym)->redirect == SYMBOL_PLAINVAL), (sym)->val.value = (v))
276#define lisp_h_SYMBOL_CONSTANT_P(sym) (XSYMBOL (sym)->constant)
277#define lisp_h_SYMBOL_VAL(sym) \
278 (eassert ((sym)->redirect == SYMBOL_PLAINVAL), (sym)->val.value)
279#define lisp_h_SYMBOLP(x) (XTYPE (x) == Lisp_Symbol)
280#define lisp_h_VECTORLIKEP(x) (XTYPE (x) == Lisp_Vectorlike)
281#define lisp_h_XCAR(c) XCONS (c)->car
282#define lisp_h_XCDR(c) XCONS (c)->u.cdr
283#define lisp_h_XCONS(a) \
284 (eassert (CONSP (a)), (struct Lisp_Cons *) XUNTAG (a, Lisp_Cons))
285#define lisp_h_XHASH(a) XUINT (a)
286#define lisp_h_XPNTR(a) \
287 ((void *) (intptr_t) ((XLI (a) & VALMASK) | DATA_SEG_BITS))
288#define lisp_h_XSYMBOL(a) \
289 (eassert (SYMBOLP (a)), (struct Lisp_Symbol *) XUNTAG (a, Lisp_Symbol))
290#ifndef GC_CHECK_CONS_LIST
291# define lisp_h_check_cons_list() ((void) 0)
292#endif
293#if USE_LSB_TAG
294# define lisp_h_make_number(n) XIL ((EMACS_INT) (n) << INTTYPEBITS)
295# define lisp_h_XFASTINT(a) XINT (a)
296# define lisp_h_XINT(a) (XLI (a) >> INTTYPEBITS)
297# define lisp_h_XTYPE(a) ((enum Lisp_Type) (XLI (a) & ~VALMASK))
298# define lisp_h_XUNTAG(a, type) ((void *) (XLI (a) - (type)))
299#endif
300
301/* When compiling via gcc -O0, define the key operations as macros, as
302 Emacs is too slow otherwise. To disable this optimization, compile
303 with -DINLINING=0. */
304#if (defined __NO_INLINE__ \
305 && ! defined __OPTIMIZE__ && ! defined __OPTIMIZE_SIZE__ \
306 && ! (defined INLINING && ! INLINING))
307# define XLI(o) lisp_h_XLI (o)
308# define XIL(i) lisp_h_XIL (i)
309# define CHECK_LIST_CONS(x, y) lisp_h_CHECK_LIST_CONS (x, y)
310# define CHECK_NUMBER(x) lisp_h_CHECK_NUMBER (x)
311# define CHECK_SYMBOL(x) lisp_h_CHECK_SYMBOL (x)
312# define CHECK_TYPE(ok, Qxxxp, x) lisp_h_CHECK_TYPE (ok, Qxxxp, x)
313# define CONSP(x) lisp_h_CONSP (x)
314# define EQ(x, y) lisp_h_EQ (x, y)
315# define FLOATP(x) lisp_h_FLOATP (x)
316# define INTEGERP(x) lisp_h_INTEGERP (x)
317# define MARKERP(x) lisp_h_MARKERP (x)
318# define MISCP(x) lisp_h_MISCP (x)
319# define NILP(x) lisp_h_NILP (x)
320# define SET_SYMBOL_VAL(sym, v) lisp_h_SET_SYMBOL_VAL (sym, v)
321# define SYMBOL_CONSTANT_P(sym) lisp_h_SYMBOL_CONSTANT_P (sym)
322# define SYMBOL_VAL(sym) lisp_h_SYMBOL_VAL (sym)
323# define SYMBOLP(x) lisp_h_SYMBOLP (x)
324# define VECTORLIKEP(x) lisp_h_VECTORLIKEP (x)
325# define XCAR(c) lisp_h_XCAR (c)
326# define XCDR(c) lisp_h_XCDR (c)
327# define XCONS(a) lisp_h_XCONS (a)
328# define XHASH(a) lisp_h_XHASH (a)
329# define XPNTR(a) lisp_h_XPNTR (a)
330# define XSYMBOL(a) lisp_h_XSYMBOL (a)
331# ifndef GC_CHECK_CONS_LIST
332# define check_cons_list() lisp_h_check_cons_list ()
333# endif
334# if USE_LSB_TAG
335# define make_number(n) lisp_h_make_number (n)
336# define XFASTINT(a) lisp_h_XFASTINT (a)
337# define XINT(a) lisp_h_XINT (a)
338# define XTYPE(a) lisp_h_XTYPE (a)
339# define XUNTAG(a, type) lisp_h_XUNTAG (a, type)
340# endif
341#endif
342
343/* Define NAME as a lisp.h inline function that returns TYPE and has
344 arguments declared as ARGDECLS and passed as ARGS. ARGDECLS and
345 ARGS should be parenthesized. Implement the function by calling
346 lisp_h_NAME ARGS. */
347#define LISP_MACRO_DEFUN(name, type, argdecls, args) \
348 LISP_INLINE type (name) argdecls { return lisp_h_##name args; }
349
350/* like LISP_MACRO_DEFUN, except NAME returns void. */
351#define LISP_MACRO_DEFUN_VOID(name, argdecls, args) \
352 LISP_INLINE void (name) argdecls { lisp_h_##name args; }
353
354
99a3d506 355/* Define the fundamental Lisp data structures. */
3cfe6dfd 356
c95a4266
EZ
357/* This is the set of Lisp data types. If you want to define a new
358 data type, read the comments after Lisp_Fwd_Type definition
359 below. */
3cfe6dfd 360
2b570124
PE
361/* Lisp integers use 2 tags, to give them one extra bit, thus
362 extending their range from, e.g., -2^28..2^28-1 to -2^29..2^29-1. */
eff1c190 363#define INTMASK (EMACS_INT_MAX >> (INTTYPEBITS - 1))
2b570124 364#define case_Lisp_Int case Lisp_Int0: case Lisp_Int1
2de9f71c 365
29abe551
PE
366/* Idea stolen from GDB. Pedantic GCC complains about enum bitfields,
367 MSVC doesn't support them, and xlc complains vociferously about them. */
368#if defined __STRICT_ANSI__ || defined _MSC_VER || defined __IBMC__
a6fc3b5c
EZ
369#define ENUM_BF(TYPE) unsigned int
370#else
371#define ENUM_BF(TYPE) enum TYPE
372#endif
373
374
3cfe6dfd
JB
375enum Lisp_Type
376 {
99a3d506 377 /* Integer. XINT (obj) is the integer value. */
2de9f71c 378 Lisp_Int0 = 0,
d5040d2d 379 Lisp_Int1 = USE_LSB_TAG ? 1 << INTTYPEBITS : 1,
3cfe6dfd 380
99a3d506 381 /* Symbol. XSYMBOL (object) points to a struct Lisp_Symbol. */
2de9f71c 382 Lisp_Symbol = 2,
3cfe6dfd 383
84d1833e
KH
384 /* Miscellaneous. XMISC (object) points to a union Lisp_Misc,
385 whose first member indicates the subtype. */
2de9f71c 386 Lisp_Misc = 3,
3cfe6dfd
JB
387
388 /* String. XSTRING (object) points to a struct Lisp_String.
99a3d506 389 The length of the string, and its contents, are stored therein. */
d5040d2d 390 Lisp_String = USE_LSB_TAG ? 1 : 1 << INTTYPEBITS,
3cfe6dfd 391
b5088f80 392 /* Vector of Lisp objects, or something resembling it.
7c06ac2b 393 XVECTOR (object) points to a struct Lisp_Vector, which contains
b5088f80
KH
394 the size and contents. The size field also contains the type
395 information, if it's not a real vector object. */
2de9f71c 396 Lisp_Vectorlike = 5,
3cfe6dfd 397
99a3d506 398 /* Cons. XCONS (object) points to a struct Lisp_Cons. */
2de9f71c 399 Lisp_Cons = 6,
4d1207f6 400
29abe551 401 Lisp_Float = 7
3cfe6dfd
JB
402 };
403
a32fa736 404/* This is the set of data types that share a common structure.
c98adc1b
KH
405 The first member of the structure is a type code from this set.
406 The enum values are arbitrary, but we'll use large numbers to make it
407 more likely that we'll spot the error if a random word in memory is
408 mistakenly interpreted as a Lisp_Misc. */
1c4ca5a3
KH
409enum Lisp_Misc_Type
410 {
c98adc1b 411 Lisp_Misc_Free = 0x5eab,
84d1833e 412 Lisp_Misc_Marker,
99a3d506 413 Lisp_Misc_Overlay,
222151aa 414 Lisp_Misc_Save_Value,
99a3d506
RS
415 /* Currently floats are not a misc type,
416 but let's define this in case we want to change that. */
417 Lisp_Misc_Float,
418 /* This is not a type code. It is for range checking. */
419 Lisp_Misc_Limit
1c4ca5a3
KH
420 };
421
ce5b453a
SM
422/* These are the types of forwarding objects used in the value slot
423 of symbols for special built-in variables whose value is stored in
424 C variables. */
425enum Lisp_Fwd_Type
426 {
427 Lisp_Fwd_Int, /* Fwd to a C `int' variable. */
428 Lisp_Fwd_Bool, /* Fwd to a C boolean var. */
429 Lisp_Fwd_Obj, /* Fwd to a C Lisp_Object variable. */
430 Lisp_Fwd_Buffer_Obj, /* Fwd to a Lisp_Object field of buffers. */
29abe551 431 Lisp_Fwd_Kboard_Obj /* Fwd to a Lisp_Object field of kboards. */
ce5b453a
SM
432 };
433
c95a4266
EZ
434/* If you want to define a new Lisp data type, here are some
435 instructions. See the thread at
436 http://lists.gnu.org/archive/html/emacs-devel/2012-10/msg00561.html
437 for more info.
438
439 First, there are already a couple of Lisp types that can be used if
440 your new type does not need to be exposed to Lisp programs nor
441 displayed to users. These are Lisp_Save_Value, a Lisp_Misc
791ef5f8 442 subtype; and PVEC_OTHER, a kind of vectorlike object. The former
c95a4266 443 is suitable for temporarily stashing away pointers and integers in
1396ac86 444 a Lisp object. The latter is useful for vector-like Lisp objects
c95a4266
EZ
445 that need to be used as part of other objects, but which are never
446 shown to users or Lisp code (search for PVEC_OTHER in xterm.c for
447 an example).
448
449 These two types don't look pretty when printed, so they are
450 unsuitable for Lisp objects that can be exposed to users.
451
452 To define a new data type, add one more Lisp_Misc subtype or one
453 more pseudovector subtype. Pseudovectors are more suitable for
454 objects with several slots that need to support fast random access,
791ef5f8 455 while Lisp_Misc types are for everything else. A pseudovector object
c95a4266
EZ
456 provides one or more slots for Lisp objects, followed by struct
457 members that are accessible only from C. A Lisp_Misc object is a
458 wrapper for a C struct that can contain anything you like.
459
8847a0de
DA
460 Explicit freeing is discouraged for Lisp objects in general. But if
461 you really need to exploit this, use Lisp_Misc (check free_misc in
462 alloc.c to see why). There is no way to free a vectorlike object.
463
c95a4266
EZ
464 To add a new pseudovector type, extend the pvec_type enumeration;
465 to add a new Lisp_Misc, extend the Lisp_Misc_Type enumeration.
466
467 For a Lisp_Misc, you will also need to add your entry to union
468 Lisp_Misc (but make sure the first word has the same structure as
469 the others, starting with a 16-bit member of the Lisp_Misc_Type
470 enumeration and a 1-bit GC markbit) and make sure the overall size
471 of the union is not increased by your addition.
472
8847a0de
DA
473 For a new pseudovector, it's highly desirable to limit the size
474 of your data type by VBLOCK_BYTES_MAX bytes (defined in alloc.c).
475 Otherwise you will need to change sweep_vectors (also in alloc.c).
476
c95a4266
EZ
477 Then you will need to add switch branches in print.c (in
478 print_object, to print your object, and possibly also in
479 print_preprocess) and to alloc.c, to mark your object (in
480 mark_object) and to free it (in gc_sweep). The latter is also the
481 right place to call any code specific to your data type that needs
482 to run when the object is recycled -- e.g., free any additional
483 resources allocated for it that are not Lisp objects. You can even
484 make a pointer to the function that frees the resources a slot in
485 your object -- this way, the same object could be used to represent
486 several disparate C structures. */
487
646b5f55 488#ifdef CHECK_LISP_OBJECT_TYPE
3cfe6dfd 489
646b5f55
AS
490typedef struct { EMACS_INT i; } Lisp_Object;
491
bfe3e0a2 492#define LISP_INITIALLY_ZERO {0}
f3fbd155 493
4706125e
PE
494#undef CHECK_LISP_OBJECT_TYPE
495enum CHECK_LISP_OBJECT_TYPE { CHECK_LISP_OBJECT_TYPE = 1 };
646b5f55 496#else /* CHECK_LISP_OBJECT_TYPE */
3cfe6dfd 497
646b5f55 498/* If a struct type is not wanted, define Lisp_Object as just a number. */
3cfe6dfd 499
c003141f 500typedef EMACS_INT Lisp_Object;
bfe3e0a2 501#define LISP_INITIALLY_ZERO 0
4706125e 502enum CHECK_LISP_OBJECT_TYPE { CHECK_LISP_OBJECT_TYPE = 0 };
646b5f55 503#endif /* CHECK_LISP_OBJECT_TYPE */
3cfe6dfd 504
84575e67
PE
505/* Convert a Lisp_Object to the corresponding EMACS_INT and vice versa.
506 At the machine level, these operations are no-ops. */
507LISP_MACRO_DEFUN (XLI, EMACS_INT, (Lisp_Object o), (o))
508LISP_MACRO_DEFUN (XIL, Lisp_Object, (EMACS_INT i), (i))
509
d311d28c 510/* In the size word of a vector, this bit means the vector has been marked. */
846d69ac 511
79ea6c20
PE
512static ptrdiff_t const ARRAY_MARK_FLAG
513#define ARRAY_MARK_FLAG PTRDIFF_MIN
514 = ARRAY_MARK_FLAG;
846d69ac 515
b5088f80
KH
516/* In the size word of a struct Lisp_Vector, this bit means it's really
517 some other vector-like object. */
f162bcc3
PE
518static ptrdiff_t const PSEUDOVECTOR_FLAG
519#define PSEUDOVECTOR_FLAG (PTRDIFF_MAX - PTRDIFF_MAX / 2)
520 = PSEUDOVECTOR_FLAG;
b5088f80 521
303a5c93 522/* In a pseudovector, the size field actually contains a word with one
6aea7528
DA
523 PSEUDOVECTOR_FLAG bit set, and one of the following values extracted
524 with PVEC_TYPE_MASK to indicate the actual type. */
99a3d506
RS
525enum pvec_type
526{
6aea7528 527 PVEC_NORMAL_VECTOR,
ee28be33
SM
528 PVEC_FREE,
529 PVEC_PROCESS,
530 PVEC_FRAME,
531 PVEC_WINDOW,
532 PVEC_BOOL_VECTOR,
533 PVEC_BUFFER,
534 PVEC_HASH_TABLE,
535 PVEC_TERMINAL,
536 PVEC_WINDOW_CONFIGURATION,
537 PVEC_SUBR,
538 PVEC_OTHER,
914adc42
DA
539 /* These should be last, check internal_equal to see why. */
540 PVEC_COMPILED,
541 PVEC_CHAR_TABLE,
542 PVEC_SUB_CHAR_TABLE,
543 PVEC_FONT /* Should be last because it's used for range checking. */
99a3d506 544};
b5088f80 545
4706125e
PE
546/* DATA_SEG_BITS forces extra bits to be or'd in with any pointers
547 which were stored in a Lisp_Object. */
548#ifndef DATA_SEG_BITS
549# define DATA_SEG_BITS 0
550#endif
551enum { gdb_DATA_SEG_BITS = DATA_SEG_BITS };
552#undef DATA_SEG_BITS
553
554enum More_Lisp_Bits
1781b9e9 555 {
4706125e
PE
556 DATA_SEG_BITS = gdb_DATA_SEG_BITS,
557
558 /* For convenience, we also store the number of elements in these bits.
559 Note that this size is not necessarily the memory-footprint size, but
560 only the number of Lisp_Object fields (that need to be traced by GC).
561 The distinction is used, e.g., by Lisp_Process, which places extra
562 non-Lisp_Object fields at the end of the structure. */
914adc42 563 PSEUDOVECTOR_SIZE_BITS = 12,
1781b9e9 564 PSEUDOVECTOR_SIZE_MASK = (1 << PSEUDOVECTOR_SIZE_BITS) - 1,
914adc42
DA
565
566 /* To calculate the memory footprint of the pseudovector, it's useful
567 to store the size of non-Lisp area in word_size units here. */
568 PSEUDOVECTOR_REST_BITS = 12,
04a2d0d3 569 PSEUDOVECTOR_REST_MASK = (((1 << PSEUDOVECTOR_REST_BITS) - 1)
914adc42
DA
570 << PSEUDOVECTOR_SIZE_BITS),
571
572 /* Used to extract pseudovector subtype information. */
573 PSEUDOVECTOR_AREA_BITS = PSEUDOVECTOR_SIZE_BITS + PSEUDOVECTOR_REST_BITS,
574 PVEC_TYPE_MASK = 0x3f << PSEUDOVECTOR_AREA_BITS,
1781b9e9 575
4706125e
PE
576 /* Number of bits to put in each character in the internal representation
577 of bool vectors. This should not vary across implementations. */
578 BOOL_VECTOR_BITS_PER_CHAR = 8
579 };
3cfe6dfd 580\f
84575e67 581/* These functions extract various sorts of values from a Lisp_Object.
3cfe6dfd 582 For example, if tem is a Lisp_Object whose type is Lisp_Cons,
99a3d506 583 XCONS (tem) is the struct Lisp_Cons * pointing to the memory for that cons. */
3cfe6dfd 584
84575e67
PE
585static EMACS_INT const VALMASK
586#define VALMASK (USE_LSB_TAG ? - (1 << GCTYPEBITS) : VAL_MAX)
587 = VALMASK;
6b61353c 588
84575e67
PE
589/* Largest and smallest representable fixnum values. These are the C
590 values. They are macros for use in static initializers. */
591#define MOST_POSITIVE_FIXNUM (EMACS_INT_MAX >> INTTYPEBITS)
592#define MOST_NEGATIVE_FIXNUM (-1 - MOST_POSITIVE_FIXNUM)
6b61353c 593
84575e67
PE
594/* Extract the pointer hidden within A. */
595LISP_MACRO_DEFUN (XPNTR, void *, (Lisp_Object a), (a))
6b61353c 596
84575e67 597#if USE_LSB_TAG
6b61353c 598
84575e67
PE
599LISP_MACRO_DEFUN (make_number, Lisp_Object, (EMACS_INT n), (n))
600LISP_MACRO_DEFUN (XINT, EMACS_INT, (Lisp_Object a), (a))
601LISP_MACRO_DEFUN (XFASTINT, EMACS_INT, (Lisp_Object a), (a))
602LISP_MACRO_DEFUN (XTYPE, enum Lisp_Type, (Lisp_Object a), (a))
603LISP_MACRO_DEFUN (XUNTAG, void *, (Lisp_Object a, int type), (a, type))
6b61353c 604
84575e67 605#else /* ! USE_LSB_TAG */
3cfe6dfd 606
84575e67
PE
607/* Although compiled only if ! USE_LSB_TAG, the following functions
608 also work when USE_LSB_TAG; this is to aid future maintenance when
609 the lisp_h_* macros are eventually removed. */
3cfe6dfd 610
84575e67
PE
611/* Make a Lisp integer representing the value of the low order
612 bits of N. */
613LISP_INLINE Lisp_Object
614make_number (EMACS_INT n)
615{
616 return XIL (USE_LSB_TAG ? n << INTTYPEBITS : n & INTMASK);
617}
3cfe6dfd 618
84575e67
PE
619/* Extract A's value as a signed integer. */
620LISP_INLINE EMACS_INT
621XINT (Lisp_Object a)
622{
623 EMACS_INT i = XLI (a);
624 return (USE_LSB_TAG ? i : i << INTTYPEBITS) >> INTTYPEBITS;
625}
3cfe6dfd 626
84575e67
PE
627/* Like XINT (A), but may be faster. A must be nonnegative.
628 If ! USE_LSB_TAG, this takes advantage of the fact that Lisp
629 integers have zero-bits in their tags. */
630LISP_INLINE EMACS_INT
631XFASTINT (Lisp_Object a)
632{
633 EMACS_INT n = USE_LSB_TAG ? XINT (a) : XLI (a);
634 eassert (0 <= n);
635 return n;
636}
b7acde90 637
84575e67
PE
638/* Extract A's type. */
639LISP_INLINE enum Lisp_Type
640XTYPE (Lisp_Object a)
641{
642 EMACS_UINT i = XLI (a);
643 return USE_LSB_TAG ? i & ~VALMASK : i >> VALBITS;
644}
b7acde90 645
84575e67
PE
646/* Extract A's pointer value, assuming A's type is TYPE. */
647LISP_INLINE void *
648XUNTAG (Lisp_Object a, int type)
649{
650 if (USE_LSB_TAG)
651 {
652 intptr_t i = XLI (a) - type;
653 return (void *) i;
654 }
655 return XPNTR (a);
656}
3cfe6dfd 657
84575e67 658#endif /* ! USE_LSB_TAG */
61ddb1b9 659
84575e67
PE
660/* Extract A's value as an unsigned integer. */
661LISP_INLINE EMACS_UINT
662XUINT (Lisp_Object a)
663{
664 EMACS_UINT i = XLI (a);
665 return USE_LSB_TAG ? i >> INTTYPEBITS : i & INTMASK;
666}
b349d111 667
84575e67
PE
668/* Return A's (Lisp-integer sized) hash. Happens to be like XUINT
669 right now, but XUINT should only be applied to objects we know are
670 integers. */
671LISP_MACRO_DEFUN (XHASH, EMACS_INT, (Lisp_Object a), (a))
b263a6b0 672
84575e67
PE
673/* Like make_number (N), but may be faster. N must be in nonnegative range. */
674LISP_INLINE Lisp_Object
675make_natnum (EMACS_INT n)
676{
677 eassert (0 <= n && n <= MOST_POSITIVE_FIXNUM);
678 return USE_LSB_TAG ? make_number (n) : XIL (n);
679}
b9466edb 680
84575e67
PE
681/* Return true if X and Y are the same object. */
682LISP_MACRO_DEFUN (EQ, bool, (Lisp_Object x, Lisp_Object y), (x, y))
0de4bb68 683
987c9327
AS
684/* Value is non-zero if I doesn't fit into a Lisp fixnum. It is
685 written this way so that it also works if I is of unsigned
2e6578fb 686 type or if I is a NaN. */
dc8e8b07
GM
687
688#define FIXNUM_OVERFLOW_P(i) \
7216e43b 689 (! ((0 <= (i) || MOST_NEGATIVE_FIXNUM <= (i)) && (i) <= MOST_POSITIVE_FIXNUM))
dc8e8b07 690
f162bcc3 691LISP_INLINE ptrdiff_t
d311d28c
PE
692clip_to_bounds (ptrdiff_t lower, EMACS_INT num, ptrdiff_t upper)
693{
694 return num < lower ? lower : num <= upper ? num : upper;
695}
84575e67
PE
696\f
697/* Forward declarations. */
698
699/* Defined in this file. */
700union Lisp_Fwd;
701LISP_INLINE bool BOOL_VECTOR_P (Lisp_Object);
702LISP_INLINE bool BUFFER_OBJFWDP (union Lisp_Fwd *);
703LISP_INLINE bool BUFFERP (Lisp_Object);
704LISP_INLINE bool CHAR_TABLE_P (Lisp_Object);
705LISP_INLINE Lisp_Object CHAR_TABLE_REF_ASCII (Lisp_Object, ptrdiff_t);
706LISP_INLINE bool (CONSP) (Lisp_Object);
707LISP_INLINE bool (FLOATP) (Lisp_Object);
708LISP_INLINE bool functionp (Lisp_Object);
709LISP_INLINE bool (INTEGERP) (Lisp_Object);
710LISP_INLINE bool (MARKERP) (Lisp_Object);
711LISP_INLINE bool (MISCP) (Lisp_Object);
712LISP_INLINE bool (NILP) (Lisp_Object);
713LISP_INLINE bool OVERLAYP (Lisp_Object);
714LISP_INLINE bool PROCESSP (Lisp_Object);
715LISP_INLINE bool PSEUDOVECTORP (Lisp_Object, int);
716LISP_INLINE bool SAVE_VALUEP (Lisp_Object);
717LISP_INLINE void set_sub_char_table_contents (Lisp_Object, ptrdiff_t,
718 Lisp_Object);
719LISP_INLINE bool STRINGP (Lisp_Object);
720LISP_INLINE bool SUB_CHAR_TABLE_P (Lisp_Object);
721LISP_INLINE bool SUBRP (Lisp_Object);
722LISP_INLINE bool (SYMBOLP) (Lisp_Object);
723LISP_INLINE bool (VECTORLIKEP) (Lisp_Object);
724LISP_INLINE bool WINDOWP (Lisp_Object);
725LISP_INLINE struct Lisp_Save_Value *XSAVE_VALUE (Lisp_Object);
d311d28c 726
84575e67
PE
727/* Defined in chartab.c. */
728extern Lisp_Object char_table_ref (Lisp_Object, int);
729extern void char_table_set (Lisp_Object, int, Lisp_Object);
730extern int char_table_translate (Lisp_Object, int);
731
732/* Defined in data.c. */
733extern Lisp_Object Qarrayp, Qbufferp, Qbuffer_or_string_p, Qchar_table_p;
734extern Lisp_Object Qconsp, Qfloatp, Qintegerp, Qlambda, Qlistp, Qmarkerp, Qnil;
735extern Lisp_Object Qnumberp, Qstringp, Qsymbolp, Qvectorp;
736extern Lisp_Object Qvector_or_char_table_p, Qwholenump;
8f3a2c26 737extern Lisp_Object Qwindow;
84575e67
PE
738extern Lisp_Object Ffboundp (Lisp_Object);
739extern _Noreturn Lisp_Object wrong_type_argument (Lisp_Object, Lisp_Object);
740
741/* Defined in emacs.c. */
742extern bool initialized;
743
744/* Defined in eval.c. */
745extern Lisp_Object Qautoload;
746
747/* Defined in floatfns.c. */
748extern double extract_float (Lisp_Object);
749
750/* Defined in process.c. */
751extern Lisp_Object Qprocessp;
752
753/* Defined in window.c. */
754extern Lisp_Object Qwindowp;
755
756/* Defined in xdisp.c. */
757extern Lisp_Object Qimage;
7b1123d8 758\f
84575e67 759
99a3d506 760/* Extract a value or address from a Lisp_Object. */
3cfe6dfd 761
84575e67 762LISP_MACRO_DEFUN (XCONS, struct Lisp_Cons *, (Lisp_Object a), (a))
7c06ac2b 763
84575e67
PE
764LISP_INLINE struct Lisp_Vector *
765XVECTOR (Lisp_Object a)
766{
767 eassert (VECTORLIKEP (a));
768 return XUNTAG (a, Lisp_Vectorlike);
769}
c9f6631c 770
84575e67
PE
771LISP_INLINE struct Lisp_String *
772XSTRING (Lisp_Object a)
773{
774 eassert (STRINGP (a));
775 return XUNTAG (a, Lisp_String);
776}
ce5b453a 777
84575e67 778LISP_MACRO_DEFUN (XSYMBOL, struct Lisp_Symbol *, (Lisp_Object a), (a))
ce5b453a 779
84575e67
PE
780LISP_INLINE struct Lisp_Float *
781XFLOAT (Lisp_Object a)
782{
783 eassert (FLOATP (a));
784 return XUNTAG (a, Lisp_Float);
785}
3cfe6dfd 786
7c06ac2b 787/* Pseudovector types. */
84575e67
PE
788
789LISP_INLINE struct Lisp_Process *
790XPROCESS (Lisp_Object a)
791{
792 eassert (PROCESSP (a));
793 return XUNTAG (a, Lisp_Vectorlike);
794}
795
796LISP_INLINE struct window *
797XWINDOW (Lisp_Object a)
798{
799 eassert (WINDOWP (a));
800 return XUNTAG (a, Lisp_Vectorlike);
801}
802
803LISP_INLINE struct terminal *
804XTERMINAL (Lisp_Object a)
805{
806 return XUNTAG (a, Lisp_Vectorlike);
807}
808
809LISP_INLINE struct Lisp_Subr *
810XSUBR (Lisp_Object a)
811{
812 eassert (SUBRP (a));
813 return XUNTAG (a, Lisp_Vectorlike);
814}
815
816LISP_INLINE struct buffer *
817XBUFFER (Lisp_Object a)
818{
819 eassert (BUFFERP (a));
820 return XUNTAG (a, Lisp_Vectorlike);
821}
822
823LISP_INLINE struct Lisp_Char_Table *
824XCHAR_TABLE (Lisp_Object a)
825{
826 eassert (CHAR_TABLE_P (a));
827 return XUNTAG (a, Lisp_Vectorlike);
828}
829
830LISP_INLINE struct Lisp_Sub_Char_Table *
831XSUB_CHAR_TABLE (Lisp_Object a)
832{
833 eassert (SUB_CHAR_TABLE_P (a));
834 return XUNTAG (a, Lisp_Vectorlike);
835}
836
837LISP_INLINE struct Lisp_Bool_Vector *
838XBOOL_VECTOR (Lisp_Object a)
839{
840 eassert (BOOL_VECTOR_P (a));
841 return XUNTAG (a, Lisp_Vectorlike);
842}
99a3d506 843
99a3d506 844/* Construct a Lisp_Object from a value or address. */
7c06ac2b 845
84575e67
PE
846LISP_INLINE Lisp_Object
847make_lisp_ptr (void *ptr, enum Lisp_Type type)
848{
849 EMACS_UINT utype = type;
850 EMACS_UINT typebits = USE_LSB_TAG ? type : utype << VALBITS;
851 Lisp_Object a = XIL (typebits | (uintptr_t) ptr);
852 eassert (XTYPE (a) == type && XUNTAG (a, type) == ptr);
853 return a;
854}
855
856LISP_INLINE Lisp_Object
857make_lisp_proc (struct Lisp_Process *p)
858{
859 return make_lisp_ptr (p, Lisp_Vectorlike);
860}
861
ff55dfe8 862#define XSETINT(a, b) ((a) = make_number (b))
84575e67 863#define XSETFASTINT(a, b) ((a) = make_natnum (b))
ff55dfe8
PE
864#define XSETCONS(a, b) ((a) = make_lisp_ptr (b, Lisp_Cons))
865#define XSETVECTOR(a, b) ((a) = make_lisp_ptr (b, Lisp_Vectorlike))
866#define XSETSTRING(a, b) ((a) = make_lisp_ptr (b, Lisp_String))
867#define XSETSYMBOL(a, b) ((a) = make_lisp_ptr (b, Lisp_Symbol))
868#define XSETFLOAT(a, b) ((a) = make_lisp_ptr (b, Lisp_Float))
7c06ac2b
RS
869
870/* Misc types. */
c9f6631c 871
ff55dfe8 872#define XSETMISC(a, b) ((a) = make_lisp_ptr (b, Lisp_Misc))
a7aa28f6 873#define XSETMARKER(a, b) (XSETMISC (a, b), XMISCTYPE (a) = Lisp_Misc_Marker)
7c06ac2b
RS
874
875/* Pseudovector types. */
c9f6631c 876
914adc42
DA
877#define XSETPVECTYPE(v, code) \
878 ((v)->header.size |= PSEUDOVECTOR_FLAG | ((code) << PSEUDOVECTOR_AREA_BITS))
879#define XSETPVECTYPESIZE(v, code, lispsize, restsize) \
ee28be33 880 ((v)->header.size = (PSEUDOVECTOR_FLAG \
914adc42
DA
881 | ((code) << PSEUDOVECTOR_AREA_BITS) \
882 | ((restsize) << PSEUDOVECTOR_SIZE_BITS) \
883 | (lispsize)))
aa0b0087
PE
884
885/* The cast to struct vectorlike_header * avoids aliasing issues. */
7c06ac2b 886#define XSETPSEUDOVECTOR(a, b, code) \
7555c33f
SM
887 XSETTYPED_PSEUDOVECTOR (a, b, \
888 (((struct vectorlike_header *) \
889 XUNTAG (a, Lisp_Vectorlike)) \
890 ->size), \
891 code)
eab3844f 892#define XSETTYPED_PSEUDOVECTOR(a, b, size, code) \
beb9f745 893 (XSETVECTOR (a, b), \
eab3844f 894 eassert ((size & (PSEUDOVECTOR_FLAG | PVEC_TYPE_MASK)) \
914adc42 895 == (PSEUDOVECTOR_FLAG | (code << PSEUDOVECTOR_AREA_BITS))))
aa0b0087 896
7c06ac2b
RS
897#define XSETWINDOW_CONFIGURATION(a, b) \
898 (XSETPSEUDOVECTOR (a, b, PVEC_WINDOW_CONFIGURATION))
899#define XSETPROCESS(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_PROCESS))
900#define XSETWINDOW(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_WINDOW))
49e49fb5 901#define XSETTERMINAL(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_TERMINAL))
914adc42 902#define XSETSUBR(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_SUBR))
7c06ac2b 903#define XSETCOMPILED(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_COMPILED))
99a3d506 904#define XSETBUFFER(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_BUFFER))
608ff985
RS
905#define XSETCHAR_TABLE(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_CHAR_TABLE))
906#define XSETBOOL_VECTOR(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_BOOL_VECTOR))
1842abb2 907#define XSETSUB_CHAR_TABLE(a, b) (XSETPSEUDOVECTOR (a, b, PVEC_SUB_CHAR_TABLE))
c9f6631c 908
c8a39089
KS
909/* Type checking. */
910
84575e67
PE
911LISP_MACRO_DEFUN_VOID (CHECK_TYPE, (int ok, Lisp_Object Qxxxp, Lisp_Object x),
912 (ok, Qxxxp, x))
c8a39089 913
c644523b 914/* Deprecated and will be removed soon. */
e34f7f79
DA
915
916#define INTERNAL_FIELD(field) field ## _
c8a39089 917
5f6bf5fe 918/* See the macros in intervals.h. */
e221eae3
JA
919
920typedef struct interval *INTERVAL;
921
3cfe6dfd
JB
922struct Lisp_Cons
923 {
d8a05828 924 /* Car of this cons cell. */
c644523b 925 Lisp_Object car;
d8a05828 926
3a623fee
AS
927 union
928 {
d8a05828 929 /* Cdr of this cons cell. */
c644523b 930 Lisp_Object cdr;
d8a05828
DA
931
932 /* Used to chain conses on a free list. */
3a623fee
AS
933 struct Lisp_Cons *chain;
934 } u;
3cfe6dfd
JB
935 };
936
b7acde90 937/* Take the car or cdr of something known to be a cons cell. */
84575e67 938/* The _addr functions shouldn't be used outside of the minimal set
f3fbd155
KR
939 of code that has to know what a cons cell looks like. Other code not
940 part of the basic lisp implementation should assume that the car and cdr
84575e67 941 fields are not accessible. (What if we want to switch to
f3fbd155
KR
942 a copying collector someday? Cached cons cell field addresses may be
943 invalidated at arbitrary points.) */
84575e67
PE
944LISP_INLINE Lisp_Object *
945xcar_addr (Lisp_Object c)
946{
947 return &XCONS (c)->car;
948}
949LISP_INLINE Lisp_Object *
950xcdr_addr (Lisp_Object c)
951{
952 return &XCONS (c)->u.cdr;
953}
b7acde90 954
f3fbd155 955/* Use these from normal code. */
84575e67
PE
956LISP_MACRO_DEFUN (XCAR, Lisp_Object, (Lisp_Object c), (c))
957LISP_MACRO_DEFUN (XCDR, Lisp_Object, (Lisp_Object c), (c))
f3fbd155
KR
958
959/* Use these to set the fields of a cons cell.
960
961 Note that both arguments may refer to the same object, so 'n'
84575e67
PE
962 should not be read after 'c' is first modified. */
963LISP_INLINE void
964XSETCAR (Lisp_Object c, Lisp_Object n)
965{
966 *xcar_addr (c) = n;
967}
968LISP_INLINE void
969XSETCDR (Lisp_Object c, Lisp_Object n)
970{
971 *xcdr_addr (c) = n;
972}
f3fbd155 973
b7acde90 974/* Take the car or cdr of something whose type is not known. */
84575e67
PE
975LISP_INLINE Lisp_Object
976CAR (Lisp_Object c)
977{
978 return (CONSP (c) ? XCAR (c)
979 : NILP (c) ? Qnil
980 : wrong_type_argument (Qlistp, c));
981}
982LISP_INLINE Lisp_Object
983CDR (Lisp_Object c)
984{
985 return (CONSP (c) ? XCDR (c)
986 : NILP (c) ? Qnil
987 : wrong_type_argument (Qlistp, c));
988}
b7acde90 989
c8a39089 990/* Take the car or cdr of something whose type is not known. */
84575e67
PE
991LISP_INLINE Lisp_Object
992CAR_SAFE (Lisp_Object c)
993{
994 return CONSP (c) ? XCAR (c) : Qnil;
995}
996LISP_INLINE Lisp_Object
997CDR_SAFE (Lisp_Object c)
998{
999 return CONSP (c) ? XCDR (c) : Qnil;
1000}
35f464a7 1001
84575e67 1002/* In a string or vector, the sign bit of the `size' is the gc mark bit. */
35f464a7 1003
84575e67
PE
1004struct Lisp_String
1005 {
1006 ptrdiff_t size;
1007 ptrdiff_t size_byte;
1008 INTERVAL intervals; /* Text properties in this string. */
1009 unsigned char *data;
1010 };
d8fc7ce4 1011
84575e67
PE
1012/* True if STR is a multibyte string. */
1013LISP_INLINE bool
1014STRING_MULTIBYTE (Lisp_Object str)
1015{
1016 return 0 <= XSTRING (str)->size_byte;
1017}
35f464a7 1018
c9d624c6
PE
1019/* An upper bound on the number of bytes in a Lisp string, not
1020 counting the terminating null. This a tight enough bound to
1021 prevent integer overflow errors that would otherwise occur during
1022 string size calculations. A string cannot contain more bytes than
1023 a fixnum can represent, nor can it be so long that C pointer
1024 arithmetic stops working on the string plus its terminating null.
1025 Although the actual size limit (see STRING_BYTES_MAX in alloc.c)
1026 may be a bit smaller than STRING_BYTES_BOUND, calculating it here
1027 would expose alloc.c internal details that we'd rather keep
03a660a6
PE
1028 private.
1029
7b1123d8
PE
1030 This is a macro for use in static initializers. The cast to
1031 ptrdiff_t ensures that the macro is signed. */
c9d624c6 1032#define STRING_BYTES_BOUND \
88fb40b4 1033 ((ptrdiff_t) min (MOST_POSITIVE_FIXNUM, min (SIZE_MAX, PTRDIFF_MAX) - 1))
d1f3d2af 1034
491c2516 1035/* Mark STR as a unibyte string. */
2c668b9a
JB
1036#define STRING_SET_UNIBYTE(STR) \
1037 do { if (EQ (STR, empty_multibyte_string)) \
1038 (STR) = empty_unibyte_string; \
1039 else XSTRING (STR)->size_byte = -1; } while (0)
491c2516 1040
94ef4d69
KH
1041/* Mark STR as a multibyte string. Assure that STR contains only
1042 ASCII characters in advance. */
1043#define STRING_SET_MULTIBYTE(STR) \
1044 do { if (EQ (STR, empty_unibyte_string)) \
1045 (STR) = empty_multibyte_string; \
1046 else XSTRING (STR)->size_byte = XSTRING (STR)->size; } while (0)
1047
84575e67 1048/* Convenience functions for dealing with Lisp strings. */
3cfe6dfd 1049
84575e67
PE
1050LISP_INLINE unsigned char *
1051SDATA (Lisp_Object string)
1052{
1053 return XSTRING (string)->data;
1054}
1055LISP_INLINE char *
1056SSDATA (Lisp_Object string)
1057{
1058 /* Avoid "differ in sign" warnings. */
1059 return (char *) SDATA (string);
1060}
1061LISP_INLINE unsigned char
1062SREF (Lisp_Object string, ptrdiff_t index)
1063{
1064 return SDATA (string)[index];
1065}
1066LISP_INLINE void
1067SSET (Lisp_Object string, ptrdiff_t index, unsigned char new)
1068{
1069 SDATA (string)[index] = new;
1070}
1071LISP_INLINE ptrdiff_t
1072SCHARS (Lisp_Object string)
1073{
1074 return XSTRING (string)->size;
1075}
fbe9e0b9
PE
1076
1077#ifdef GC_CHECK_STRING_BYTES
1078extern ptrdiff_t string_bytes (struct Lisp_String *);
1079#endif
84575e67
PE
1080LISP_INLINE ptrdiff_t
1081STRING_BYTES (struct Lisp_String *s)
1082{
1083#ifdef GC_CHECK_STRING_BYTES
84575e67
PE
1084 return string_bytes (s);
1085#else
1086 return s->size_byte < 0 ? s->size : s->size_byte;
1087#endif
1088}
fbe9e0b9 1089
84575e67
PE
1090LISP_INLINE ptrdiff_t
1091SBYTES (Lisp_Object string)
1092{
1093 return STRING_BYTES (XSTRING (string));
1094}
1095LISP_INLINE void
1096STRING_SET_CHARS (Lisp_Object string, ptrdiff_t newsize)
1097{
1098 XSTRING (string)->size = newsize;
1099}
1100LISP_INLINE void
1101STRING_COPYIN (Lisp_Object string, ptrdiff_t index, char const *new,
1102 ptrdiff_t count)
1103{
1104 memcpy (SDATA (string) + index, new, count);
1105}
3cfe6dfd 1106
aa0b0087 1107/* Header of vector-like objects. This documents the layout constraints on
914adc42 1108 vectors and pseudovectors (objects of PVEC_xxx subtype). It also prevents
84575e67
PE
1109 compilers from being fooled by Emacs's type punning: XSETPSEUDOVECTOR
1110 and PSEUDOVECTORP cast their pointers to struct vectorlike_header *,
aa0b0087
PE
1111 because when two such pointers potentially alias, a compiler won't
1112 incorrectly reorder loads and stores to their size fields. See
1113 <http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8546>. */
b102ceb1 1114struct vectorlike_header
3cfe6dfd 1115 {
914adc42 1116 /* The only field contains various pieces of information:
ee28be33
SM
1117 - The MSB (ARRAY_MARK_FLAG) holds the gcmarkbit.
1118 - The next bit (PSEUDOVECTOR_FLAG) indicates whether this is a plain
1119 vector (0) or a pseudovector (1).
1120 - If PSEUDOVECTOR_FLAG is 0, the rest holds the size (number
1121 of slots) of the vector.
914adc42
DA
1122 - If PSEUDOVECTOR_FLAG is 1, the rest is subdivided into three fields:
1123 - a) pseudovector subtype held in PVEC_TYPE_MASK field;
1124 - b) number of Lisp_Objects slots at the beginning of the object
1125 held in PSEUDOVECTOR_SIZE_MASK field. These objects are always
1126 traced by the GC;
1127 - c) size of the rest fields held in PSEUDOVECTOR_REST_MASK and
1128 measured in word_size units. Rest fields may also include
1129 Lisp_Objects, but these objects usually needs some special treatment
1130 during GC.
1131 There are some exceptions. For PVEC_FREE, b) is always zero. For
1132 PVEC_BOOL_VECTOR and PVEC_SUBR, both b) and c) are always zero.
1133 Current layout limits the pseudovectors to 63 PVEC_xxx subtypes,
1134 4095 Lisp_Objects in GC-ed area and 4095 word-sized other slots. */
d311d28c 1135 ptrdiff_t size;
eab3844f
PE
1136 };
1137
663e2b3f
DA
1138/* Regular vector is just a header plus array of Lisp_Objects. */
1139
eab3844f
PE
1140struct Lisp_Vector
1141 {
b102ceb1 1142 struct vectorlike_header header;
fbe9e0b9 1143 Lisp_Object contents[FLEXIBLE_ARRAY_MEMBER];
3cfe6dfd
JB
1144 };
1145
663e2b3f
DA
1146/* A boolvector is a kind of vectorlike, with contents are like a string. */
1147
1148struct Lisp_Bool_Vector
1149 {
1150 /* HEADER.SIZE is the vector's size field. It doesn't have the real size,
1151 just the subtype information. */
1152 struct vectorlike_header header;
1153 /* This is the size in bits. */
1154 EMACS_INT size;
1155 /* This contains the actual bits, packed into bytes. */
fbe9e0b9 1156 unsigned char data[FLEXIBLE_ARRAY_MEMBER];
663e2b3f
DA
1157 };
1158
1159/* Some handy constants for calculating sizes
1160 and offsets, mostly of vectorlike objects. */
1161
1162enum
1163 {
1164 header_size = offsetof (struct Lisp_Vector, contents),
1165 bool_header_size = offsetof (struct Lisp_Bool_Vector, data),
1166 word_size = sizeof (Lisp_Object)
1167 };
1168
84575e67
PE
1169/* Conveniences for dealing with Lisp arrays. */
1170
1171LISP_INLINE Lisp_Object
1172AREF (Lisp_Object array, ptrdiff_t idx)
1173{
1174 return XVECTOR (array)->contents[idx];
1175}
1176
1177LISP_INLINE Lisp_Object *
1178aref_addr (Lisp_Object array, ptrdiff_t idx)
1179{
1180 return & XVECTOR (array)->contents[idx];
1181}
1182
1183LISP_INLINE ptrdiff_t
1184ASIZE (Lisp_Object array)
1185{
1186 return XVECTOR (array)->header.size;
1187}
1188
1189LISP_INLINE void
1190ASET (Lisp_Object array, ptrdiff_t idx, Lisp_Object val)
1191{
1192 eassert (0 <= idx && idx < ASIZE (array));
1193 XVECTOR (array)->contents[idx] = val;
1194}
1195
1196LISP_INLINE void
1197gc_aset (Lisp_Object array, ptrdiff_t idx, Lisp_Object val)
1198{
1199 /* Like ASET, but also can be used in the garbage collector:
1200 sweep_weak_table calls set_hash_key etc. while the table is marked. */
1201 eassert (0 <= idx && idx < (ASIZE (array) & ~ARRAY_MARK_FLAG));
1202 XVECTOR (array)->contents[idx] = val;
1203}
1204
94225242 1205/* If a struct is made to look like a vector, this macro returns the length
4115d3f7 1206 of the shortest vector that would hold that struct. */
663e2b3f
DA
1207
1208#define VECSIZE(type) \
1209 ((sizeof (type) - header_size + word_size - 1) / word_size)
94225242 1210
d0ebe33a
SM
1211/* Like VECSIZE, but used when the pseudo-vector has non-Lisp_Object fields
1212 at the end and we need to compute the number of Lisp_Object fields (the
1213 ones that the GC needs to trace). */
663e2b3f
DA
1214
1215#define PSEUDOVECSIZE(type, nonlispfield) \
1216 ((offsetof (type, nonlispfield) - header_size) / word_size)
d0ebe33a 1217
ea204efb
PE
1218/* Compute A OP B, using the unsigned comparison operator OP. A and B
1219 should be integer expressions. This is not the same as
53964682 1220 mathematical comparison; for example, UNSIGNED_CMP (0, <, -1)
ea204efb
PE
1221 returns 1. For efficiency, prefer plain unsigned comparison if A
1222 and B's sizes both fit (after integer promotion). */
1223#define UNSIGNED_CMP(a, op, b) \
1224 (max (sizeof ((a) + 0), sizeof ((b) + 0)) <= sizeof (unsigned) \
1225 ? ((a) + (unsigned) 0) op ((b) + (unsigned) 0) \
1226 : ((a) + (uintmax_t) 0) op ((b) + (uintmax_t) 0))
1227
15206ed9 1228/* Nonzero iff C is an ASCII character. */
ea204efb 1229#define ASCII_CHAR_P(c) UNSIGNED_CMP (c, <, 0x80)
15206ed9 1230
84575e67
PE
1231/* A char-table is a kind of vectorlike, with contents are like a
1232 vector but with a few other slots. For some purposes, it makes
1233 sense to handle a char-table with type struct Lisp_Vector. An
1234 element of a char table can be any Lisp objects, but if it is a sub
1235 char-table, we treat it a table that contains information of a
1236 specific range of characters. A sub char-table has the same
1237 structure as a vector. A sub char table appears only in an element
1238 of a char-table, and there's no way to access it directly from
1239 Emacs Lisp program. */
1842abb2 1240
03a660a6
PE
1241enum CHARTAB_SIZE_BITS
1242 {
1243 CHARTAB_SIZE_BITS_0 = 6,
1244 CHARTAB_SIZE_BITS_1 = 4,
1245 CHARTAB_SIZE_BITS_2 = 5,
1246 CHARTAB_SIZE_BITS_3 = 7
1247 };
1842abb2
KH
1248
1249extern const int chartab_size[4];
1250
608ff985
RS
1251struct Lisp_Char_Table
1252 {
eab3844f 1253 /* HEADER.SIZE is the vector's size field, which also holds the
608ff985 1254 pseudovector type information. It holds the size, too.
c73bd236
MB
1255 The size counts the defalt, parent, purpose, ascii,
1256 contents, and extras slots. */
b102ceb1 1257 struct vectorlike_header header;
1842abb2 1258
608ff985
RS
1259 /* This holds a default value,
1260 which is used whenever the value for a specific character is nil. */
1261 Lisp_Object defalt;
ea724a01 1262
8f924df7
KH
1263 /* This points to another char table, which we inherit from when the
1264 value for a specific character is nil. The `defalt' slot takes
1265 precedence over this. */
608ff985 1266 Lisp_Object parent;
1842abb2 1267
8f924df7
KH
1268 /* This is a symbol which says what kind of use this char-table is
1269 meant for. */
7f73dc9d 1270 Lisp_Object purpose;
1842abb2 1271
8f924df7
KH
1272 /* The bottom sub char-table for characters of the range 0..127. It
1273 is nil if none of ASCII character has a specific value. */
1274 Lisp_Object ascii;
1842abb2 1275
8f924df7 1276 Lisp_Object contents[(1 << CHARTAB_SIZE_BITS_0)];
1842abb2 1277
8f924df7 1278 /* These hold additional data. It is a vector. */
fbe9e0b9 1279 Lisp_Object extras[FLEXIBLE_ARRAY_MEMBER];
608ff985
RS
1280 };
1281
1842abb2 1282struct Lisp_Sub_Char_Table
8f924df7 1283 {
eab3844f 1284 /* HEADER.SIZE is the vector's size field, which also holds the
8f924df7 1285 pseudovector type information. It holds the size, too. */
b102ceb1 1286 struct vectorlike_header header;
1842abb2 1287
8f924df7 1288 /* Depth of this sub char-table. It should be 1, 2, or 3. A sub
78edd3b7 1289 char-table of depth 1 contains 16 elements, and each element
8f924df7
KH
1290 covers 4096 (128*32) characters. A sub char-table of depth 2
1291 contains 32 elements, and each element covers 128 characters. A
1292 sub char-table of depth 3 contains 128 elements, and each element
1293 is for one character. */
1294 Lisp_Object depth;
1842abb2 1295
8f924df7
KH
1296 /* Minimum character covered by the sub char-table. */
1297 Lisp_Object min_char;
1842abb2 1298
34dabdb7 1299 /* Use set_sub_char_table_contents to set this. */
fbe9e0b9 1300 Lisp_Object contents[FLEXIBLE_ARRAY_MEMBER];
8f924df7 1301 };
608ff985 1302
84575e67
PE
1303LISP_INLINE Lisp_Object
1304CHAR_TABLE_REF_ASCII (Lisp_Object ct, ptrdiff_t idx)
1305{
1306 struct Lisp_Char_Table *tbl = NULL;
1307 Lisp_Object val;
1308 do
1309 {
1310 tbl = tbl ? XCHAR_TABLE (tbl->parent) : XCHAR_TABLE (ct);
1311 val = (! SUB_CHAR_TABLE_P (tbl->ascii) ? tbl->ascii
1312 : XSUB_CHAR_TABLE (tbl->ascii)->contents[idx]);
1313 if (NILP (val))
1314 val = tbl->defalt;
1315 }
1316 while (NILP (val) && ! NILP (tbl->parent));
1317
1318 return val;
1319}
1320
1321/* Almost equivalent to Faref (CT, IDX) with optimization for ASCII
1322 characters. Do not check validity of CT. */
1323LISP_INLINE Lisp_Object
1324CHAR_TABLE_REF (Lisp_Object ct, int idx)
1325{
1326 return (ASCII_CHAR_P (idx)
1327 ? CHAR_TABLE_REF_ASCII (ct, idx)
1328 : char_table_ref (ct, idx));
1329}
1330
1331/* Equivalent to Faset (CT, IDX, VAL) with optimization for ASCII and
1332 8-bit European characters. Do not check validity of CT. */
1333LISP_INLINE void
1334CHAR_TABLE_SET (Lisp_Object ct, int idx, Lisp_Object val)
1335{
1336 if (ASCII_CHAR_P (idx) && SUB_CHAR_TABLE_P (XCHAR_TABLE (ct)->ascii))
1337 set_sub_char_table_contents (XCHAR_TABLE (ct)->ascii, idx, val);
1338 else
1339 char_table_set (ct, idx, val);
1340}
1341
7c06ac2b
RS
1342/* This structure describes a built-in function.
1343 It is generated by the DEFUN macro only.
914adc42 1344 defsubr makes it into a Lisp object. */
e98227af 1345
3cfe6dfd
JB
1346struct Lisp_Subr
1347 {
914adc42 1348 struct vectorlike_header header;
c0f2f16b
DN
1349 union {
1350 Lisp_Object (*a0) (void);
1351 Lisp_Object (*a1) (Lisp_Object);
1352 Lisp_Object (*a2) (Lisp_Object, Lisp_Object);
1353 Lisp_Object (*a3) (Lisp_Object, Lisp_Object, Lisp_Object);
1354 Lisp_Object (*a4) (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
1355 Lisp_Object (*a5) (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
1356 Lisp_Object (*a6) (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
1357 Lisp_Object (*a7) (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
1358 Lisp_Object (*a8) (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
d5273788 1359 Lisp_Object (*aUNEVALLED) (Lisp_Object args);
f66c7cf8 1360 Lisp_Object (*aMANY) (ptrdiff_t, Lisp_Object *);
c0f2f16b 1361 } function;
3cfe6dfd 1362 short min_args, max_args;
5e2327cf 1363 const char *symbol_name;
89dc303e
DN
1364 const char *intspec;
1365 const char *doc;
3cfe6dfd 1366 };
5010d3b8 1367
03a660a6
PE
1368/* This is the number of slots that every char table must have. This
1369 counts the ordinary slots and the top, defalt, parent, and purpose
1370 slots. */
1371enum CHAR_TABLE_STANDARD_SLOTS
1372 {
fbe9e0b9 1373 CHAR_TABLE_STANDARD_SLOTS = PSEUDOVECSIZE (struct Lisp_Char_Table, extras)
03a660a6
PE
1374 };
1375
1376/* Return the number of "extra" slots in the char table CT. */
1377
84575e67
PE
1378LISP_INLINE int
1379CHAR_TABLE_EXTRA_SLOTS (struct Lisp_Char_Table *ct)
1380{
1381 return ((ct->header.size & PSEUDOVECTOR_SIZE_MASK)
1382 - CHAR_TABLE_STANDARD_SLOTS);
1383}
03a660a6 1384
5010d3b8 1385\f
a32fa736
GM
1386/***********************************************************************
1387 Symbols
1388 ***********************************************************************/
1389
1390/* Interned state of a symbol. */
1391
1392enum symbol_interned
1393{
1394 SYMBOL_UNINTERNED = 0,
1395 SYMBOL_INTERNED = 1,
1396 SYMBOL_INTERNED_IN_INITIAL_OBARRAY = 2
1397};
1398
ce5b453a
SM
1399enum symbol_redirect
1400{
1401 SYMBOL_PLAINVAL = 4,
1402 SYMBOL_VARALIAS = 1,
1403 SYMBOL_LOCALIZED = 2,
9aba6043 1404 SYMBOL_FORWARDED = 3
ce5b453a
SM
1405};
1406
a32fa736
GM
1407struct Lisp_Symbol
1408{
a84f89d5
SM
1409 unsigned gcmarkbit : 1;
1410
ce5b453a
SM
1411 /* Indicates where the value can be found:
1412 0 : it's a plain var, the value is in the `value' field.
1413 1 : it's a varalias, the value is really in the `alias' symbol.
1414 2 : it's a localized var, the value is in the `blv' object.
9aba6043 1415 3 : it's a forwarding variable, the value is in `forward'. */
a6fc3b5c 1416 ENUM_BF (symbol_redirect) redirect : 3;
a32fa736
GM
1417
1418 /* Non-zero means symbol is constant, i.e. changing its value
ce5b453a
SM
1419 should signal an error. If the value is 3, then the var
1420 can be changed, but only by `defconst'. */
1421 unsigned constant : 2;
a32fa736
GM
1422
1423 /* Interned state of the symbol. This is an enumerator from
1424 enum symbol_interned. */
1425 unsigned interned : 2;
1e973bc7 1426
b9598260
SM
1427 /* Non-zero means that this variable has been explicitly declared
1428 special (with `defvar' etc), and shouldn't be lexically bound. */
1429 unsigned declared_special : 1;
a32fa736 1430
c644523b
DA
1431 /* The symbol's name, as a Lisp string. */
1432 Lisp_Object name;
a32fa736 1433
9aba6043
SM
1434 /* Value of the symbol or Qunbound if unbound. Which alternative of the
1435 union is used depends on the `redirect' field above. */
ce5b453a 1436 union {
c644523b 1437 Lisp_Object value;
ce5b453a
SM
1438 struct Lisp_Symbol *alias;
1439 struct Lisp_Buffer_Local_Value *blv;
1440 union Lisp_Fwd *fwd;
1441 } val;
a32fa736 1442
eadf1faa 1443 /* Function value of the symbol or Qnil if not fboundp. */
c644523b 1444 Lisp_Object function;
a32fa736
GM
1445
1446 /* The symbol's property list. */
c644523b 1447 Lisp_Object plist;
e2c0561e 1448
a32fa736
GM
1449 /* Next symbol in obarray bucket, if the symbol is interned. */
1450 struct Lisp_Symbol *next;
1451};
1452
74d70085
KR
1453/* Value is name of symbol. */
1454
84575e67 1455LISP_MACRO_DEFUN (SYMBOL_VAL, Lisp_Object, (struct Lisp_Symbol *sym), (sym))
ce5b453a 1456
84575e67
PE
1457LISP_INLINE struct Lisp_Symbol *
1458SYMBOL_ALIAS (struct Lisp_Symbol *sym)
1459{
1460 eassert (sym->redirect == SYMBOL_VARALIAS);
1461 return sym->val.alias;
1462}
1463LISP_INLINE struct Lisp_Buffer_Local_Value *
1464SYMBOL_BLV (struct Lisp_Symbol *sym)
1465{
1466 eassert (sym->redirect == SYMBOL_LOCALIZED);
1467 return sym->val.blv;
1468}
1469LISP_INLINE union Lisp_Fwd *
1470SYMBOL_FWD (struct Lisp_Symbol *sym)
1471{
1472 eassert (sym->redirect == SYMBOL_FORWARDED);
1473 return sym->val.fwd;
1474}
74d70085 1475
84575e67
PE
1476LISP_MACRO_DEFUN_VOID (SET_SYMBOL_VAL,
1477 (struct Lisp_Symbol *sym, Lisp_Object v), (sym, v))
a32fa736 1478
84575e67
PE
1479LISP_INLINE void
1480SET_SYMBOL_ALIAS (struct Lisp_Symbol *sym, struct Lisp_Symbol *v)
1481{
1482 eassert (sym->redirect == SYMBOL_VARALIAS);
1483 sym->val.alias = v;
1484}
1485LISP_INLINE void
1486SET_SYMBOL_BLV (struct Lisp_Symbol *sym, struct Lisp_Buffer_Local_Value *v)
1487{
1488 eassert (sym->redirect == SYMBOL_LOCALIZED);
1489 sym->val.blv = v;
1490}
1491LISP_INLINE void
1492SET_SYMBOL_FWD (struct Lisp_Symbol *sym, union Lisp_Fwd *v)
1493{
1494 eassert (sym->redirect == SYMBOL_FORWARDED);
1495 sym->val.fwd = v;
1496}
1497
1498LISP_INLINE Lisp_Object
1499SYMBOL_NAME (Lisp_Object sym)
1500{
1501 return XSYMBOL (sym)->name;
1502}
1503
1504/* Value is true if SYM is an interned symbol. */
1505
1506LISP_INLINE bool
1507SYMBOL_INTERNED_P (Lisp_Object sym)
1508{
1509 return XSYMBOL (sym)->interned != SYMBOL_UNINTERNED;
1510}
a32fa736 1511
84575e67 1512/* Value is true if SYM is interned in initial_obarray. */
a32fa736 1513
84575e67
PE
1514LISP_INLINE bool
1515SYMBOL_INTERNED_IN_INITIAL_OBARRAY_P (Lisp_Object sym)
1516{
1517 return XSYMBOL (sym)->interned == SYMBOL_INTERNED_IN_INITIAL_OBARRAY;
1518}
a32fa736
GM
1519
1520/* Value is non-zero if symbol is considered a constant, i.e. its
1521 value cannot be changed (there is an exception for keyword symbols,
1522 whose value can be set to the keyword symbol itself). */
1523
84575e67 1524LISP_MACRO_DEFUN (SYMBOL_CONSTANT_P, int, (Lisp_Object sym), (sym))
a32fa736 1525
c644523b 1526#define DEFSYM(sym, name) \
cd3520a4
JB
1527 do { (sym) = intern_c_string ((name)); staticpro (&(sym)); } while (0)
1528
a32fa736 1529\f
5010d3b8
GM
1530/***********************************************************************
1531 Hash Tables
1532 ***********************************************************************/
1533
1534/* The structure of a Lisp hash table. */
1535
b7432bb2
SM
1536struct hash_table_test
1537{
1538 /* Name of the function used to compare keys. */
1539 Lisp_Object name;
1540
1541 /* User-supplied hash function, or nil. */
1542 Lisp_Object user_hash_function;
1543
1544 /* User-supplied key comparison function, or nil. */
1545 Lisp_Object user_cmp_function;
1546
1547 /* C function to compare two keys. */
1548 bool (*cmpfn) (struct hash_table_test *t, Lisp_Object, Lisp_Object);
1549
1550 /* C function to compute hash code. */
1551 EMACS_UINT (*hashfn) (struct hash_table_test *t, Lisp_Object);
1552};
1553
5010d3b8
GM
1554struct Lisp_Hash_Table
1555{
eab3844f 1556 /* This is for Lisp; the hash table code does not refer to it. */
b102ceb1 1557 struct vectorlike_header header;
e2c0561e 1558
5010d3b8
GM
1559 /* Nil if table is non-weak. Otherwise a symbol describing the
1560 weakness of the table. */
1561 Lisp_Object weak;
e2c0561e 1562
5010d3b8
GM
1563 /* When the table is resized, and this is an integer, compute the
1564 new size by adding this to the old size. If a float, compute the
1565 new size by multiplying the old size with this factor. */
1566 Lisp_Object rehash_size;
1567
1568 /* Resize hash table when number of entries/ table size is >= this
1569 ratio, a float. */
1570 Lisp_Object rehash_threshold;
1571
5010d3b8
GM
1572 /* Vector of hash codes.. If hash[I] is nil, this means that that
1573 entry I is unused. */
1574 Lisp_Object hash;
1575
1576 /* Vector used to chain entries. If entry I is free, next[I] is the
1577 entry number of the next free item. If entry I is non-free,
1578 next[I] is the index of the next entry in the collision chain. */
1579 Lisp_Object next;
1580
1581 /* Index of first free entry in free list. */
1582 Lisp_Object next_free;
1583
1584 /* Bucket vector. A non-nil entry is the index of the first item in
1585 a collision chain. This vector's size can be larger than the
1586 hash table size to reduce collisions. */
1587 Lisp_Object index;
1588
878f97ff 1589 /* Only the fields above are traced normally by the GC. The ones below
78edd3b7 1590 `count' are special and are either ignored by the GC or traced in
878f97ff
SM
1591 a special way (e.g. because of weakness). */
1592
1593 /* Number of key/value entries in the table. */
d311d28c 1594 ptrdiff_t count;
878f97ff
SM
1595
1596 /* Vector of keys and values. The key of item I is found at index
1597 2 * I, the value is found at index 2 * I + 1.
1598 This is gc_marked specially if the table is weak. */
1599 Lisp_Object key_and_value;
1600
b7432bb2
SM
1601 /* The comparison and hash functions. */
1602 struct hash_table_test test;
1603
6c661ec9
SM
1604 /* Next weak hash table if this is a weak hash table. The head
1605 of the list is in weak_hash_tables. */
1606 struct Lisp_Hash_Table *next_weak;
5010d3b8
GM
1607};
1608
1609
84575e67
PE
1610LISP_INLINE struct Lisp_Hash_Table *
1611XHASH_TABLE (Lisp_Object a)
1612{
1613 return XUNTAG (a, Lisp_Vectorlike);
1614}
5010d3b8
GM
1615
1616#define XSET_HASH_TABLE(VAR, PTR) \
1617 (XSETPSEUDOVECTOR (VAR, PTR, PVEC_HASH_TABLE))
1618
84575e67
PE
1619LISP_INLINE bool
1620HASH_TABLE_P (Lisp_Object a)
1621{
1622 return PSEUDOVECTORP (a, PVEC_HASH_TABLE);
1623}
5010d3b8 1624
141788b5 1625/* Value is the key part of entry IDX in hash table H. */
84575e67
PE
1626LISP_INLINE Lisp_Object
1627HASH_KEY (struct Lisp_Hash_Table *h, ptrdiff_t idx)
1628{
1629 return AREF (h->key_and_value, 2 * idx);
1630}
141788b5
SM
1631
1632/* Value is the value part of entry IDX in hash table H. */
84575e67
PE
1633LISP_INLINE Lisp_Object
1634HASH_VALUE (struct Lisp_Hash_Table *h, ptrdiff_t idx)
1635{
1636 return AREF (h->key_and_value, 2 * idx + 1);
1637}
141788b5
SM
1638
1639/* Value is the index of the next entry following the one at IDX
1640 in hash table H. */
84575e67
PE
1641LISP_INLINE Lisp_Object
1642HASH_NEXT (struct Lisp_Hash_Table *h, ptrdiff_t idx)
1643{
1644 return AREF (h->next, idx);
1645}
141788b5
SM
1646
1647/* Value is the hash code computed for entry IDX in hash table H. */
84575e67
PE
1648LISP_INLINE Lisp_Object
1649HASH_HASH (struct Lisp_Hash_Table *h, ptrdiff_t idx)
1650{
1651 return AREF (h->hash, idx);
1652}
141788b5
SM
1653
1654/* Value is the index of the element in hash table H that is the
1655 start of the collision list at index IDX in the index vector of H. */
84575e67
PE
1656LISP_INLINE Lisp_Object
1657HASH_INDEX (struct Lisp_Hash_Table *h, ptrdiff_t idx)
1658{
1659 return AREF (h->index, idx);
1660}
141788b5
SM
1661
1662/* Value is the size of hash table H. */
84575e67
PE
1663LISP_INLINE ptrdiff_t
1664HASH_TABLE_SIZE (struct Lisp_Hash_Table *h)
1665{
1666 return ASIZE (h->next);
1667}
141788b5 1668
5010d3b8
GM
1669/* Default size for hash tables if not specified. */
1670
03a660a6 1671enum DEFAULT_HASH_SIZE { DEFAULT_HASH_SIZE = 65 };
5010d3b8
GM
1672
1673/* Default threshold specifying when to resize a hash table. The
1674 value gives the ratio of current entries in the hash table and the
1675 size of the hash table. */
1676
185ee146 1677static double const DEFAULT_REHASH_THRESHOLD = 0.8;
5010d3b8
GM
1678
1679/* Default factor by which to increase the size of a hash table. */
1680
185ee146 1681static double const DEFAULT_REHASH_SIZE = 1.5;
5010d3b8 1682
04a2d0d3
PE
1683/* Combine two integers X and Y for hashing. The result might not fit
1684 into a Lisp integer. */
1685
1686LISP_INLINE EMACS_UINT
1687sxhash_combine (EMACS_UINT x, EMACS_UINT y)
1688{
1689 return (x << 4) + (x >> (BITS_PER_EMACS_INT - 4)) + y;
1690}
1691
eff1c190
PE
1692/* Hash X, returning a value that fits into a fixnum. */
1693
1694LISP_INLINE EMACS_UINT
1695SXHASH_REDUCE (EMACS_UINT x)
1696{
1697 return (x ^ x >> (BITS_PER_EMACS_INT - FIXNUM_BITS)) & INTMASK;
1698}
1699
7c06ac2b
RS
1700/* These structures are used for various misc types. */
1701
67ee9f6e
SM
1702struct Lisp_Misc_Any /* Supertype of all Misc types. */
1703{
a6fc3b5c 1704 ENUM_BF (Lisp_Misc_Type) type : 16; /* = Lisp_Misc_??? */
67ee9f6e
SM
1705 unsigned gcmarkbit : 1;
1706 int spacer : 15;
1707};
1708
3cfe6dfd 1709struct Lisp_Marker
308e97d0 1710{
a6fc3b5c 1711 ENUM_BF (Lisp_Misc_Type) type : 16; /* = Lisp_Misc_Marker */
a84f89d5 1712 unsigned gcmarkbit : 1;
9bb13d08
KH
1713 int spacer : 13;
1714 /* This flag is temporarily used in the functions
1715 decode/encode_coding_object to record that the marker position
1716 must be adjusted after the conversion. */
1717 unsigned int need_adjustment : 1;
308e97d0
RS
1718 /* 1 means normal insertion at the marker's position
1719 leaves the marker after the inserted text. */
1720 unsigned int insertion_type : 1;
b9466edb
SM
1721 /* This is the buffer that the marker points into, or 0 if it points nowhere.
1722 Note: a chain of markers can contain markers pointing into different
1723 buffers (the chain is per buffer_text rather than per buffer, so it's
1724 shared between indirect buffers). */
1725 /* This is used for (other than NULL-checking):
1726 - Fmarker_buffer
1727 - Fset_marker: check eq(oldbuf, newbuf) to avoid unchain+rechain.
1728 - unchain_marker: to find the list from which to unchain.
ce5b453a 1729 - Fkill_buffer: to only unchain the markers of current indirect buffer.
b9466edb 1730 */
308e97d0 1731 struct buffer *buffer;
4ed24bf3
RS
1732
1733 /* The remaining fields are meaningless in a marker that
1734 does not point anywhere. */
1735
1736 /* For markers that point somewhere,
1737 this is used to chain of all the markers in a given buffer. */
d6aa1876
SM
1738 /* We could remove it and use an array in buffer_text instead.
1739 That would also allow to preserve it ordered. */
c0ac2f4a 1740 struct Lisp_Marker *next;
4ed24bf3 1741 /* This is the char position where the marker points. */
d311d28c 1742 ptrdiff_t charpos;
ce5b453a
SM
1743 /* This is the byte position.
1744 It's mostly used as a charpos<->bytepos cache (i.e. it's not directly
1745 used to implement the functionality of markers, but rather to (ab)use
1746 markers as a cache for char<->byte mappings). */
d311d28c 1747 ptrdiff_t bytepos;
308e97d0 1748};
3cfe6dfd 1749
7555c33f
SM
1750/* START and END are markers in the overlay's buffer, and
1751 PLIST is the overlay's property list. */
1752struct Lisp_Overlay
fa691a83
DA
1753/* An overlay's real data content is:
1754 - plist
1755 - buffer (really there are two buffer pointers, one per marker,
1756 and both points to the same buffer)
1757 - insertion type of both ends (per-marker fields)
1758 - start & start byte (of start marker)
1759 - end & end byte (of end marker)
1760 - next (singly linked list of overlays)
1761 - next fields of start and end markers (singly linked list of markers).
1762 I.e. 9words plus 2 bits, 3words of which are for external linked lists.
1763*/
7555c33f
SM
1764 {
1765 ENUM_BF (Lisp_Misc_Type) type : 16; /* = Lisp_Misc_Overlay */
1766 unsigned gcmarkbit : 1;
1767 int spacer : 15;
1768 struct Lisp_Overlay *next;
c644523b
DA
1769 Lisp_Object start;
1770 Lisp_Object end;
1771 Lisp_Object plist;
7555c33f
SM
1772 };
1773
73ebd38f
DA
1774/* Types of data which may be saved in a Lisp_Save_Value. */
1775
1776enum
1777 {
1778 SAVE_UNUSED,
1779 SAVE_INTEGER,
52a9bcae 1780 SAVE_FUNCPOINTER,
73ebd38f
DA
1781 SAVE_POINTER,
1782 SAVE_OBJECT
1783 };
1784
7b1123d8 1785/* Number of bits needed to store one of the above values. */
52a9bcae 1786enum { SAVE_SLOT_BITS = 3 };
7b1123d8
PE
1787
1788/* Number of slots in a save value where save_type is nonzero. */
1789enum { SAVE_VALUE_SLOTS = 4 };
1790
1791/* Bit-width and values for struct Lisp_Save_Value's save_type member. */
1792
1793enum { SAVE_TYPE_BITS = SAVE_VALUE_SLOTS * SAVE_SLOT_BITS + 1 };
1794
1795enum Lisp_Save_Type
1796 {
1797 SAVE_TYPE_INT_INT = SAVE_INTEGER + (SAVE_INTEGER << SAVE_SLOT_BITS),
1798 SAVE_TYPE_INT_INT_INT
1799 = (SAVE_INTEGER + (SAVE_TYPE_INT_INT << SAVE_SLOT_BITS)),
1800 SAVE_TYPE_OBJ_OBJ = SAVE_OBJECT + (SAVE_OBJECT << SAVE_SLOT_BITS),
1801 SAVE_TYPE_OBJ_OBJ_OBJ = SAVE_OBJECT + (SAVE_TYPE_OBJ_OBJ << SAVE_SLOT_BITS),
1802 SAVE_TYPE_OBJ_OBJ_OBJ_OBJ
1803 = SAVE_OBJECT + (SAVE_TYPE_OBJ_OBJ_OBJ << SAVE_SLOT_BITS),
1804 SAVE_TYPE_PTR_INT = SAVE_POINTER + (SAVE_INTEGER << SAVE_SLOT_BITS),
1805 SAVE_TYPE_PTR_OBJ = SAVE_POINTER + (SAVE_OBJECT << SAVE_SLOT_BITS),
1806 SAVE_TYPE_PTR_PTR = SAVE_POINTER + (SAVE_POINTER << SAVE_SLOT_BITS),
52a9bcae
PE
1807 SAVE_TYPE_FUNCPTR_PTR_OBJ
1808 = SAVE_FUNCPOINTER + (SAVE_TYPE_PTR_OBJ << SAVE_SLOT_BITS),
7b1123d8
PE
1809
1810 /* This has an extra bit indicating it's raw memory. */
1811 SAVE_TYPE_MEMORY = SAVE_TYPE_PTR_INT + (1 << (SAVE_TYPE_BITS - 1))
1812 };
1813
468afbac
DA
1814/* Special object used to hold a different values for later use.
1815
1816 This is mostly used to package C integers and pointers to call
27e498e6 1817 record_unwind_protect when two or more values need to be saved.
1396ac86 1818 For example:
468afbac
DA
1819
1820 ...
1821 struct my_data *md = get_my_data ();
1396ac86
PE
1822 ptrdiff_t mi = get_my_integer ();
1823 record_unwind_protect (my_unwind, make_save_ptr_int (md, mi));
468afbac
DA
1824 ...
1825
1826 Lisp_Object my_unwind (Lisp_Object arg)
1827 {
1828 struct my_data *md = XSAVE_POINTER (arg, 0);
1396ac86 1829 ptrdiff_t mi = XSAVE_INTEGER (arg, 1);
468afbac
DA
1830 ...
1831 }
1832
1833 If ENABLE_CHECKING is in effect, XSAVE_xxx macros do type checking of the
1834 saved objects and raise eassert if type of the saved object doesn't match
1835 the type which is extracted. In the example above, XSAVE_INTEGER (arg, 2)
1396ac86
PE
1836 and XSAVE_OBJECT (arg, 0) are wrong because nothing was saved in slot 2 and
1837 slot 0 is a pointer. */
73ebd38f 1838
52a9bcae
PE
1839typedef void (*voidfuncptr) (void);
1840
7555c33f
SM
1841struct Lisp_Save_Value
1842 {
1843 ENUM_BF (Lisp_Misc_Type) type : 16; /* = Lisp_Misc_Save_Value */
1844 unsigned gcmarkbit : 1;
7b1123d8
PE
1845 int spacer : 32 - (16 + 1 + SAVE_TYPE_BITS);
1846
1396ac86
PE
1847 /* V->data may hold up to SAVE_VALUE_SLOTS entries. The type of
1848 V's data entries are determined by V->save_type. E.g., if
1849 V->save_type == SAVE_TYPE_PTR_OBJ, V->data[0] is a pointer,
1850 V->data[1] is an integer, and V's other data entries are unused.
7b1123d8 1851
1396ac86
PE
1852 If V->save_type == SAVE_TYPE_MEMORY, V->data[0].pointer is the address of
1853 a memory area containing V->data[1].integer potential Lisp_Objects. */
7b1123d8 1854 ENUM_BF (Lisp_Save_Type) save_type : SAVE_TYPE_BITS;
73ebd38f
DA
1855 union {
1856 void *pointer;
52a9bcae 1857 voidfuncptr funcpointer;
73ebd38f
DA
1858 ptrdiff_t integer;
1859 Lisp_Object object;
7b1123d8 1860 } data[SAVE_VALUE_SLOTS];
7555c33f
SM
1861 };
1862
84575e67
PE
1863/* Return the type of V's Nth saved value. */
1864LISP_INLINE int
1865save_type (struct Lisp_Save_Value *v, int n)
1866{
1867 eassert (0 <= n && n < SAVE_VALUE_SLOTS);
1868 return (v->save_type >> (SAVE_SLOT_BITS * n) & ((1 << SAVE_SLOT_BITS) - 1));
1869}
1870
1871/* Get and set the Nth saved pointer. */
1872
1873LISP_INLINE void *
1874XSAVE_POINTER (Lisp_Object obj, int n)
1875{
1876 eassert (save_type (XSAVE_VALUE (obj), n) == SAVE_POINTER);
52a9bcae 1877 return XSAVE_VALUE (obj)->data[n].pointer;
84575e67
PE
1878}
1879LISP_INLINE void
1880set_save_pointer (Lisp_Object obj, int n, void *val)
1881{
1882 eassert (save_type (XSAVE_VALUE (obj), n) == SAVE_POINTER);
1883 XSAVE_VALUE (obj)->data[n].pointer = val;
1884}
52a9bcae
PE
1885LISP_INLINE voidfuncptr
1886XSAVE_FUNCPOINTER (Lisp_Object obj, int n)
1887{
1888 eassert (save_type (XSAVE_VALUE (obj), n) == SAVE_FUNCPOINTER);
1889 return XSAVE_VALUE (obj)->data[n].funcpointer;
1890}
84575e67
PE
1891
1892/* Likewise for the saved integer. */
1893
1894LISP_INLINE ptrdiff_t
1895XSAVE_INTEGER (Lisp_Object obj, int n)
1896{
1897 eassert (save_type (XSAVE_VALUE (obj), n) == SAVE_INTEGER);
1898 return XSAVE_VALUE (obj)->data[n].integer;
1899}
1900LISP_INLINE void
1901set_save_integer (Lisp_Object obj, int n, ptrdiff_t val)
1902{
1903 eassert (save_type (XSAVE_VALUE (obj), n) == SAVE_INTEGER);
1904 XSAVE_VALUE (obj)->data[n].integer = val;
1905}
1906
1907/* Extract Nth saved object. */
1908
1909LISP_INLINE Lisp_Object
1910XSAVE_OBJECT (Lisp_Object obj, int n)
1911{
1912 eassert (save_type (XSAVE_VALUE (obj), n) == SAVE_OBJECT);
1913 return XSAVE_VALUE (obj)->data[n].object;
1914}
1915
7555c33f
SM
1916/* A miscellaneous object, when it's on the free list. */
1917struct Lisp_Free
1918 {
1919 ENUM_BF (Lisp_Misc_Type) type : 16; /* = Lisp_Misc_Free */
1920 unsigned gcmarkbit : 1;
1921 int spacer : 15;
1922 union Lisp_Misc *chain;
1923 };
1924
1925/* To get the type field of a union Lisp_Misc, use XMISCTYPE.
1926 It uses one of these struct subtypes to get the type field. */
1927
1928union Lisp_Misc
1929 {
1930 struct Lisp_Misc_Any u_any; /* Supertype of all Misc types. */
1931 struct Lisp_Free u_free;
1932 struct Lisp_Marker u_marker;
1933 struct Lisp_Overlay u_overlay;
1934 struct Lisp_Save_Value u_save_value;
1935 };
1936
84575e67
PE
1937LISP_INLINE union Lisp_Misc *
1938XMISC (Lisp_Object a)
1939{
1940 return XUNTAG (a, Lisp_Misc);
1941}
1942
1943LISP_INLINE struct Lisp_Misc_Any *
1944XMISCANY (Lisp_Object a)
1945{
1946 eassert (MISCP (a));
1947 return & XMISC (a)->u_any;
1948}
1949
1950LISP_INLINE enum Lisp_Misc_Type
1951XMISCTYPE (Lisp_Object a)
1952{
1953 return XMISCANY (a)->type;
1954}
1955
1956LISP_INLINE struct Lisp_Marker *
1957XMARKER (Lisp_Object a)
1958{
1959 eassert (MARKERP (a));
1960 return & XMISC (a)->u_marker;
1961}
1962
1963LISP_INLINE struct Lisp_Overlay *
1964XOVERLAY (Lisp_Object a)
1965{
1966 eassert (OVERLAYP (a));
1967 return & XMISC (a)->u_overlay;
1968}
1969
1970LISP_INLINE struct Lisp_Save_Value *
1971XSAVE_VALUE (Lisp_Object a)
1972{
1973 eassert (SAVE_VALUEP (a));
1974 return & XMISC (a)->u_save_value;
1975}
1976\f
ee4c9ce4
KH
1977/* Forwarding pointer to an int variable.
1978 This is allowed only in the value cell of a symbol,
1979 and it means that the symbol's value really lives in the
1980 specified int variable. */
1981struct Lisp_Intfwd
84d1833e 1982 {
ce5b453a 1983 enum Lisp_Fwd_Type type; /* = Lisp_Fwd_Int */
31ade731 1984 EMACS_INT *intvar;
ee4c9ce4
KH
1985 };
1986
1987/* Boolean forwarding pointer to an int variable.
1988 This is like Lisp_Intfwd except that the ostensible
1989 "value" of the symbol is t if the int variable is nonzero,
1990 nil if it is zero. */
1991struct Lisp_Boolfwd
1992 {
ce5b453a 1993 enum Lisp_Fwd_Type type; /* = Lisp_Fwd_Bool */
f5d9e83a 1994 bool *boolvar;
ee4c9ce4
KH
1995 };
1996
1997/* Forwarding pointer to a Lisp_Object variable.
1998 This is allowed only in the value cell of a symbol,
1999 and it means that the symbol's value really lives in the
2000 specified variable. */
2001struct Lisp_Objfwd
2002 {
ce5b453a 2003 enum Lisp_Fwd_Type type; /* = Lisp_Fwd_Obj */
ee4c9ce4
KH
2004 Lisp_Object *objvar;
2005 };
2006
2007/* Like Lisp_Objfwd except that value lives in a slot in the
2008 current buffer. Value is byte index of slot within buffer. */
2009struct Lisp_Buffer_Objfwd
2010 {
ce5b453a 2011 enum Lisp_Fwd_Type type; /* = Lisp_Fwd_Buffer_Obj */
ee4c9ce4 2012 int offset;
58cc0a01
DA
2013 /* One of Qnil, Qintegerp, Qsymbolp, Qstringp, Qfloatp or Qnumberp. */
2014 Lisp_Object predicate;
84d1833e
KH
2015 };
2016
65d0110b
RS
2017/* struct Lisp_Buffer_Local_Value is used in a symbol value cell when
2018 the symbol has buffer-local or frame-local bindings. (Exception:
2019 some buffer-local variables are built-in, with their values stored
2020 in the buffer structure itself. They are handled differently,
2021 using struct Lisp_Buffer_Objfwd.)
2022
2023 The `realvalue' slot holds the variable's current value, or a
2024 forwarding pointer to where that value is kept. This value is the
2025 one that corresponds to the loaded binding. To read or set the
2026 variable, you must first make sure the right binding is loaded;
2027 then you can access the value in (or through) `realvalue'.
e2c0561e 2028
65d0110b
RS
2029 `buffer' and `frame' are the buffer and frame for which the loaded
2030 binding was found. If those have changed, to make sure the right
2031 binding is loaded it is necessary to find which binding goes with
2032 the current buffer and selected frame, then load it. To load it,
2033 first unload the previous binding, then copy the value of the new
2034 binding into `realvalue' (or through it). Also update
2035 LOADED-BINDING to point to the newly loaded binding.
7d65f1c2 2036
78edd3b7
JB
2037 `local_if_set' indicates that merely setting the variable creates a
2038 local binding for the current buffer. Otherwise the latter, setting
2039 the variable does not do that; only make-local-variable does that. */
65d0110b 2040
7d65f1c2
KH
2041struct Lisp_Buffer_Local_Value
2042 {
67ee9f6e 2043 /* 1 means that merely setting the variable creates a local
7555c33f 2044 binding for the current buffer. */
67ee9f6e 2045 unsigned int local_if_set : 1;
ce5b453a
SM
2046 /* 1 means this variable can have frame-local bindings, otherwise, it is
2047 can have buffer-local bindings. The two cannot be combined. */
2048 unsigned int frame_local : 1;
2049 /* 1 means that the binding now loaded was found.
7555c33f 2050 Presumably equivalent to (defcell!=valcell). */
ce5b453a
SM
2051 unsigned int found : 1;
2052 /* If non-NULL, a forwarding to the C var where it should also be set. */
2053 union Lisp_Fwd *fwd; /* Should never be (Buffer|Kboard)_Objfwd. */
2054 /* The buffer or frame for which the loaded binding was found. */
2055 Lisp_Object where;
2056 /* A cons cell that holds the default value. It has the form
2057 (SYMBOL . DEFAULT-VALUE). */
2058 Lisp_Object defcell;
2059 /* The cons cell from `where's parameter alist.
2060 It always has the form (SYMBOL . VALUE)
2061 Note that if `forward' is non-nil, VALUE may be out of date.
2062 Also if the currently loaded binding is the default binding, then
2063 this is `eq'ual to defcell. */
2064 Lisp_Object valcell;
7d65f1c2
KH
2065 };
2066
f334de0e 2067/* Like Lisp_Objfwd except that value lives in a slot in the
32462604
KH
2068 current kboard. */
2069struct Lisp_Kboard_Objfwd
f334de0e 2070 {
ce5b453a 2071 enum Lisp_Fwd_Type type; /* = Lisp_Fwd_Kboard_Obj */
f334de0e
KH
2072 int offset;
2073 };
2074
ce5b453a
SM
2075union Lisp_Fwd
2076 {
d55c12ed
AS
2077 struct Lisp_Intfwd u_intfwd;
2078 struct Lisp_Boolfwd u_boolfwd;
2079 struct Lisp_Objfwd u_objfwd;
2080 struct Lisp_Buffer_Objfwd u_buffer_objfwd;
2081 struct Lisp_Kboard_Objfwd u_kboard_objfwd;
84d1833e 2082 };
84575e67
PE
2083
2084LISP_INLINE enum Lisp_Fwd_Type
2085XFWDTYPE (union Lisp_Fwd *a)
2086{
2087 return a->u_intfwd.type;
2088}
2089
2090LISP_INLINE struct Lisp_Buffer_Objfwd *
2091XBUFFER_OBJFWD (union Lisp_Fwd *a)
2092{
2093 eassert (BUFFER_OBJFWDP (a));
2094 return &a->u_buffer_objfwd;
2095}
7c06ac2b 2096\f
7555c33f 2097/* Lisp floating point type. */
3cfe6dfd
JB
2098struct Lisp_Float
2099 {
3a623fee
AS
2100 union
2101 {
3a623fee 2102 double data;
3a623fee
AS
2103 struct Lisp_Float *chain;
2104 } u;
3cfe6dfd 2105 };
8f34f70a 2106
84575e67
PE
2107LISP_INLINE double
2108XFLOAT_DATA (Lisp_Object f)
2109{
2110 return XFLOAT (f)->u.data;
2111}
3cfe6dfd 2112
4d7e6e51
PE
2113/* Most hosts nowadays use IEEE floating point, so they use IEC 60559
2114 representations, have infinities and NaNs, and do not trap on
2115 exceptions. Define IEEE_FLOATING_POINT if this host is one of the
2116 typical ones. The C11 macro __STDC_IEC_559__ is close to what is
2117 wanted here, but is not quite right because Emacs does not require
2118 all the features of C11 Annex F (and does not require C11 at all,
2119 for that matter). */
84575e67
PE
2120enum
2121 {
2122 IEEE_FLOATING_POINT
2123 = (FLT_RADIX == 2 && FLT_MANT_DIG == 24
2124 && FLT_MIN_EXP == -125 && FLT_MAX_EXP == 128)
2125 };
4d7e6e51 2126
3cfe6dfd 2127/* A character, declared with the following typedef, is a member
99a3d506 2128 of some character set associated with the current buffer. */
b2ba7b00
RS
2129#ifndef _UCHAR_T /* Protect against something in ctab.h on AIX. */
2130#define _UCHAR_T
3cfe6dfd 2131typedef unsigned char UCHAR;
b2ba7b00 2132#endif
3cfe6dfd
JB
2133
2134/* Meanings of slots in a Lisp_Compiled: */
2135
03a660a6
PE
2136enum Lisp_Compiled
2137 {
2138 COMPILED_ARGLIST = 0,
2139 COMPILED_BYTECODE = 1,
2140 COMPILED_CONSTANTS = 2,
2141 COMPILED_STACK_DEPTH = 3,
2142 COMPILED_DOC_STRING = 4,
2143 COMPILED_INTERACTIVE = 5
2144 };
88dbfee5 2145
d03f79ef
JB
2146/* Flag bits in a character. These also get used in termhooks.h.
2147 Richard Stallman <rms@gnu.ai.mit.edu> thinks that MULE
7c06ac2b
RS
2148 (MUlti-Lingual Emacs) might need 22 bits for the character value
2149 itself, so we probably shouldn't use any bits lower than 0x0400000. */
03a660a6
PE
2150enum char_bits
2151 {
2152 CHAR_ALT = 0x0400000,
2153 CHAR_SUPER = 0x0800000,
2154 CHAR_HYPER = 0x1000000,
2155 CHAR_SHIFT = 0x2000000,
2156 CHAR_CTL = 0x4000000,
2157 CHAR_META = 0x8000000,
2158
2159 CHAR_MODIFIER_MASK =
88fb40b4 2160 CHAR_ALT | CHAR_SUPER | CHAR_HYPER | CHAR_SHIFT | CHAR_CTL | CHAR_META,
03a660a6
PE
2161
2162 /* Actually, the current Emacs uses 22 bits for the character value
2163 itself. */
2164 CHARACTERBITS = 22
2165 };
3cfe6dfd 2166\f
7ea692f6
EZ
2167/* Structure to hold mouse highlight data. This is here because other
2168 header files need it for defining struct x_output etc. */
2169typedef struct {
2170 /* These variables describe the range of text currently shown in its
2171 mouse-face, together with the window they apply to. As long as
2172 the mouse stays within this range, we need not redraw anything on
2173 its account. Rows and columns are glyph matrix positions in
2174 MOUSE_FACE_WINDOW. */
2175 int mouse_face_beg_row, mouse_face_beg_col;
2176 int mouse_face_beg_x, mouse_face_beg_y;
2177 int mouse_face_end_row, mouse_face_end_col;
2178 int mouse_face_end_x, mouse_face_end_y;
7ea692f6
EZ
2179 Lisp_Object mouse_face_window;
2180 int mouse_face_face_id;
2181 Lisp_Object mouse_face_overlay;
2182
7ea692f6
EZ
2183 /* FRAME and X, Y position of mouse when last checked for
2184 highlighting. X and Y can be negative or out of range for the frame. */
2185 struct frame *mouse_face_mouse_frame;
2186 int mouse_face_mouse_x, mouse_face_mouse_y;
2187
350f51ad
DA
2188 /* Nonzero if part of the text currently shown in
2189 its mouse-face is beyond the window end. */
2190 unsigned mouse_face_past_end : 1;
2191
7ea692f6 2192 /* Nonzero means defer mouse-motion highlighting. */
350f51ad 2193 unsigned mouse_face_defer : 1;
7ea692f6
EZ
2194
2195 /* Nonzero means that the mouse highlight should not be shown. */
350f51ad 2196 unsigned mouse_face_hidden : 1;
7ea692f6
EZ
2197} Mouse_HLInfo;
2198\f
e7032e7c 2199/* Data type checking. */
3cfe6dfd 2200
84575e67 2201LISP_MACRO_DEFUN (NILP, bool, (Lisp_Object x), (x))
3cfe6dfd 2202
84575e67
PE
2203LISP_INLINE bool
2204NUMBERP (Lisp_Object x)
2205{
2206 return INTEGERP (x) || FLOATP (x);
2207}
2208LISP_INLINE bool
2209NATNUMP (Lisp_Object x)
2210{
2211 return INTEGERP (x) && 0 <= XINT (x);
2212}
2213
2214LISP_INLINE bool
2215RANGED_INTEGERP (intmax_t lo, Lisp_Object x, intmax_t hi)
2216{
2217 return INTEGERP (x) && lo <= XINT (x) && XINT (x) <= hi;
2218}
4746118a 2219
ca9ce8f2 2220#define TYPE_RANGED_INTEGERP(type, x) \
84575e67
PE
2221 (INTEGERP (x) \
2222 && (TYPE_SIGNED (type) ? TYPE_MINIMUM (type) <= XINT (x) : 0 <= XINT (x)) \
2223 && XINT (x) <= TYPE_MAXIMUM (type))
2224
2225LISP_MACRO_DEFUN (CONSP, bool, (Lisp_Object x), (x))
2226LISP_MACRO_DEFUN (FLOATP, bool, (Lisp_Object x), (x))
2227LISP_MACRO_DEFUN (MISCP, bool, (Lisp_Object x), (x))
2228LISP_MACRO_DEFUN (SYMBOLP, bool, (Lisp_Object x), (x))
2229LISP_MACRO_DEFUN (INTEGERP, bool, (Lisp_Object x), (x))
2230LISP_MACRO_DEFUN (VECTORLIKEP, bool, (Lisp_Object x), (x))
2231LISP_MACRO_DEFUN (MARKERP, bool, (Lisp_Object x), (x))
2232
2233LISP_INLINE bool
2234STRINGP (Lisp_Object x)
2235{
2236 return XTYPE (x) == Lisp_String;
2237}
2238LISP_INLINE bool
2239VECTORP (Lisp_Object x)
2240{
2241 return VECTORLIKEP (x) && ! (ASIZE (x) & PSEUDOVECTOR_FLAG);
2242}
2243LISP_INLINE bool
2244OVERLAYP (Lisp_Object x)
2245{
2246 return MISCP (x) && XMISCTYPE (x) == Lisp_Misc_Overlay;
2247}
2248LISP_INLINE bool
2249SAVE_VALUEP (Lisp_Object x)
2250{
2251 return MISCP (x) && XMISCTYPE (x) == Lisp_Misc_Save_Value;
2252}
2253
2254LISP_INLINE bool
2255AUTOLOADP (Lisp_Object x)
2256{
2257 return CONSP (x) && EQ (Qautoload, XCAR (x));
2258}
7b1123d8
PE
2259
2260LISP_INLINE bool
84575e67 2261BUFFER_OBJFWDP (union Lisp_Fwd *a)
7b1123d8 2262{
84575e67 2263 return XFWDTYPE (a) == Lisp_Fwd_Buffer_Obj;
7b1123d8 2264}
edfa9106 2265
84575e67
PE
2266LISP_INLINE bool
2267PSEUDOVECTOR_TYPEP (struct vectorlike_header *a, int code)
717b8bcd 2268{
84575e67
PE
2269 return ((a->size & (PSEUDOVECTOR_FLAG | PVEC_TYPE_MASK))
2270 == (PSEUDOVECTOR_FLAG | (code << PSEUDOVECTOR_AREA_BITS)));
717b8bcd
SM
2271}
2272
84575e67
PE
2273/* True if A is a pseudovector whose code is CODE. */
2274LISP_INLINE bool
2275PSEUDOVECTORP (Lisp_Object a, int code)
717b8bcd 2276{
84575e67
PE
2277 if (! VECTORLIKEP (a))
2278 return 0;
2279 else
2280 {
2281 /* Converting to struct vectorlike_header * avoids aliasing issues. */
2282 struct vectorlike_header *h = XUNTAG (a, Lisp_Vectorlike);
2283 return PSEUDOVECTOR_TYPEP (h, code);
2284 }
717b8bcd
SM
2285}
2286
717b8bcd 2287
84575e67
PE
2288/* Test for specific pseudovector types. */
2289
2290LISP_INLINE bool
2291WINDOW_CONFIGURATIONP (Lisp_Object a)
717b8bcd 2292{
84575e67 2293 return PSEUDOVECTORP (a, PVEC_WINDOW_CONFIGURATION);
717b8bcd 2294}
84575e67
PE
2295
2296LISP_INLINE bool
2297PROCESSP (Lisp_Object a)
717b8bcd 2298{
84575e67 2299 return PSEUDOVECTORP (a, PVEC_PROCESS);
717b8bcd
SM
2300}
2301
84575e67
PE
2302LISP_INLINE bool
2303WINDOWP (Lisp_Object a)
717b8bcd 2304{
84575e67 2305 return PSEUDOVECTORP (a, PVEC_WINDOW);
717b8bcd 2306}
84575e67
PE
2307
2308LISP_INLINE bool
2309TERMINALP (Lisp_Object a)
717b8bcd 2310{
84575e67 2311 return PSEUDOVECTORP (a, PVEC_TERMINAL);
717b8bcd
SM
2312}
2313
84575e67
PE
2314LISP_INLINE bool
2315SUBRP (Lisp_Object a)
717b8bcd 2316{
84575e67 2317 return PSEUDOVECTORP (a, PVEC_SUBR);
717b8bcd
SM
2318}
2319
84575e67
PE
2320LISP_INLINE bool
2321COMPILEDP (Lisp_Object a)
2322{
2323 return PSEUDOVECTORP (a, PVEC_COMPILED);
2324}
32e5c58c 2325
84575e67
PE
2326LISP_INLINE bool
2327BUFFERP (Lisp_Object a)
2328{
2329 return PSEUDOVECTORP (a, PVEC_BUFFER);
2330}
7c06ac2b 2331
84575e67
PE
2332LISP_INLINE bool
2333CHAR_TABLE_P (Lisp_Object a)
2334{
2335 return PSEUDOVECTORP (a, PVEC_CHAR_TABLE);
2336}
ee28be33 2337
84575e67
PE
2338LISP_INLINE bool
2339SUB_CHAR_TABLE_P (Lisp_Object a)
2340{
2341 return PSEUDOVECTORP (a, PVEC_SUB_CHAR_TABLE);
2342}
eab3844f 2343
84575e67
PE
2344LISP_INLINE bool
2345BOOL_VECTOR_P (Lisp_Object a)
2346{
2347 return PSEUDOVECTORP (a, PVEC_BOOL_VECTOR);
2348}
7c06ac2b 2349
84575e67
PE
2350LISP_INLINE bool
2351FRAMEP (Lisp_Object a)
2352{
2353 return PSEUDOVECTORP (a, PVEC_FRAME);
2354}
ea724a01 2355
6b61353c 2356/* Test for image (image . spec) */
84575e67
PE
2357LISP_INLINE bool
2358IMAGEP (Lisp_Object x)
2359{
2360 return CONSP (x) && EQ (XCAR (x), Qimage);
2361}
6b61353c 2362
c8a39089 2363/* Array types. */
84575e67
PE
2364LISP_INLINE bool
2365ARRAYP (Lisp_Object x)
2366{
2367 return VECTORP (x) || STRINGP (x) || CHAR_TABLE_P (x) || BOOL_VECTOR_P (x);
2368}
7c06ac2b 2369\f
84575e67
PE
2370LISP_INLINE void
2371CHECK_LIST (Lisp_Object x)
2372{
2373 CHECK_TYPE (CONSP (x) || NILP (x), Qlistp, x);
2374}
3cfe6dfd 2375
84575e67
PE
2376LISP_MACRO_DEFUN_VOID (CHECK_LIST_CONS, (Lisp_Object x, Lisp_Object y), (x, y))
2377LISP_MACRO_DEFUN_VOID (CHECK_SYMBOL, (Lisp_Object x), (x))
2378LISP_MACRO_DEFUN_VOID (CHECK_NUMBER, (Lisp_Object x), (x))
3cfe6dfd 2379
84575e67
PE
2380LISP_INLINE void
2381CHECK_STRING (Lisp_Object x)
2382{
2383 CHECK_TYPE (STRINGP (x), Qstringp, x);
2384}
2385LISP_INLINE void
2386CHECK_STRING_CAR (Lisp_Object x)
2387{
2388 CHECK_TYPE (STRINGP (XCAR (x)), Qstringp, XCAR (x));
2389}
2390LISP_INLINE void
2391CHECK_CONS (Lisp_Object x)
2392{
2393 CHECK_TYPE (CONSP (x), Qconsp, x);
2394}
2395LISP_INLINE void
2396CHECK_VECTOR (Lisp_Object x)
2397{
2398 CHECK_TYPE (VECTORP (x), Qvectorp, x);
2399}
2400LISP_INLINE void
2401CHECK_VECTOR_OR_STRING (Lisp_Object x)
2402{
2403 CHECK_TYPE (VECTORP (x) || STRINGP (x), Qarrayp, x);
2404}
2405LISP_INLINE void
2406CHECK_ARRAY (Lisp_Object x, Lisp_Object Qxxxp)
2407{
2408 CHECK_TYPE (ARRAYP (x), Qxxxp, x);
2409}
2410LISP_INLINE void
2411CHECK_BUFFER (Lisp_Object x)
2412{
2413 CHECK_TYPE (BUFFERP (x), Qbufferp, x);
2414}
2415LISP_INLINE void
2416CHECK_WINDOW (Lisp_Object x)
2417{
2418 CHECK_TYPE (WINDOWP (x), Qwindowp, x);
2419}
2420LISP_INLINE void
2421CHECK_PROCESS (Lisp_Object x)
2422{
2423 CHECK_TYPE (PROCESSP (x), Qprocessp, x);
2424}
2425LISP_INLINE void
2426CHECK_NATNUM (Lisp_Object x)
2427{
2428 CHECK_TYPE (NATNUMP (x), Qwholenump, x);
2429}
3cfe6dfd 2430
af5a5a98 2431#define CHECK_RANGED_INTEGER(x, lo, hi) \
d311d28c
PE
2432 do { \
2433 CHECK_NUMBER (x); \
2434 if (! ((lo) <= XINT (x) && XINT (x) <= (hi))) \
2435 args_out_of_range_3 \
2436 (x, \
2437 make_number ((lo) < 0 && (lo) < MOST_NEGATIVE_FIXNUM \
2438 ? MOST_NEGATIVE_FIXNUM \
2439 : (lo)), \
2440 make_number (min (hi, MOST_POSITIVE_FIXNUM))); \
2441 } while (0)
2442#define CHECK_TYPE_RANGED_INTEGER(type, x) \
2443 do { \
2444 if (TYPE_SIGNED (type)) \
af5a5a98 2445 CHECK_RANGED_INTEGER (x, TYPE_MINIMUM (type), TYPE_MAXIMUM (type)); \
d311d28c 2446 else \
af5a5a98 2447 CHECK_RANGED_INTEGER (x, 0, TYPE_MAXIMUM (type)); \
d311d28c
PE
2448 } while (0)
2449
874cc80e 2450#define CHECK_NUMBER_COERCE_MARKER(x) \
221f4ef3 2451 do { if (MARKERP ((x))) XSETFASTINT (x, marker_position (x)); \
c8a39089 2452 else CHECK_TYPE (INTEGERP (x), Qinteger_or_marker_p, x); } while (0)
3cfe6dfd 2453
84575e67
PE
2454LISP_INLINE double
2455XFLOATINT (Lisp_Object n)
2456{
2457 return extract_float (n);
2458}
3cfe6dfd 2459
84575e67
PE
2460LISP_INLINE void
2461CHECK_NUMBER_OR_FLOAT (Lisp_Object x)
2462{
2463 CHECK_TYPE (FLOATP (x) || INTEGERP (x), Qnumberp, x);
2464}
3cfe6dfd 2465
874cc80e 2466#define CHECK_NUMBER_OR_FLOAT_COERCE_MARKER(x) \
78edd3b7 2467 do { if (MARKERP (x)) XSETFASTINT (x, marker_position (x)); \
c8a39089 2468 else CHECK_TYPE (INTEGERP (x) || FLOATP (x), Qnumber_or_marker_p, x); } while (0)
3cfe6dfd 2469
f3fbd155
KR
2470/* Since we can't assign directly to the CAR or CDR fields of a cons
2471 cell, use these when checking that those fields contain numbers. */
84575e67
PE
2472LISP_INLINE void
2473CHECK_NUMBER_CAR (Lisp_Object x)
2474{
2475 Lisp_Object tmp = XCAR (x);
2476 CHECK_NUMBER (tmp);
2477 XSETCAR (x, tmp);
2478}
8f924df7 2479
84575e67
PE
2480LISP_INLINE void
2481CHECK_NUMBER_CDR (Lisp_Object x)
2482{
2483 Lisp_Object tmp = XCDR (x);
2484 CHECK_NUMBER (tmp);
2485 XSETCDR (x, tmp);
2486}
3cfe6dfd
JB
2487\f
2488/* Define a built-in function for calling from Lisp.
2489 `lname' should be the name to give the function in Lisp,
2490 as a null-terminated C string.
2491 `fnname' should be the name of the function in C.
2492 By convention, it starts with F.
2493 `sname' should be the name for the C constant structure
2494 that records information on this function for internal use.
2495 By convention, it should be the same as `fnname' but with S instead of F.
2496 It's too bad that C macros can't compute this from `fnname'.
2497 `minargs' should be a number, the minimum number of arguments allowed.
2498 `maxargs' should be a number, the maximum number of arguments allowed,
2499 or else MANY or UNEVALLED.
2500 MANY means pass a vector of evaluated arguments,
2501 in the form of an integer number-of-arguments
2502 followed by the address of a vector of Lisp_Objects
2503 which contains the argument values.
2504 UNEVALLED means pass the list of unevaluated arguments
4bca9161
MC
2505 `intspec' says how interactive arguments are to be fetched.
2506 If the string starts with a `(', `intspec' is evaluated and the resulting
2507 list is the list of arguments.
2508 If it's a string that doesn't start with `(', the value should follow
2509 the one of the doc string for `interactive'.
3cfe6dfd 2510 A null string means call interactively with no arguments.
eab9d423 2511 `doc' is documentation for the user. */
3cfe6dfd 2512
c451d7b1 2513/* This version of DEFUN declares a function prototype with the right
99a3d506 2514 arguments, so we can catch errors with maxargs at compile-time. */
a6fc3b5c
EZ
2515#ifdef _MSC_VER
2516#define DEFUN(lname, fnname, sname, minargs, maxargs, intspec, doc) \
2517 Lisp_Object fnname DEFUN_ARGS_ ## maxargs ; \
e32a5799 2518 static struct Lisp_Subr alignas (GCALIGNMENT) sname = \
914adc42
DA
2519 { { (PVEC_SUBR << PSEUDOVECTOR_AREA_BITS) \
2520 | (sizeof (struct Lisp_Subr) / sizeof (EMACS_INT)) }, \
a6fc3b5c
EZ
2521 { (Lisp_Object (__cdecl *)(void))fnname }, \
2522 minargs, maxargs, lname, intspec, 0}; \
2523 Lisp_Object fnname
2524#else /* not _MSC_VER */
29abe551
PE
2525# if __STDC_VERSION__ < 199901
2526# define DEFUN_FUNCTION_INIT(fnname, maxargs) (Lisp_Object (*) (void)) fnname
2527# else
2528# define DEFUN_FUNCTION_INIT(fnname, maxargs) .a ## maxargs = fnname
2529# endif
a6fc3b5c
EZ
2530#define DEFUN(lname, fnname, sname, minargs, maxargs, intspec, doc) \
2531 Lisp_Object fnname DEFUN_ARGS_ ## maxargs ; \
e32a5799 2532 static struct Lisp_Subr alignas (GCALIGNMENT) sname = \
914adc42 2533 { { PVEC_SUBR << PSEUDOVECTOR_AREA_BITS }, \
29abe551 2534 { DEFUN_FUNCTION_INIT (fnname, maxargs) }, \
a6fc3b5c
EZ
2535 minargs, maxargs, lname, intspec, 0}; \
2536 Lisp_Object fnname
2537#endif
c451d7b1
RS
2538
2539/* Note that the weird token-substitution semantics of ANSI C makes
99a3d506 2540 this work for MANY and UNEVALLED. */
f66c7cf8 2541#define DEFUN_ARGS_MANY (ptrdiff_t, Lisp_Object *)
c451d7b1
RS
2542#define DEFUN_ARGS_UNEVALLED (Lisp_Object)
2543#define DEFUN_ARGS_0 (void)
2544#define DEFUN_ARGS_1 (Lisp_Object)
2545#define DEFUN_ARGS_2 (Lisp_Object, Lisp_Object)
2546#define DEFUN_ARGS_3 (Lisp_Object, Lisp_Object, Lisp_Object)
2547#define DEFUN_ARGS_4 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object)
2548#define DEFUN_ARGS_5 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, \
2549 Lisp_Object)
2550#define DEFUN_ARGS_6 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, \
2551 Lisp_Object, Lisp_Object)
2552#define DEFUN_ARGS_7 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, \
2553 Lisp_Object, Lisp_Object, Lisp_Object)
5593f7e3
KH
2554#define DEFUN_ARGS_8 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, \
2555 Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object)
276680c4 2556
84575e67
PE
2557/* True if OBJ is a Lisp function. */
2558LISP_INLINE bool
2559FUNCTIONP (Lisp_Object obj)
2560{
2561 return functionp (obj);
2562}
e2c0561e 2563
3cfe6dfd 2564/* defsubr (Sname);
d19b9aa8 2565 is how we define the symbol for function `name' at start-up time. */
383e0970 2566extern void defsubr (struct Lisp_Subr *);
3cfe6dfd 2567
03a660a6
PE
2568enum maxargs
2569 {
2570 MANY = -2,
2571 UNEVALLED = -1
2572 };
3cfe6dfd 2573
ce5b453a
SM
2574extern void defvar_lisp (struct Lisp_Objfwd *, const char *, Lisp_Object *);
2575extern void defvar_lisp_nopro (struct Lisp_Objfwd *, const char *, Lisp_Object *);
f5d9e83a 2576extern void defvar_bool (struct Lisp_Boolfwd *, const char *, bool *);
ce5b453a
SM
2577extern void defvar_int (struct Lisp_Intfwd *, const char *, EMACS_INT *);
2578extern void defvar_kboard (struct Lisp_Kboard_Objfwd *, const char *, int);
3cfe6dfd
JB
2579
2580/* Macros we use to define forwarded Lisp variables.
29208e82 2581 These are used in the syms_of_FILENAME functions.
51b59d79 2582
29208e82
TT
2583 An ordinary (not in buffer_defaults, per-buffer, or per-keyboard)
2584 lisp variable is actually a field in `struct emacs_globals'. The
2585 field's name begins with "f_", which is a convention enforced by
2586 these macros. Each such global has a corresponding #define in
2587 globals.h; the plain name should be used in the code.
2588
2589 E.g., the global "cons_cells_consed" is declared as "int
2590 f_cons_cells_consed" in globals.h, but there is a define:
2591
2592 #define cons_cells_consed globals.f_cons_cells_consed
2593
2594 All C code uses the `cons_cells_consed' name. This is all done
2595 this way to support indirection for multi-threaded Emacs. */
3cfe6dfd 2596
ce5b453a
SM
2597#define DEFVAR_LISP(lname, vname, doc) \
2598 do { \
2599 static struct Lisp_Objfwd o_fwd; \
29208e82 2600 defvar_lisp (&o_fwd, lname, &globals.f_ ## vname); \
ce5b453a
SM
2601 } while (0)
2602#define DEFVAR_LISP_NOPRO(lname, vname, doc) \
2603 do { \
2604 static struct Lisp_Objfwd o_fwd; \
29208e82 2605 defvar_lisp_nopro (&o_fwd, lname, &globals.f_ ## vname); \
ce5b453a
SM
2606 } while (0)
2607#define DEFVAR_BOOL(lname, vname, doc) \
2608 do { \
2609 static struct Lisp_Boolfwd b_fwd; \
29208e82 2610 defvar_bool (&b_fwd, lname, &globals.f_ ## vname); \
ce5b453a
SM
2611 } while (0)
2612#define DEFVAR_INT(lname, vname, doc) \
2613 do { \
2614 static struct Lisp_Intfwd i_fwd; \
29208e82 2615 defvar_int (&i_fwd, lname, &globals.f_ ## vname); \
ce5b453a 2616 } while (0)
92d2947b 2617
422745d0
TT
2618#define DEFVAR_BUFFER_DEFAULTS(lname, vname, doc) \
2619 do { \
2620 static struct Lisp_Objfwd o_fwd; \
eb4916d7 2621 defvar_lisp_nopro (&o_fwd, lname, &BVAR (&buffer_defaults, vname)); \
422745d0
TT
2622 } while (0)
2623
ce5b453a
SM
2624#define DEFVAR_KBOARD(lname, vname, doc) \
2625 do { \
2626 static struct Lisp_Kboard_Objfwd ko_fwd; \
437b2cb4 2627 defvar_kboard (&ko_fwd, lname, offsetof (KBOARD, vname ## _)); \
ce5b453a 2628 } while (0)
0328b6de
PE
2629\f
2630/* Save and restore the instruction and environment pointers,
2631 without affecting the signal mask. */
2632
2633#ifdef HAVE__SETJMP
2634typedef jmp_buf sys_jmp_buf;
2635# define sys_setjmp(j) _setjmp (j)
2636# define sys_longjmp(j, v) _longjmp (j, v)
2637#elif defined HAVE_SIGSETJMP
2638typedef sigjmp_buf sys_jmp_buf;
2639# define sys_setjmp(j) sigsetjmp (j, 0)
2640# define sys_longjmp(j, v) siglongjmp (j, v)
2641#else
7105c8cb
EZ
2642/* A platform that uses neither _longjmp nor siglongjmp; assume
2643 longjmp does not affect the sigmask. */
0328b6de
PE
2644typedef jmp_buf sys_jmp_buf;
2645# define sys_setjmp(j) setjmp (j)
2646# define sys_longjmp(j, v) longjmp (j, v)
2647#endif
df7cd53b 2648
3cfe6dfd 2649\f
2f592f95
SM
2650/* Elisp uses several stacks:
2651 - the C stack.
2652 - the bytecode stack: used internally by the bytecode interpreter.
2653 Allocated from the C stack.
2654 - The specpdl stack: keeps track of active unwind-protect and
2655 dynamic-let-bindings. Allocated from the `specpdl' array, a manually
2656 managed stack.
2657 - The catch stack: keeps track of active catch tags.
2658 Allocated on the C stack. This is where the setmp data is kept.
2659 - The handler stack: keeps track of active condition-case handlers.
2660 Allocated on the C stack. Every entry there also uses an entry in
2661 the catch stack. */
2662
78ca380c
JB
2663/* Structure for recording Lisp call stack for backtrace purposes. */
2664
2665/* The special binding stack holds the outer values of variables while
2666 they are bound by a function application or a let form, stores the
2f592f95 2667 code to be executed for unwind-protect forms.
78ca380c
JB
2668
2669 If func is non-zero, undoing this binding applies func to old_value;
2670 This implements record_unwind_protect.
5fd6e274
RS
2671
2672 Otherwise, the element is a variable binding.
e2c0561e 2673
5fd6e274 2674 If the symbol field is a symbol, it is an ordinary variable binding.
e2c0561e 2675
78edd3b7
JB
2676 Otherwise, it should be a structure (SYMBOL WHERE . CURRENT-BUFFER),
2677 which means having bound a local value while CURRENT-BUFFER was active.
2678 If WHERE is nil this means we saw the default value when binding SYMBOL.
2679 WHERE being a buffer or frame means we saw a buffer-local or frame-local
2f592f95
SM
2680 value. Other values of WHERE mean an internal error.
2681
9349e5f7 2682 NOTE: The specbinding union is defined here, because SPECPDL_INDEX is
2f592f95 2683 used all over the place, needs to be fast, and needs to know the size of
9349e5f7 2684 union specbinding. But only eval.c should access it. */
5fd6e274 2685
2f592f95 2686enum specbind_tag {
27e498e6
PE
2687 SPECPDL_UNWIND, /* An unwind_protect function on Lisp_Object. */
2688 SPECPDL_UNWIND_PTR, /* Likewise, on void *. */
2689 SPECPDL_UNWIND_INT, /* Likewise, on int. */
2690 SPECPDL_UNWIND_VOID, /* Likewise, with no arg. */
2f592f95
SM
2691 SPECPDL_BACKTRACE, /* An element of the backtrace. */
2692 SPECPDL_LET, /* A plain and simple dynamic let-binding. */
2693 /* Tags greater than SPECPDL_LET must be "subkinds" of LET. */
2694 SPECPDL_LET_LOCAL, /* A buffer-local let-binding. */
2695 SPECPDL_LET_DEFAULT /* A global binding for a localized var. */
2696};
2697
9349e5f7 2698union specbinding
3cfe6dfd 2699 {
9349e5f7
PE
2700 ENUM_BF (specbind_tag) kind : CHAR_BIT;
2701 struct {
2702 ENUM_BF (specbind_tag) kind : CHAR_BIT;
27e498e6 2703 void (*func) (Lisp_Object);
9349e5f7 2704 Lisp_Object arg;
9349e5f7 2705 } unwind;
27e498e6
PE
2706 struct {
2707 ENUM_BF (specbind_tag) kind : CHAR_BIT;
2708 void (*func) (void *);
2709 void *arg;
2710 } unwind_ptr;
2711 struct {
2712 ENUM_BF (specbind_tag) kind : CHAR_BIT;
2713 void (*func) (int);
2714 int arg;
2715 } unwind_int;
2716 struct {
2717 ENUM_BF (specbind_tag) kind : CHAR_BIT;
2718 void (*func) (void);
2719 } unwind_void;
9349e5f7
PE
2720 struct {
2721 ENUM_BF (specbind_tag) kind : CHAR_BIT;
2722 /* `where' is not used in the case of SPECPDL_LET. */
2723 Lisp_Object symbol, old_value, where;
2724 } let;
2725 struct {
2726 ENUM_BF (specbind_tag) kind : CHAR_BIT;
2727 bool debug_on_exit : 1;
2728 Lisp_Object function;
2729 Lisp_Object *args;
2730 ptrdiff_t nargs;
2731 } bt;
3cfe6dfd
JB
2732 };
2733
9349e5f7
PE
2734extern union specbinding *specpdl;
2735extern union specbinding *specpdl_ptr;
d311d28c 2736extern ptrdiff_t specpdl_size;
3cfe6dfd 2737
84575e67
PE
2738LISP_INLINE ptrdiff_t
2739SPECPDL_INDEX (void)
2740{
2741 return specpdl_ptr - specpdl;
2742}
acb8dc44 2743
50f2e553
PE
2744/* Everything needed to describe an active condition case.
2745
2746 Members are volatile if their values need to survive _longjmp when
2747 a 'struct handler' is a local variable. */
3cfe6dfd
JB
2748struct handler
2749 {
78ca380c 2750 /* The handler clauses and variable from the condition-case form. */
992dd91a
RS
2751 /* For a handler set up in Lisp code, this is always a list.
2752 For an internal handler set up by internal_condition_case*,
2753 this can instead be the symbol t or `error'.
2754 t: handle all conditions.
2755 error: handle all conditions, and errors can run the debugger
2756 or display a backtrace. */
3cfe6dfd 2757 Lisp_Object handler;
50f2e553
PE
2758
2759 Lisp_Object volatile var;
2760
22bbbd42
RS
2761 /* Fsignal stores here the condition-case clause that applies,
2762 and Fcondition_case thus knows which clause to run. */
50f2e553 2763 Lisp_Object volatile chosen_clause;
78ca380c
JB
2764
2765 /* Used to effect the longjump out to the handler. */
3cfe6dfd 2766 struct catchtag *tag;
78ca380c
JB
2767
2768 /* The next enclosing handler. */
3cfe6dfd
JB
2769 struct handler *next;
2770 };
2771
d7306fe6
DN
2772/* This structure helps implement the `catch' and `throw' control
2773 structure. A struct catchtag contains all the information needed
2774 to restore the state of the interpreter after a non-local jump.
2775
2776 Handlers for error conditions (represented by `struct handler'
2777 structures) just point to a catch tag to do the cleanup required
2778 for their jumps.
2779
2780 catchtag structures are chained together in the C calling stack;
2781 the `next' member points to the next outer catchtag.
2782
2783 A call like (throw TAG VAL) searches for a catchtag whose `tag'
2784 member is TAG, and then unbinds to it. The `val' member is used to
2785 hold VAL while the stack is unwound; `val' is returned as the value
2786 of the catch form.
2787
2788 All the other members are concerned with restoring the interpreter
50f2e553 2789 state.
d7306fe6 2790
50f2e553
PE
2791 Members are volatile if their values need to survive _longjmp when
2792 a 'struct catchtag' is a local variable. */
d7306fe6
DN
2793struct catchtag
2794{
2795 Lisp_Object tag;
50f2e553
PE
2796 Lisp_Object volatile val;
2797 struct catchtag *volatile next;
2f592f95 2798#if 1 /* GC_MARK_STACK == GC_MAKE_GCPROS_NOOPS, but they're defined later. */
d7306fe6 2799 struct gcpro *gcpro;
2f592f95 2800#endif
0328b6de 2801 sys_jmp_buf jmp;
d7306fe6 2802 struct handler *handlerlist;
d311d28c 2803 EMACS_INT lisp_eval_depth;
50f2e553 2804 ptrdiff_t volatile pdlcount;
d7306fe6
DN
2805 int poll_suppress_count;
2806 int interrupt_input_blocked;
2807 struct byte_stack *byte_stack;
2808};
2809
22bbbd42
RS
2810extern Lisp_Object memory_signal_data;
2811
3cfe6dfd
JB
2812/* An address near the bottom of the stack.
2813 Tells GC how to save a copy of the stack. */
2814extern char *stack_bottom;
2815
4742f524
RS
2816/* Check quit-flag and quit if it is non-nil.
2817 Typing C-g does not directly cause a quit; it only sets Vquit_flag.
2818 So the program needs to do QUIT at times when it is safe to quit.
2819 Every loop that might run for a long time or might not exit
2820 ought to do QUIT at least once, at a safe place.
2821 Unless that is impossible, of course.
2822 But it is very desirable to avoid creating loops where QUIT is impossible.
2823
2824 Exception: if you set immediate_quit to nonzero,
2825 then the handler that responds to the C-g does the quit itself.
2826 This is a good thing to do around a loop that has no side effects
6c07aac2
AS
2827 and (in particular) cannot call arbitrary Lisp code.
2828
2829 If quit-flag is set to `kill-emacs' the SIGINT handler has received
2830 a request to exit Emacs when it is safe to do. */
3cfe6dfd 2831
383e0970 2832extern void process_pending_signals (void);
88d69b7d 2833extern bool volatile pending_signals;
6b61353c 2834
7dbda6df 2835extern void process_quit_flag (void);
a69a6e61
GM
2836#define QUIT \
2837 do { \
2838 if (!NILP (Vquit_flag) && NILP (Vinhibit_quit)) \
6d5eb5b0 2839 process_quit_flag (); \
0caaedb1
PE
2840 else if (pending_signals) \
2841 process_pending_signals (); \
a69a6e61 2842 } while (0)
3cfe6dfd 2843
6b61353c 2844
3cfe6dfd
JB
2845/* Nonzero if ought to quit now. */
2846
efb859b4 2847#define QUITP (!NILP (Vquit_flag) && NILP (Vinhibit_quit))
3cfe6dfd 2848\f
31cd66f3
PE
2849extern Lisp_Object Vascii_downcase_table;
2850extern Lisp_Object Vascii_canon_table;
3cfe6dfd 2851\f
99a3d506 2852/* Structure for recording stack slots that need marking. */
3cfe6dfd 2853
78edd3b7
JB
2854/* This is a chain of structures, each of which points at a Lisp_Object
2855 variable whose value should be marked in garbage collection.
2856 Normally every link of the chain is an automatic variable of a function,
2857 and its `val' points to some argument or local variable of the function.
2858 On exit to the function, the chain is set back to the value it had on entry.
2859 This way, no link remains in the chain when the stack frame containing the
2860 link disappears.
3cfe6dfd 2861
78edd3b7
JB
2862 Every function that can call Feval must protect in this fashion all
2863 Lisp_Object variables whose contents will be used again. */
3cfe6dfd
JB
2864
2865extern struct gcpro *gcprolist;
2866
2867struct gcpro
834168ef
GM
2868{
2869 struct gcpro *next;
e2c0561e 2870
834168ef
GM
2871 /* Address of first protected variable. */
2872 volatile Lisp_Object *var;
e2c0561e 2873
834168ef 2874 /* Number of consecutive protected variables. */
f66c7cf8 2875 ptrdiff_t nvars;
e2c0561e 2876
4742f524 2877#ifdef DEBUG_GCPRO
834168ef 2878 int level;
4742f524 2879#endif
834168ef 2880};
3cfe6dfd 2881
1216f5e4
GM
2882/* Values of GC_MARK_STACK during compilation:
2883
2884 0 Use GCPRO as before
2885 1 Do the real thing, make GCPROs and UNGCPRO no-ops.
2886 2 Mark the stack, and check that everything GCPRO'd is
2887 marked.
2888 3 Mark using GCPRO's, mark stack last, and count how many
444b01bb 2889 dead objects are kept alive.
1216f5e4 2890
444b01bb
PE
2891 Formerly, method 0 was used. Currently, method 1 is used unless
2892 otherwise specified by hand when building, e.g.,
2893 "make CPPFLAGS='-DGC_MARK_STACK=GC_USE_GCPROS_AS_BEFORE'".
2894 Methods 2 and 3 are present mainly to debug the transition from 0 to 1. */
1216f5e4
GM
2895
2896#define GC_USE_GCPROS_AS_BEFORE 0
2897#define GC_MAKE_GCPROS_NOOPS 1
2898#define GC_MARK_STACK_CHECK_GCPROS 2
2899#define GC_USE_GCPROS_CHECK_ZOMBIES 3
2900
2901#ifndef GC_MARK_STACK
b948ce8b 2902#define GC_MARK_STACK GC_MAKE_GCPROS_NOOPS
1216f5e4
GM
2903#endif
2904
b286858c
SM
2905/* Whether we do the stack marking manually. */
2906#define BYTE_MARK_STACK !(GC_MARK_STACK == GC_MAKE_GCPROS_NOOPS \
2907 || GC_MARK_STACK == GC_MARK_STACK_CHECK_GCPROS)
2908
2909
1216f5e4
GM
2910#if GC_MARK_STACK == GC_MAKE_GCPROS_NOOPS
2911
9f0443f9 2912/* Do something silly with gcproN vars just so gcc shuts up. */
656c33dc 2913/* You get warnings from MIPSPro... */
9f0443f9 2914
dbf31225
PE
2915#define GCPRO1(varname) ((void) gcpro1)
2916#define GCPRO2(varname1, varname2) ((void) gcpro2, (void) gcpro1)
2917#define GCPRO3(varname1, varname2, varname3) \
2918 ((void) gcpro3, (void) gcpro2, (void) gcpro1)
2919#define GCPRO4(varname1, varname2, varname3, varname4) \
2920 ((void) gcpro4, (void) gcpro3, (void) gcpro2, (void) gcpro1)
2921#define GCPRO5(varname1, varname2, varname3, varname4, varname5) \
2922 ((void) gcpro5, (void) gcpro4, (void) gcpro3, (void) gcpro2, (void) gcpro1)
2923#define GCPRO6(varname1, varname2, varname3, varname4, varname5, varname6) \
2924 ((void) gcpro6, (void) gcpro5, (void) gcpro4, (void) gcpro3, (void) gcpro2, \
2925 (void) gcpro1)
2926#define UNGCPRO ((void) 0)
1216f5e4
GM
2927
2928#else /* GC_MARK_STACK != GC_MAKE_GCPROS_NOOPS */
2929
4742f524
RS
2930#ifndef DEBUG_GCPRO
2931
dbf31225
PE
2932#define GCPRO1(varname) \
2933 {gcpro1.next = gcprolist; gcpro1.var = &varname; gcpro1.nvars = 1; \
2934 gcprolist = &gcpro1; }
2935
2936#define GCPRO2(varname1, varname2) \
2937 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2938 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2939 gcprolist = &gcpro2; }
2940
2941#define GCPRO3(varname1, varname2, varname3) \
2942 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2943 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2944 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2945 gcprolist = &gcpro3; }
2946
2947#define GCPRO4(varname1, varname2, varname3, varname4) \
2948 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2949 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2950 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2951 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
2952 gcprolist = &gcpro4; }
2953
2954#define GCPRO5(varname1, varname2, varname3, varname4, varname5) \
2955 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2956 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2957 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2958 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
2959 gcpro5.next = &gcpro4; gcpro5.var = &varname5; gcpro5.nvars = 1; \
2960 gcprolist = &gcpro5; }
2961
2962#define GCPRO6(varname1, varname2, varname3, varname4, varname5, varname6) \
2963 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2964 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2965 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2966 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
2967 gcpro5.next = &gcpro4; gcpro5.var = &varname5; gcpro5.nvars = 1; \
2968 gcpro6.next = &gcpro5; gcpro6.var = &varname6; gcpro6.nvars = 1; \
2969 gcprolist = &gcpro6; }
2970
2971#define UNGCPRO (gcprolist = gcpro1.next)
3cfe6dfd 2972
4742f524 2973#else
e98227af 2974
4742f524
RS
2975extern int gcpro_level;
2976
dbf31225
PE
2977#define GCPRO1(varname) \
2978 {gcpro1.next = gcprolist; gcpro1.var = &varname; gcpro1.nvars = 1; \
2979 gcpro1.level = gcpro_level++; \
2980 gcprolist = &gcpro1; }
2981
2982#define GCPRO2(varname1, varname2) \
2983 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2984 gcpro1.level = gcpro_level; \
2985 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2986 gcpro2.level = gcpro_level++; \
2987 gcprolist = &gcpro2; }
2988
2989#define GCPRO3(varname1, varname2, varname3) \
2990 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2991 gcpro1.level = gcpro_level; \
2992 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
2993 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
2994 gcpro3.level = gcpro_level++; \
2995 gcprolist = &gcpro3; }
2996
2997#define GCPRO4(varname1, varname2, varname3, varname4) \
2998 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
2999 gcpro1.level = gcpro_level; \
3000 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
3001 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
3002 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
3003 gcpro4.level = gcpro_level++; \
3004 gcprolist = &gcpro4; }
3005
3006#define GCPRO5(varname1, varname2, varname3, varname4, varname5) \
3007 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
3008 gcpro1.level = gcpro_level; \
3009 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
3010 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
3011 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
3012 gcpro5.next = &gcpro4; gcpro5.var = &varname5; gcpro5.nvars = 1; \
3013 gcpro5.level = gcpro_level++; \
3014 gcprolist = &gcpro5; }
3015
3016#define GCPRO6(varname1, varname2, varname3, varname4, varname5, varname6) \
3017 {gcpro1.next = gcprolist; gcpro1.var = &varname1; gcpro1.nvars = 1; \
3018 gcpro1.level = gcpro_level; \
3019 gcpro2.next = &gcpro1; gcpro2.var = &varname2; gcpro2.nvars = 1; \
3020 gcpro3.next = &gcpro2; gcpro3.var = &varname3; gcpro3.nvars = 1; \
3021 gcpro4.next = &gcpro3; gcpro4.var = &varname4; gcpro4.nvars = 1; \
3022 gcpro5.next = &gcpro4; gcpro5.var = &varname5; gcpro5.nvars = 1; \
3023 gcpro6.next = &gcpro5; gcpro6.var = &varname6; gcpro6.nvars = 1; \
3024 gcpro6.level = gcpro_level++; \
3025 gcprolist = &gcpro6; }
3026
3027#define UNGCPRO \
3028 ((--gcpro_level != gcpro1.level) \
1088b922 3029 ? (emacs_abort (), 0) \
dbf31225 3030 : ((gcprolist = gcpro1.next), 0))
4742f524
RS
3031
3032#endif /* DEBUG_GCPRO */
1216f5e4
GM
3033#endif /* GC_MARK_STACK != GC_MAKE_GCPROS_NOOPS */
3034
3cfe6dfd 3035
5db82c9d 3036/* Evaluate expr, UNGCPRO, and then return the value of expr. */
c47b8d02 3037#define RETURN_UNGCPRO(expr) \
0868e74e 3038do \
c47b8d02
RS
3039 { \
3040 Lisp_Object ret_ungc_val; \
3041 ret_ungc_val = (expr); \
3042 UNGCPRO; \
3043 return ret_ungc_val; \
3044 } \
0868e74e 3045while (0)
4742f524
RS
3046
3047/* Call staticpro (&var) to protect static variable `var'. */
3048
383e0970 3049void staticpro (Lisp_Object *);
3cfe6dfd 3050\f
2f69f2ec
RS
3051/* Declare a Lisp-callable function. The MAXARGS parameter has the same
3052 meaning as in the DEFUN macro, and is used to construct a prototype. */
2f69f2ec
RS
3053/* We can use the same trick as in the DEFUN macro to generate the
3054 appropriate prototype. */
3055#define EXFUN(fnname, maxargs) \
3056 extern Lisp_Object fnname DEFUN_ARGS_ ## maxargs
2f69f2ec 3057
84575e67
PE
3058#include "globals.h"
3059
526a2be7
AS
3060/* Forward declarations for prototypes. */
3061struct window;
3062struct frame;
2f69f2ec 3063
086ca913
DA
3064/* Copy COUNT Lisp_Objects from ARGS to contents of V starting from OFFSET. */
3065
3066LISP_INLINE void
3067vcopy (Lisp_Object v, ptrdiff_t offset, Lisp_Object *args, ptrdiff_t count)
3068{
7216e43b 3069 eassert (0 <= offset && 0 <= count && offset + count <= ASIZE (v));
1b9d9d16 3070 memcpy (XVECTOR (v)->contents + offset, args, count * sizeof *args);
086ca913
DA
3071}
3072
3073/* Functions to modify hash tables. */
3074
e83064be
DA
3075LISP_INLINE void
3076set_hash_key_slot (struct Lisp_Hash_Table *h, ptrdiff_t idx, Lisp_Object val)
4939150c 3077{
8834c57a 3078 gc_aset (h->key_and_value, 2 * idx, val);
4939150c
PE
3079}
3080
f162bcc3 3081LISP_INLINE void
e83064be 3082set_hash_value_slot (struct Lisp_Hash_Table *h, ptrdiff_t idx, Lisp_Object val)
4939150c 3083{
8834c57a 3084 gc_aset (h->key_and_value, 2 * idx + 1, val);
4939150c
PE
3085}
3086
c644523b
DA
3087/* Use these functions to set Lisp_Object
3088 or pointer slots of struct Lisp_Symbol. */
3089
c644523b
DA
3090LISP_INLINE void
3091set_symbol_function (Lisp_Object sym, Lisp_Object function)
3092{
3093 XSYMBOL (sym)->function = function;
3094}
3095
3096LISP_INLINE void
3097set_symbol_plist (Lisp_Object sym, Lisp_Object plist)
3098{
3099 XSYMBOL (sym)->plist = plist;
3100}
3101
3102LISP_INLINE void
3103set_symbol_next (Lisp_Object sym, struct Lisp_Symbol *next)
3104{
3105 XSYMBOL (sym)->next = next;
3106}
3107
a04e2c62
DA
3108/* Buffer-local (also frame-local) variable access functions. */
3109
3110LISP_INLINE int
3111blv_found (struct Lisp_Buffer_Local_Value *blv)
3112{
3113 eassert (blv->found == !EQ (blv->defcell, blv->valcell));
3114 return blv->found;
3115}
3116
c644523b
DA
3117/* Set overlay's property list. */
3118
3119LISP_INLINE void
3120set_overlay_plist (Lisp_Object overlay, Lisp_Object plist)
3121{
3122 XOVERLAY (overlay)->plist = plist;
3123}
3124
ad8c997f
DA
3125/* Get text properties of S. */
3126
3127LISP_INLINE INTERVAL
0c94c8d6 3128string_intervals (Lisp_Object s)
ad8c997f
DA
3129{
3130 return XSTRING (s)->intervals;
3131}
3132
3133/* Set text properties of S to I. */
3134
3135LISP_INLINE void
0c94c8d6 3136set_string_intervals (Lisp_Object s, INTERVAL i)
ad8c997f
DA
3137{
3138 XSTRING (s)->intervals = i;
3139}
3140
742af32f
PE
3141/* Set a Lisp slot in TABLE to VAL. Most code should use this instead
3142 of setting slots directly. */
3143
742af32f
PE
3144LISP_INLINE void
3145set_char_table_defalt (Lisp_Object table, Lisp_Object val)
3146{
3147 XCHAR_TABLE (table)->defalt = val;
3148}
3149LISP_INLINE void
742af32f
PE
3150set_char_table_purpose (Lisp_Object table, Lisp_Object val)
3151{
3152 XCHAR_TABLE (table)->purpose = val;
3153}
3154
a098c930
DA
3155/* Set different slots in (sub)character tables. */
3156
3157LISP_INLINE void
34dabdb7 3158set_char_table_extras (Lisp_Object table, ptrdiff_t idx, Lisp_Object val)
a098c930
DA
3159{
3160 eassert (0 <= idx && idx < CHAR_TABLE_EXTRA_SLOTS (XCHAR_TABLE (table)));
3161 XCHAR_TABLE (table)->extras[idx] = val;
3162}
3163
3164LISP_INLINE void
34dabdb7 3165set_char_table_contents (Lisp_Object table, ptrdiff_t idx, Lisp_Object val)
a098c930
DA
3166{
3167 eassert (0 <= idx && idx < (1 << CHARTAB_SIZE_BITS_0));
3168 XCHAR_TABLE (table)->contents[idx] = val;
3169}
3170
3171LISP_INLINE void
34dabdb7 3172set_sub_char_table_contents (Lisp_Object table, ptrdiff_t idx, Lisp_Object val)
a098c930
DA
3173{
3174 XSUB_CHAR_TABLE (table)->contents[idx] = val;
3175}
3176
f6d62986 3177/* Defined in data.c. */
955cbe7b 3178extern Lisp_Object Qnil, Qt, Qquote, Qlambda, Qunbound;
3cfe6dfd 3179extern Lisp_Object Qerror_conditions, Qerror_message, Qtop_level;
955cbe7b 3180extern Lisp_Object Qerror, Qquit, Qargs_out_of_range;
3cfe6dfd 3181extern Lisp_Object Qvoid_variable, Qvoid_function;
955cbe7b 3182extern Lisp_Object Qinvalid_read_syntax;
3cfe6dfd 3183extern Lisp_Object Qinvalid_function, Qwrong_number_of_arguments, Qno_catch;
71873e2b 3184extern Lisp_Object Quser_error, Qend_of_file, Qarith_error, Qmark_inactive;
3cfe6dfd 3185extern Lisp_Object Qbeginning_of_buffer, Qend_of_buffer, Qbuffer_read_only;
6b61353c 3186extern Lisp_Object Qtext_read_only;
e6cba650 3187extern Lisp_Object Qinteractive_form;
99f3388e 3188extern Lisp_Object Qcircular_list;
955cbe7b 3189extern Lisp_Object Qintegerp, Qwholenump, Qsymbolp, Qlistp, Qconsp;
3cfe6dfd 3190extern Lisp_Object Qstringp, Qarrayp, Qsequencep, Qbufferp;
6b61353c 3191extern Lisp_Object Qchar_or_string_p, Qmarkerp, Qinteger_or_marker_p, Qvectorp;
cde20f41 3192extern Lisp_Object Qbuffer_or_string_p;
955cbe7b 3193extern Lisp_Object Qfboundp;
6b61353c
KH
3194extern Lisp_Object Qchar_table_p, Qvector_or_char_table_p;
3195
3cfe6dfd
JB
3196extern Lisp_Object Qcdr;
3197
c990426a 3198extern Lisp_Object Qrange_error, Qoverflow_error;
3cfe6dfd 3199
6b61353c
KH
3200extern Lisp_Object Qfloatp;
3201extern Lisp_Object Qnumberp, Qnumber_or_marker_p;
3202
b52d6985 3203extern Lisp_Object Qbuffer, Qinteger, Qsymbol;
3cfe6dfd 3204
a35ebb81
CY
3205extern Lisp_Object Qfont_spec, Qfont_entity, Qfont_object;
3206
5994c183
PE
3207EXFUN (Fbyteorder, 0) ATTRIBUTE_CONST;
3208
e7032e7c 3209/* Defined in data.c. */
383e0970 3210extern Lisp_Object indirect_function (Lisp_Object);
383e0970 3211extern Lisp_Object find_symbol_value (Lisp_Object);
2f69f2ec 3212
be44ca6c
PE
3213/* Convert the integer I to an Emacs representation, either the integer
3214 itself, or a cons of two or three integers, or if all else fails a float.
3215 I should not have side effects. */
3216#define INTEGER_TO_CONS(i) \
3217 (! FIXNUM_OVERFLOW_P (i) \
3218 ? make_number (i) \
3219 : ! ((FIXNUM_OVERFLOW_P (INTMAX_MIN >> 16) \
3220 || FIXNUM_OVERFLOW_P (UINTMAX_MAX >> 16)) \
3221 && FIXNUM_OVERFLOW_P ((i) >> 16)) \
3222 ? Fcons (make_number ((i) >> 16), make_number ((i) & 0xffff)) \
3223 : ! ((FIXNUM_OVERFLOW_P (INTMAX_MIN >> 16 >> 24) \
3224 || FIXNUM_OVERFLOW_P (UINTMAX_MAX >> 16 >> 24)) \
3225 && FIXNUM_OVERFLOW_P ((i) >> 16 >> 24)) \
3226 ? Fcons (make_number ((i) >> 16 >> 24), \
3227 Fcons (make_number ((i) >> 16 & 0xffffff), \
3228 make_number ((i) & 0xffff))) \
3229 : make_float (i))
3230
3231/* Convert the Emacs representation CONS back to an integer of type
3232 TYPE, storing the result the variable VAR. Signal an error if CONS
3233 is not a valid representation or is out of range for TYPE. */
3234#define CONS_TO_INTEGER(cons, type, var) \
3235 (TYPE_SIGNED (type) \
3236 ? ((var) = cons_to_signed (cons, TYPE_MINIMUM (type), TYPE_MAXIMUM (type))) \
3237 : ((var) = cons_to_unsigned (cons, TYPE_MAXIMUM (type))))
3238extern intmax_t cons_to_signed (Lisp_Object, intmax_t, intmax_t);
3239extern uintmax_t cons_to_unsigned (Lisp_Object, uintmax_t);
3240
ad97b375 3241extern struct Lisp_Symbol *indirect_variable (struct Lisp_Symbol *);
845ca893
PE
3242extern _Noreturn void args_out_of_range (Lisp_Object, Lisp_Object);
3243extern _Noreturn void args_out_of_range_3 (Lisp_Object, Lisp_Object,
3244 Lisp_Object);
3245extern _Noreturn Lisp_Object wrong_type_argument (Lisp_Object, Lisp_Object);
ce5b453a 3246extern Lisp_Object do_symval_forwarding (union Lisp_Fwd *);
de1339b0 3247extern void set_internal (Lisp_Object, Lisp_Object, Lisp_Object, bool);
383e0970 3248extern void syms_of_data (void);
383e0970 3249extern void swap_in_global_binding (struct Lisp_Symbol *);
3cfe6dfd 3250
a37e10f9 3251/* Defined in cmds.c */
383e0970
J
3252extern void syms_of_cmds (void);
3253extern void keys_of_cmds (void);
a37e10f9 3254
e7032e7c 3255/* Defined in coding.c. */
2f7c71a1 3256extern Lisp_Object Qcharset;
d311d28c 3257extern Lisp_Object detect_coding_system (const unsigned char *, ptrdiff_t,
f10fe38f 3258 ptrdiff_t, bool, bool, Lisp_Object);
383e0970
J
3259extern void init_coding (void);
3260extern void init_coding_once (void);
3261extern void syms_of_coding (void);
1842abb2 3262
e7032e7c 3263/* Defined in character.c. */
5994c183 3264EXFUN (Fmax_char, 0) ATTRIBUTE_CONST;
d311d28c
PE
3265extern ptrdiff_t chars_in_text (const unsigned char *, ptrdiff_t);
3266extern ptrdiff_t multibyte_chars_in_text (const unsigned char *, ptrdiff_t);
5994c183
PE
3267extern int multibyte_char_to_unibyte (int) ATTRIBUTE_CONST;
3268extern int multibyte_char_to_unibyte_safe (int) ATTRIBUTE_CONST;
2f7c71a1
AS
3269extern void syms_of_character (void);
3270
e7032e7c 3271/* Defined in charset.c. */
383e0970
J
3272extern void init_charset (void);
3273extern void init_charset_once (void);
3274extern void syms_of_charset (void);
8f924df7
KH
3275/* Structure forward declarations. */
3276struct charset;
5e741a41 3277
e7032e7c 3278/* Defined in composite.c. */
383e0970 3279extern void syms_of_composite (void);
5e741a41 3280
e7032e7c 3281/* Defined in syntax.c. */
383e0970
J
3282extern void init_syntax_once (void);
3283extern void syms_of_syntax (void);
a37e10f9 3284
e7032e7c 3285/* Defined in fns.c. */
99f3388e 3286extern Lisp_Object QCrehash_size, QCrehash_threshold;
ca9ce8f2 3287enum { NEXT_ALMOST_PRIME_LIMIT = 11 };
5994c183
PE
3288EXFUN (Fidentity, 1) ATTRIBUTE_CONST;
3289extern EMACS_INT next_almost_prime (EMACS_INT) ATTRIBUTE_CONST;
d311d28c 3290extern Lisp_Object larger_vector (Lisp_Object, ptrdiff_t, ptrdiff_t);
383e0970 3291extern void sweep_weak_hash_tables (void);
e6cba650 3292extern Lisp_Object Qcursor_in_echo_area;
3cfe6dfd 3293extern Lisp_Object Qstring_lessp;
53371430 3294extern Lisp_Object QCsize, QCtest, QCweakness, Qequal, Qeq;
3cc5a532 3295EMACS_UINT hash_string (char const *, ptrdiff_t);
0de4bb68 3296EMACS_UINT sxhash (Lisp_Object, int);
b7432bb2
SM
3297Lisp_Object make_hash_table (struct hash_table_test, Lisp_Object, Lisp_Object,
3298 Lisp_Object, Lisp_Object);
d3411f89
PE
3299ptrdiff_t hash_lookup (struct Lisp_Hash_Table *, Lisp_Object, EMACS_UINT *);
3300ptrdiff_t hash_put (struct Lisp_Hash_Table *, Lisp_Object, Lisp_Object,
0de4bb68 3301 EMACS_UINT);
53371430 3302extern struct hash_table_test hashtest_eql, hashtest_equal;
404dbd37 3303
d311d28c
PE
3304extern Lisp_Object substring_both (Lisp_Object, ptrdiff_t, ptrdiff_t,
3305 ptrdiff_t, ptrdiff_t);
6318cde0 3306extern Lisp_Object merge (Lisp_Object, Lisp_Object, Lisp_Object);
383e0970 3307extern Lisp_Object do_yes_or_no_p (Lisp_Object);
383e0970
J
3308extern Lisp_Object concat2 (Lisp_Object, Lisp_Object);
3309extern Lisp_Object concat3 (Lisp_Object, Lisp_Object, Lisp_Object);
3310extern Lisp_Object nconc2 (Lisp_Object, Lisp_Object);
3311extern Lisp_Object assq_no_quit (Lisp_Object, Lisp_Object);
3312extern Lisp_Object assoc_no_quit (Lisp_Object, Lisp_Object);
3313extern void clear_string_char_byte_cache (void);
d311d28c
PE
3314extern ptrdiff_t string_char_to_byte (Lisp_Object, ptrdiff_t);
3315extern ptrdiff_t string_byte_to_char (Lisp_Object, ptrdiff_t);
383e0970
J
3316extern Lisp_Object string_to_multibyte (Lisp_Object);
3317extern Lisp_Object string_make_unibyte (Lisp_Object);
383e0970 3318extern void syms_of_fns (void);
2f69f2ec 3319
e7032e7c 3320/* Defined in floatfns.c. */
383e0970 3321extern double extract_float (Lisp_Object);
383e0970 3322extern void syms_of_floatfns (void);
3d608a86 3323extern Lisp_Object fmod_float (Lisp_Object x, Lisp_Object y);
3cfe6dfd 3324
e7032e7c 3325/* Defined in fringe.c. */
383e0970
J
3326extern void syms_of_fringe (void);
3327extern void init_fringe (void);
524c7aa6
PE
3328#ifdef HAVE_WINDOW_SYSTEM
3329extern void mark_fringe_data (void);
383e0970 3330extern void init_fringe_once (void);
524c7aa6 3331#endif /* HAVE_WINDOW_SYSTEM */
6b61353c 3332
e7032e7c 3333/* Defined in image.c. */
955cbe7b
PE
3334extern Lisp_Object QCascent, QCmargin, QCrelief;
3335extern Lisp_Object QCconversion;
0766b489 3336extern int x_bitmap_mask (struct frame *, ptrdiff_t);
aa15c6bb 3337extern void reset_image_types (void);
383e0970 3338extern void syms_of_image (void);
6b61353c 3339
e7032e7c 3340/* Defined in insdel.c. */
b8b31967 3341extern Lisp_Object Qinhibit_modification_hooks;
d311d28c 3342extern void move_gap_both (ptrdiff_t, ptrdiff_t);
845ca893 3343extern _Noreturn void buffer_overflow (void);
d311d28c 3344extern void make_gap (ptrdiff_t);
eefd7278 3345extern void make_gap_1 (struct buffer *, ptrdiff_t);
d311d28c 3346extern ptrdiff_t copy_text (const unsigned char *, unsigned char *,
a08d4ba7 3347 ptrdiff_t, bool, bool);
ae19ba7c 3348extern int count_combining_before (const unsigned char *,
d311d28c 3349 ptrdiff_t, ptrdiff_t, ptrdiff_t);
ae19ba7c 3350extern int count_combining_after (const unsigned char *,
d311d28c
PE
3351 ptrdiff_t, ptrdiff_t, ptrdiff_t);
3352extern void insert (const char *, ptrdiff_t);
3353extern void insert_and_inherit (const char *, ptrdiff_t);
d311d28c 3354extern void insert_1_both (const char *, ptrdiff_t, ptrdiff_t,
a08d4ba7 3355 bool, bool, bool);
8a44e6d1 3356extern void insert_from_gap (ptrdiff_t, ptrdiff_t, bool text_at_gap_tail);
d311d28c 3357extern void insert_from_string (Lisp_Object, ptrdiff_t, ptrdiff_t,
a08d4ba7
PE
3358 ptrdiff_t, ptrdiff_t, bool);
3359extern void insert_from_buffer (struct buffer *, ptrdiff_t, ptrdiff_t, bool);
ae19ba7c
SM
3360extern void insert_char (int);
3361extern void insert_string (const char *);
d311d28c
PE
3362extern void insert_before_markers (const char *, ptrdiff_t);
3363extern void insert_before_markers_and_inherit (const char *, ptrdiff_t);
3364extern void insert_from_string_before_markers (Lisp_Object, ptrdiff_t,
3365 ptrdiff_t, ptrdiff_t,
a08d4ba7 3366 ptrdiff_t, bool);
d311d28c 3367extern void del_range (ptrdiff_t, ptrdiff_t);
a08d4ba7
PE
3368extern Lisp_Object del_range_1 (ptrdiff_t, ptrdiff_t, bool, bool);
3369extern void del_range_byte (ptrdiff_t, ptrdiff_t, bool);
3370extern void del_range_both (ptrdiff_t, ptrdiff_t, ptrdiff_t, ptrdiff_t, bool);
d311d28c 3371extern Lisp_Object del_range_2 (ptrdiff_t, ptrdiff_t,
a08d4ba7 3372 ptrdiff_t, ptrdiff_t, bool);
00012b86 3373extern void modify_text (ptrdiff_t, ptrdiff_t);
d311d28c 3374extern void prepare_to_modify_buffer (ptrdiff_t, ptrdiff_t, ptrdiff_t *);
00012b86 3375extern void prepare_to_modify_buffer_1 (ptrdiff_t, ptrdiff_t, ptrdiff_t *);
d311d28c
PE
3376extern void signal_after_change (ptrdiff_t, ptrdiff_t, ptrdiff_t);
3377extern void adjust_after_insert (ptrdiff_t, ptrdiff_t, ptrdiff_t,
3378 ptrdiff_t, ptrdiff_t);
3379extern void adjust_markers_for_delete (ptrdiff_t, ptrdiff_t,
3380 ptrdiff_t, ptrdiff_t);
a08d4ba7 3381extern void replace_range (ptrdiff_t, ptrdiff_t, Lisp_Object, bool, bool, bool);
d311d28c 3382extern void replace_range_2 (ptrdiff_t, ptrdiff_t, ptrdiff_t, ptrdiff_t,
a08d4ba7 3383 const char *, ptrdiff_t, ptrdiff_t, bool);
ae19ba7c 3384extern void syms_of_insdel (void);
c98adc1b 3385
e7032e7c 3386/* Defined in dispnew.c. */
9e4bf381
PE
3387#if (defined PROFILING \
3388 && (defined __FreeBSD__ || defined GNU_LINUX || defined __MINGW32__))
845ca893 3389_Noreturn void __executable_start (void);
9e4bf381 3390#endif
37b793e6 3391extern Lisp_Object selected_frame;
7684e57b 3392extern Lisp_Object Vwindow_system;
59ea14cd 3393extern Lisp_Object sit_for (Lisp_Object, bool, int);
383e0970
J
3394extern void init_display (void);
3395extern void syms_of_display (void);
1747fb16 3396
e7032e7c 3397/* Defined in xdisp.c. */
c6ae41f3 3398extern Lisp_Object Qinhibit_point_motion_hooks;
016c7a15 3399extern Lisp_Object Qinhibit_redisplay, Qdisplay;
99f3388e 3400extern Lisp_Object Qmenu_bar_update_hook;
29208e82 3401extern Lisp_Object Qwindow_scroll_functions;
99f3388e 3402extern Lisp_Object Qoverriding_local_map, Qoverriding_terminal_local_map;
8a52f00a 3403extern Lisp_Object Qimage, Qtext, Qboth, Qboth_horiz, Qtext_image_horiz;
89dc303e 3404extern Lisp_Object Qspace, Qcenter, QCalign_to;
99f3388e
DN
3405extern Lisp_Object Qbar, Qhbar, Qbox, Qhollow;
3406extern Lisp_Object Qleft_margin, Qright_margin;
b932f8b1 3407extern Lisp_Object Qglyphless_char;
89dc303e 3408extern Lisp_Object QCdata, QCfile;
99f3388e 3409extern Lisp_Object QCmap;
e6cba650 3410extern Lisp_Object Qrisky_local_variable;
b932f8b1 3411extern struct frame *last_glyphless_glyph_frame;
d311d28c 3412extern int last_glyphless_glyph_face_id;
b932f8b1 3413extern int last_glyphless_glyph_merged_face_id;
99f3388e 3414extern int noninteractive_need_newline;
986113df 3415extern Lisp_Object echo_area_buffer[2];
89dc303e 3416extern void add_to_log (const char *, Lisp_Object, Lisp_Object);
383e0970
J
3417extern void check_message_stack (void);
3418extern void setup_echo_area_for_printing (int);
fce31d69 3419extern bool push_message (void);
27e498e6 3420extern void pop_message_unwind (void);
383e0970 3421extern Lisp_Object restore_message_unwind (Lisp_Object);
383e0970
J
3422extern void restore_message (void);
3423extern Lisp_Object current_message (void);
383e0970 3424extern void clear_message (int, int);
1e973bc7 3425extern void message (const char *, ...) ATTRIBUTE_FORMAT_PRINTF (1, 2);
a8fe7202
AS
3426extern void message1 (const char *);
3427extern void message1_nolog (const char *);
b09cca6a
SM
3428extern void message3 (Lisp_Object);
3429extern void message3_nolog (Lisp_Object);
0063fdb1 3430extern void message_dolog (const char *, ptrdiff_t, bool, bool);
a8fe7202 3431extern void message_with_string (const char *, Lisp_Object, int);
383e0970
J
3432extern void message_log_maybe_newline (void);
3433extern void update_echo_area (void);
d311d28c 3434extern void truncate_echo_area (ptrdiff_t);
383e0970 3435extern void redisplay (void);
383e0970
J
3436extern void redisplay_preserve_echo_area (int);
3437extern void prepare_menu_bars (void);
c4bf5bc3 3438
383e0970
J
3439void set_frame_cursor_types (struct frame *, Lisp_Object);
3440extern void syms_of_xdisp (void);
3441extern void init_xdisp (void);
3442extern Lisp_Object safe_eval (Lisp_Object);
d311d28c 3443extern int pos_visible_p (struct window *, ptrdiff_t, int *,
383e0970 3444 int *, int *, int *, int *, int *);
c98adc1b 3445
e7032e7c 3446/* Defined in xsettings.c. */
383e0970 3447extern void syms_of_xsettings (void);
637fa988 3448
15b0ced5 3449/* Defined in vm-limit.c. */
261cb4bb 3450extern void memory_warnings (void *, void (*warnfun) (const char *));
9043c90a 3451
e7032e7c 3452/* Defined in alloc.c. */
383e0970 3453extern void check_pure_size (void);
73ebd38f 3454extern void free_misc (Lisp_Object);
413d18e7 3455extern void allocate_string_data (struct Lisp_String *, EMACS_INT, EMACS_INT);
a8fe7202 3456extern void malloc_warning (const char *);
845ca893
PE
3457extern _Noreturn void memory_full (size_t);
3458extern _Noreturn void buffer_memory_full (ptrdiff_t);
fce31d69 3459extern bool survives_gc_p (Lisp_Object);
383e0970 3460extern void mark_object (Lisp_Object);
69003fd8 3461#if defined REL_ALLOC && !defined SYSTEM_MALLOC
84dfc8a7 3462extern void refill_memory_reserve (void);
69003fd8 3463#endif
50c77428 3464extern const char *pending_malloc_warning;
9730daca 3465extern Lisp_Object zero_vector;
89dc303e 3466extern Lisp_Object *stack_base;
dac616ff
DA
3467extern EMACS_INT consing_since_gc;
3468extern EMACS_INT gc_relative_threshold;
3469extern EMACS_INT memory_full_cons_threshold;
2f7c71a1
AS
3470extern Lisp_Object list1 (Lisp_Object);
3471extern Lisp_Object list2 (Lisp_Object, Lisp_Object);
3472extern Lisp_Object list3 (Lisp_Object, Lisp_Object, Lisp_Object);
3473extern Lisp_Object list4 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
3474extern Lisp_Object list5 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object,
3475 Lisp_Object);
3438fe21 3476enum constype {CONSTYPE_HEAP, CONSTYPE_PURE};
694b6c97 3477extern Lisp_Object listn (enum constype, ptrdiff_t, Lisp_Object, ...);
3de717bd
DA
3478
3479/* Build a frequently used 2/3/4-integer lists. */
3480
3481LISP_INLINE Lisp_Object
3482list2i (EMACS_INT x, EMACS_INT y)
3483{
3484 return list2 (make_number (x), make_number (y));
3485}
3486
3487LISP_INLINE Lisp_Object
3488list3i (EMACS_INT x, EMACS_INT y, EMACS_INT w)
3489{
3490 return list3 (make_number (x), make_number (y), make_number (w));
3491}
3492
3493LISP_INLINE Lisp_Object
3494list4i (EMACS_INT x, EMACS_INT y, EMACS_INT w, EMACS_INT h)
3495{
3496 return list4 (make_number (x), make_number (y),
3497 make_number (w), make_number (h));
3498}
3499
845ca893 3500extern _Noreturn void string_overflow (void);
d311d28c 3501extern Lisp_Object make_string (const char *, ptrdiff_t);
26bccfae
PE
3502extern Lisp_Object make_formatted_string (char *, const char *, ...)
3503 ATTRIBUTE_FORMAT_PRINTF (2, 3);
d311d28c 3504extern Lisp_Object make_unibyte_string (const char *, ptrdiff_t);
d7ea76b4
DA
3505
3506/* Make unibyte string from C string when the length isn't known. */
3507
f162bcc3 3508LISP_INLINE Lisp_Object
d7ea76b4
DA
3509build_unibyte_string (const char *str)
3510{
3511 return make_unibyte_string (str, strlen (str));
3512}
3513
d311d28c 3514extern Lisp_Object make_multibyte_string (const char *, ptrdiff_t, ptrdiff_t);
383e0970 3515extern Lisp_Object make_event_array (int, Lisp_Object *);
413d18e7
EZ
3516extern Lisp_Object make_uninit_string (EMACS_INT);
3517extern Lisp_Object make_uninit_multibyte_string (EMACS_INT, EMACS_INT);
d311d28c 3518extern Lisp_Object make_string_from_bytes (const char *, ptrdiff_t, ptrdiff_t);
14162469 3519extern Lisp_Object make_specified_string (const char *,
fce31d69
PE
3520 ptrdiff_t, ptrdiff_t, bool);
3521extern Lisp_Object make_pure_string (const char *, ptrdiff_t, ptrdiff_t, bool);
2a0213a6
DA
3522extern Lisp_Object make_pure_c_string (const char *, ptrdiff_t);
3523
3524/* Make a string allocated in pure space, use STR as string data. */
3525
f162bcc3 3526LISP_INLINE Lisp_Object
2a0213a6
DA
3527build_pure_c_string (const char *str)
3528{
3529 return make_pure_c_string (str, strlen (str));
3530}
1130ecfc
DA
3531
3532/* Make a string from the data at STR, treating it as multibyte if the
3533 data warrants. */
3534
f162bcc3 3535LISP_INLINE Lisp_Object
1130ecfc
DA
3536build_string (const char *str)
3537{
3538 return make_string (str, strlen (str));
3539}
3540
383e0970 3541extern Lisp_Object pure_cons (Lisp_Object, Lisp_Object);
3017f87f 3542extern void make_byte_code (struct Lisp_Vector *);
3d80c99f 3543extern Lisp_Object Qautomatic_gc;
7f73dc9d 3544extern Lisp_Object Qchar_table_extra_slots;
383e0970 3545extern struct Lisp_Vector *allocate_vector (EMACS_INT);
25721f5b 3546
8b17a8b9 3547/* Make an uninitialized vector for SIZE objects. NOTE: you must
25721f5b
DA
3548 be sure that GC cannot happen until the vector is completely
3549 initialized. E.g. the following code is likely to crash:
3550
3551 v = make_uninit_vector (3);
3552 ASET (v, 0, obj0);
3553 ASET (v, 1, Ffunction_can_gc ());
3554 ASET (v, 2, obj1); */
3555
3556LISP_INLINE Lisp_Object
3557make_uninit_vector (ptrdiff_t size)
3558{
3559 Lisp_Object v;
3560 struct Lisp_Vector *p;
3561
3562 p = allocate_vector (size);
3563 XSETVECTOR (v, p);
3564 return v;
3565}
3566
914adc42 3567extern struct Lisp_Vector *allocate_pseudovector (int, int, enum pvec_type);
30f95089
SM
3568#define ALLOCATE_PSEUDOVECTOR(typ,field,tag) \
3569 ((typ*) \
3570 allocate_pseudovector \
3571 (VECSIZE (typ), PSEUDOVECSIZE (typ, field), tag))
383e0970
J
3572extern struct Lisp_Hash_Table *allocate_hash_table (void);
3573extern struct window *allocate_window (void);
3574extern struct frame *allocate_frame (void);
3575extern struct Lisp_Process *allocate_process (void);
3576extern struct terminal *allocate_terminal (void);
fce31d69
PE
3577extern bool gc_in_progress;
3578extern bool abort_on_gc;
383e0970
J
3579extern Lisp_Object make_float (double);
3580extern void display_malloc_warning (void);
d311d28c 3581extern ptrdiff_t inhibit_garbage_collection (void);
1396ac86
PE
3582extern Lisp_Object make_save_int_int_int (ptrdiff_t, ptrdiff_t, ptrdiff_t);
3583extern Lisp_Object make_save_obj_obj_obj_obj (Lisp_Object, Lisp_Object,
3584 Lisp_Object, Lisp_Object);
3585extern Lisp_Object make_save_ptr (void *);
3586extern Lisp_Object make_save_ptr_int (void *, ptrdiff_t);
3587extern Lisp_Object make_save_ptr_ptr (void *, void *);
3588extern Lisp_Object make_save_funcptr_ptr_obj (void (*) (void), void *,
3589 Lisp_Object);
3590extern Lisp_Object make_save_memory (Lisp_Object *, ptrdiff_t);
27e498e6 3591extern void free_save_value (Lisp_Object);
d7a7fda3 3592extern Lisp_Object build_overlay (Lisp_Object, Lisp_Object, Lisp_Object);
383e0970
J
3593extern void free_marker (Lisp_Object);
3594extern void free_cons (struct Lisp_Cons *);
3595extern void init_alloc_once (void);
3596extern void init_alloc (void);
3597extern void syms_of_alloc (void);
3598extern struct buffer * allocate_buffer (void);
3599extern int valid_lisp_object_p (Lisp_Object);
7e63e0c3
DA
3600#ifdef GC_CHECK_CONS_LIST
3601extern void check_cons_list (void);
3602#else
84575e67 3603LISP_INLINE void (check_cons_list) (void) { lisp_h_check_cons_list (); }
7e63e0c3 3604#endif
3cfe6dfd 3605
a041960a 3606#ifdef REL_ALLOC
e7032e7c 3607/* Defined in ralloc.c. */
a041960a
PE
3608extern void *r_alloc (void **, size_t);
3609extern void r_alloc_free (void **);
3610extern void *r_re_alloc (void **, size_t);
3611extern void r_alloc_reset_variable (void **, void **);
57b81a9f 3612extern void r_alloc_inhibit_buffer_relocation (int);
a041960a
PE
3613#endif
3614
e7032e7c 3615/* Defined in chartab.c. */
383e0970 3616extern Lisp_Object copy_char_table (Lisp_Object);
383e0970
J
3617extern Lisp_Object char_table_ref (Lisp_Object, int);
3618extern Lisp_Object char_table_ref_and_range (Lisp_Object, int,
3619 int *, int *);
e757f1c6
PE
3620extern void char_table_set (Lisp_Object, int, Lisp_Object);
3621extern void char_table_set_range (Lisp_Object, int, int, Lisp_Object);
383e0970
J
3622extern int char_table_translate (Lisp_Object, int);
3623extern void map_char_table (void (*) (Lisp_Object, Lisp_Object,
3624 Lisp_Object),
3625 Lisp_Object, Lisp_Object, Lisp_Object);
e6cba650
DN
3626extern void map_char_table_for_charset (void (*c_function) (Lisp_Object, Lisp_Object),
3627 Lisp_Object, Lisp_Object,
3628 Lisp_Object, struct charset *,
3629 unsigned, unsigned);
5cc7f7af 3630extern Lisp_Object uniprop_table (Lisp_Object);
383e0970 3631extern void syms_of_chartab (void);
1842abb2 3632
e7032e7c 3633/* Defined in print.c. */
3cfe6dfd 3634extern Lisp_Object Vprin1_to_string_buffer;
42c8bc9b 3635extern void debug_print (Lisp_Object) EXTERNALLY_VISIBLE;
29208e82 3636extern Lisp_Object Qstandard_output;
9453ea7b 3637extern Lisp_Object Qexternal_debugging_output;
383e0970 3638extern void temp_output_buffer_setup (const char *);
29208e82 3639extern int print_level;
3cfe6dfd 3640extern Lisp_Object Qprint_escape_newlines;
a8fe7202 3641extern void write_string (const char *, int);
a8fe7202
AS
3642extern void print_error_message (Lisp_Object, Lisp_Object, const char *,
3643 Lisp_Object);
526a2be7 3644extern Lisp_Object internal_with_output_to_temp_buffer
383e0970 3645 (const char *, Lisp_Object (*) (Lisp_Object), Lisp_Object);
03a660a6 3646enum FLOAT_TO_STRING_BUFSIZE { FLOAT_TO_STRING_BUFSIZE = 350 };
99027bdd 3647extern int float_to_string (char *, double);
cf4bb06d 3648extern void init_print_once (void);
383e0970 3649extern void syms_of_print (void);
526a2be7 3650
e7032e7c 3651/* Defined in doprnt.c. */
c2d1e36d
PE
3652extern ptrdiff_t doprnt (char *, ptrdiff_t, const char *, const char *,
3653 va_list);
62f19c19
PE
3654extern ptrdiff_t esprintf (char *, char const *, ...)
3655 ATTRIBUTE_FORMAT_PRINTF (2, 3);
62f19c19
PE
3656extern ptrdiff_t exprintf (char **, ptrdiff_t *, char const *, ptrdiff_t,
3657 char const *, ...)
3658 ATTRIBUTE_FORMAT_PRINTF (5, 6);
3659extern ptrdiff_t evxprintf (char **, ptrdiff_t *, char const *, ptrdiff_t,
3660 char const *, va_list)
3661 ATTRIBUTE_FORMAT_PRINTF (5, 0);
e6c3da20 3662
ea6c7ae6 3663/* Defined in lread.c. */
3cfe6dfd 3664extern Lisp_Object Qvariable_documentation, Qstandard_input;
99f3388e 3665extern Lisp_Object Qbackquote, Qcomma, Qcomma_at, Qcomma_dot, Qfunction;
a411ac43 3666extern Lisp_Object Qlexical_binding;
383e0970 3667extern Lisp_Object check_obarray (Lisp_Object);
e8df9267
DA
3668extern Lisp_Object intern_1 (const char *, ptrdiff_t);
3669extern Lisp_Object intern_c_string_1 (const char *, ptrdiff_t);
d311d28c 3670extern Lisp_Object oblookup (Lisp_Object, const char *, ptrdiff_t, ptrdiff_t);
84575e67
PE
3671LISP_INLINE void
3672LOADHIST_ATTACH (Lisp_Object x)
3673{
3674 if (initialized)
3675 Vcurrent_load_list = Fcons (x, Vcurrent_load_list);
3676}
383e0970
J
3677extern int openp (Lisp_Object, Lisp_Object, Lisp_Object,
3678 Lisp_Object *, Lisp_Object);
7cded46f 3679extern Lisp_Object string_to_number (char const *, int, bool);
383e0970
J
3680extern void map_obarray (Lisp_Object, void (*) (Lisp_Object, Lisp_Object),
3681 Lisp_Object);
a8fe7202 3682extern void dir_warning (const char *, Lisp_Object);
383e0970
J
3683extern void init_obarray (void);
3684extern void init_lread (void);
3685extern void syms_of_lread (void);
3cfe6dfd 3686
f162bcc3 3687LISP_INLINE Lisp_Object
e8df9267
DA
3688intern (const char *str)
3689{
3690 return intern_1 (str, strlen (str));
3691}
3692
f162bcc3 3693LISP_INLINE Lisp_Object
e8df9267
DA
3694intern_c_string (const char *str)
3695{
3696 return intern_c_string_1 (str, strlen (str));
3697}
3698
f6d62986 3699/* Defined in eval.c. */
61b108cc 3700extern Lisp_Object Qautoload, Qexit, Qinteractive, Qcommandp, Qmacro;
a411ac43 3701extern Lisp_Object Qinhibit_quit, Qinternal_interpreter_environment, Qclosure;
955cbe7b 3702extern Lisp_Object Qand_rest;
3cfe6dfd 3703extern Lisp_Object Vautoload_queue;
fab88cb7 3704extern Lisp_Object Vsignaling_function;
d1f55f16 3705extern Lisp_Object inhibit_lisp_code;
244ed907
PE
3706#if BYTE_MARK_STACK
3707extern struct catchtag *catchlist;
3708extern struct handler *handlerlist;
3709#endif
f1b6e5fc
SM
3710/* To run a normal hook, use the appropriate function from the list below.
3711 The calling convention:
3712
846d69ac 3713 if (!NILP (Vrun_hooks))
f1b6e5fc
SM
3714 call1 (Vrun_hooks, Qmy_funny_hook);
3715
3716 should no longer be used. */
3cfe6dfd 3717extern Lisp_Object Vrun_hooks;
383e0970 3718extern void run_hook_with_args_2 (Lisp_Object, Lisp_Object, Lisp_Object);
f66c7cf8 3719extern Lisp_Object run_hook_with_args (ptrdiff_t nargs, Lisp_Object *args,
f6d62986 3720 Lisp_Object (*funcall)
f66c7cf8 3721 (ptrdiff_t nargs, Lisp_Object *args));
845ca893
PE
3722extern _Noreturn void xsignal (Lisp_Object, Lisp_Object);
3723extern _Noreturn void xsignal0 (Lisp_Object);
3724extern _Noreturn void xsignal1 (Lisp_Object, Lisp_Object);
3725extern _Noreturn void xsignal2 (Lisp_Object, Lisp_Object, Lisp_Object);
3726extern _Noreturn void xsignal3 (Lisp_Object, Lisp_Object, Lisp_Object,
3727 Lisp_Object);
3728extern _Noreturn void signal_error (const char *, Lisp_Object);
defb1411 3729extern Lisp_Object eval_sub (Lisp_Object form);
383e0970
J
3730extern Lisp_Object apply1 (Lisp_Object, Lisp_Object);
3731extern Lisp_Object call0 (Lisp_Object);
3732extern Lisp_Object call1 (Lisp_Object, Lisp_Object);
3733extern Lisp_Object call2 (Lisp_Object, Lisp_Object, Lisp_Object);
3734extern Lisp_Object call3 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
3735extern Lisp_Object call4 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
3736extern Lisp_Object call5 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
3737extern Lisp_Object call6 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
3738extern Lisp_Object call7 (Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object);
383e0970
J
3739extern Lisp_Object internal_catch (Lisp_Object, Lisp_Object (*) (Lisp_Object), Lisp_Object);
3740extern Lisp_Object internal_lisp_condition_case (Lisp_Object, Lisp_Object, Lisp_Object);
3741extern Lisp_Object internal_condition_case (Lisp_Object (*) (void), Lisp_Object, Lisp_Object (*) (Lisp_Object));
3742extern Lisp_Object internal_condition_case_1 (Lisp_Object (*) (Lisp_Object), Lisp_Object, Lisp_Object, Lisp_Object (*) (Lisp_Object));
3743extern Lisp_Object internal_condition_case_2 (Lisp_Object (*) (Lisp_Object, Lisp_Object), Lisp_Object, Lisp_Object, Lisp_Object, Lisp_Object (*) (Lisp_Object));
cc92c454
SM
3744extern Lisp_Object internal_condition_case_n
3745 (Lisp_Object (*) (ptrdiff_t, Lisp_Object *), ptrdiff_t, Lisp_Object *,
3746 Lisp_Object, Lisp_Object (*) (Lisp_Object, ptrdiff_t, Lisp_Object *));
383e0970 3747extern void specbind (Lisp_Object, Lisp_Object);
27e498e6 3748extern void record_unwind_protect (void (*) (Lisp_Object), Lisp_Object);
27e498e6 3749extern void record_unwind_protect_ptr (void (*) (void *), void *);
94fcd171 3750extern void record_unwind_protect_int (void (*) (int), int);
27e498e6 3751extern void record_unwind_protect_void (void (*) (void));
f4b1eb36 3752extern void record_unwind_protect_nothing (void);
a0931322 3753extern void clear_unwind_protect (ptrdiff_t);
94fcd171 3754extern void set_unwind_protect (ptrdiff_t, void (*) (Lisp_Object), Lisp_Object);
a0931322 3755extern void set_unwind_protect_ptr (ptrdiff_t, void (*) (void *), void *);
d311d28c 3756extern Lisp_Object unbind_to (ptrdiff_t, Lisp_Object);
845ca893
PE
3757extern _Noreturn void error (const char *, ...) ATTRIBUTE_FORMAT_PRINTF (1, 2);
3758extern _Noreturn void verror (const char *, va_list)
3759 ATTRIBUTE_FORMAT_PRINTF (1, 0);
27e498e6 3760extern void un_autoload (Lisp_Object);
7f7e0167 3761extern Lisp_Object call_debugger (Lisp_Object arg);
383e0970 3762extern void init_eval_once (void);
6cd7a139 3763extern Lisp_Object safe_call (ptrdiff_t, Lisp_Object, ...);
383e0970 3764extern Lisp_Object safe_call1 (Lisp_Object, Lisp_Object);
58555d81 3765extern Lisp_Object safe_call2 (Lisp_Object, Lisp_Object, Lisp_Object);
383e0970
J
3766extern void init_eval (void);
3767extern void syms_of_eval (void);
27e498e6 3768extern void unwind_body (Lisp_Object);
2f592f95
SM
3769extern void record_in_backtrace (Lisp_Object function,
3770 Lisp_Object *args, ptrdiff_t nargs);
3771extern void mark_specpdl (void);
3772extern void get_backtrace (Lisp_Object array);
3773Lisp_Object backtrace_top_function (void);
3774extern bool let_shadows_buffer_binding_p (struct Lisp_Symbol *symbol);
3775extern bool let_shadows_global_binding_p (Lisp_Object symbol);
3776
3cfe6dfd 3777
7abaf5cc 3778/* Defined in editfns.c. */
e6cba650 3779extern Lisp_Object Qfield;
383e0970 3780extern void insert1 (Lisp_Object);
a8fe7202 3781extern Lisp_Object format2 (const char *, Lisp_Object, Lisp_Object);
383e0970
J
3782extern Lisp_Object save_excursion_save (void);
3783extern Lisp_Object save_restriction_save (void);
27e498e6
PE
3784extern void save_excursion_restore (Lisp_Object);
3785extern void save_restriction_restore (Lisp_Object);
845ca893 3786extern _Noreturn void time_overflow (void);
a08d4ba7 3787extern Lisp_Object make_buffer_string (ptrdiff_t, ptrdiff_t, bool);
d311d28c 3788extern Lisp_Object make_buffer_string_both (ptrdiff_t, ptrdiff_t, ptrdiff_t,
a08d4ba7 3789 ptrdiff_t, bool);
383e0970
J
3790extern void init_editfns (void);
3791extern void syms_of_editfns (void);
a8fe7202 3792extern void set_time_zone_rule (const char *);
3cfe6dfd 3793
7abaf5cc 3794/* Defined in buffer.c. */
37ef52bb 3795extern bool mouse_face_overlay_overlaps (Lisp_Object);
845ca893 3796extern _Noreturn void nsberror (Lisp_Object);
d311d28c
PE
3797extern void adjust_overlays_for_insert (ptrdiff_t, ptrdiff_t);
3798extern void adjust_overlays_for_delete (ptrdiff_t, ptrdiff_t);
3799extern void fix_start_end_in_overlays (ptrdiff_t, ptrdiff_t);
37ef52bb 3800extern void report_overlay_modification (Lisp_Object, Lisp_Object, bool,
383e0970 3801 Lisp_Object, Lisp_Object, Lisp_Object);
37ef52bb 3802extern bool overlay_touches_p (ptrdiff_t);
9397e56f 3803extern Lisp_Object other_buffer_safely (Lisp_Object);
383e0970 3804extern Lisp_Object get_truename_buffer (Lisp_Object);
383e0970
J
3805extern void init_buffer_once (void);
3806extern void init_buffer (void);
3807extern void syms_of_buffer (void);
3808extern void keys_of_buffer (void);
3cfe6dfd 3809
7abaf5cc 3810/* Defined in marker.c. */
3cfe6dfd 3811
d311d28c
PE
3812extern ptrdiff_t marker_position (Lisp_Object);
3813extern ptrdiff_t marker_byte_position (Lisp_Object);
383e0970 3814extern void clear_charpos_cache (struct buffer *);
d311d28c
PE
3815extern ptrdiff_t buf_charpos_to_bytepos (struct buffer *, ptrdiff_t);
3816extern ptrdiff_t buf_bytepos_to_charpos (struct buffer *, ptrdiff_t);
eeaea515 3817extern void unchain_marker (struct Lisp_Marker *marker);
383e0970 3818extern Lisp_Object set_marker_restricted (Lisp_Object, Lisp_Object, Lisp_Object);
d311d28c 3819extern Lisp_Object set_marker_both (Lisp_Object, Lisp_Object, ptrdiff_t, ptrdiff_t);
383e0970 3820extern Lisp_Object set_marker_restricted_both (Lisp_Object, Lisp_Object,
eeaea515 3821 ptrdiff_t, ptrdiff_t);
657924ff 3822extern Lisp_Object build_marker (struct buffer *, ptrdiff_t, ptrdiff_t);
383e0970 3823extern void syms_of_marker (void);
3cfe6dfd 3824
e7032e7c 3825/* Defined in fileio.c. */
3cfe6dfd
JB
3826
3827extern Lisp_Object Qfile_error;
86dfb7a8 3828extern Lisp_Object Qfile_notify_error;
99f3388e 3829extern Lisp_Object Qfile_exists_p;
e6cba650
DN
3830extern Lisp_Object Qfile_directory_p;
3831extern Lisp_Object Qinsert_file_contents;
7684e57b 3832extern Lisp_Object Qfile_name_history;
383e0970 3833extern Lisp_Object expand_and_dir_to_file (Lisp_Object, Lisp_Object);
94fcd171
PE
3834extern Lisp_Object write_region (Lisp_Object, Lisp_Object, Lisp_Object,
3835 Lisp_Object, Lisp_Object, Lisp_Object,
3836 Lisp_Object, int);
e7032e7c 3837EXFUN (Fread_file_name, 6); /* Not a normal DEFUN. */
27e498e6 3838extern void close_file_unwind (int);
f4b1eb36 3839extern void fclose_unwind (void *);
27e498e6 3840extern void restore_point_unwind (Lisp_Object);
a773ed9a 3841extern _Noreturn void report_file_errno (const char *, Lisp_Object, int);
845ca893 3842extern _Noreturn void report_file_error (const char *, Lisp_Object);
7d80ea23 3843extern bool internal_delete_file (Lisp_Object);
8654f9d7 3844extern Lisp_Object emacs_readlinkat (int, const char *);
73dcdb9f
PE
3845extern bool file_directory_p (const char *);
3846extern bool file_accessible_directory_p (const char *);
9fe43ff6 3847extern void init_fileio (void);
383e0970 3848extern void syms_of_fileio (void);
f75d7a91 3849extern Lisp_Object make_temp_name (Lisp_Object, bool);
b86cfd28 3850extern Lisp_Object Qdelete_file;
bb385a92 3851extern bool check_existing (const char *);
3cfe6dfd 3852
e7032e7c 3853/* Defined in search.c. */
383e0970 3854extern void shrink_regexp_cache (void);
383e0970 3855extern void restore_search_regs (void);
383e0970 3856extern void record_unwind_save_match_data (void);
dbd37a95
PE
3857struct re_registers;
3858extern struct re_pattern_buffer *compile_pattern (Lisp_Object,
3859 struct re_registers *,
457882c2 3860 Lisp_Object, bool, bool);
d311d28c 3861extern ptrdiff_t fast_string_match (Lisp_Object, Lisp_Object);
d923b542
DA
3862extern ptrdiff_t fast_c_string_match_ignore_case (Lisp_Object, const char *,
3863 ptrdiff_t);
d311d28c
PE
3864extern ptrdiff_t fast_string_match_ignore_case (Lisp_Object, Lisp_Object);
3865extern ptrdiff_t fast_looking_at (Lisp_Object, ptrdiff_t, ptrdiff_t,
3866 ptrdiff_t, ptrdiff_t, Lisp_Object);
b5426561
DA
3867extern ptrdiff_t find_newline (ptrdiff_t, ptrdiff_t, ptrdiff_t, ptrdiff_t,
3868 ptrdiff_t, ptrdiff_t *, ptrdiff_t *, bool);
d311d28c 3869extern EMACS_INT scan_newline (ptrdiff_t, ptrdiff_t, ptrdiff_t, ptrdiff_t,
9fa1de30 3870 EMACS_INT, bool);
b5426561
DA
3871extern ptrdiff_t find_newline_no_quit (ptrdiff_t, ptrdiff_t,
3872 ptrdiff_t, ptrdiff_t *);
2a14a4f1
DA
3873extern ptrdiff_t find_before_next_newline (ptrdiff_t, ptrdiff_t,
3874 ptrdiff_t, ptrdiff_t *);
383e0970
J
3875extern void syms_of_search (void);
3876extern void clear_regexp_cache (void);
3cfe6dfd 3877
464d5a5e 3878/* Defined in minibuf.c. */
3cfe6dfd 3879
e6cba650 3880extern Lisp_Object Qcompletion_ignore_case;
99f3388e 3881extern Lisp_Object Vminibuffer_list;
3cfe6dfd 3882extern Lisp_Object last_minibuf_string;
62f19c19 3883extern Lisp_Object get_minibuffer (EMACS_INT);
383e0970
J
3884extern void init_minibuf_once (void);
3885extern void syms_of_minibuf (void);
3cfe6dfd 3886
464d5a5e 3887/* Defined in callint.c. */
3cfe6dfd 3888
29208e82 3889extern Lisp_Object Qminus, Qplus;
99f3388e 3890extern Lisp_Object Qwhen;
6e65b9cc 3891extern Lisp_Object Qmouse_leave_buffer_hook;
383e0970 3892extern void syms_of_callint (void);
3cfe6dfd 3893
464d5a5e 3894/* Defined in casefiddle.c. */
3cfe6dfd 3895
99f3388e 3896extern Lisp_Object Qidentity;
383e0970
J
3897extern void syms_of_casefiddle (void);
3898extern void keys_of_casefiddle (void);
3cfe6dfd 3899
464d5a5e 3900/* Defined in casetab.c. */
1747fb16 3901
383e0970
J
3902extern void init_casetab_once (void);
3903extern void syms_of_casetab (void);
1747fb16 3904
464d5a5e 3905/* Defined in keyboard.c. */
3cfe6dfd 3906
54cd1651 3907extern Lisp_Object echo_message_buffer;
417750de 3908extern struct kboard *echo_kboard;
383e0970 3909extern void cancel_echoing (void);
1425dcb6 3910extern Lisp_Object Qdisabled, QCfilter;
955cbe7b
PE
3911extern Lisp_Object Qup, Qdown, Qbottom;
3912extern Lisp_Object Qtop;
464d5a5e 3913extern Lisp_Object last_undo_boundary;
9fa1de30 3914extern bool input_pending;
383e0970
J
3915extern Lisp_Object menu_bar_items (Lisp_Object);
3916extern Lisp_Object tool_bar_items (Lisp_Object, int *);
383e0970 3917extern void discard_mouse_events (void);
4d7e6e51
PE
3918#ifdef USABLE_SIGIO
3919void handle_input_available_signal (int);
3920#endif
58555d81 3921extern Lisp_Object pending_funcalls;
9fa1de30
PE
3922extern bool detect_input_pending (void);
3923extern bool detect_input_pending_ignore_squeezables (void);
3924extern bool detect_input_pending_run_timers (bool);
383e0970 3925extern void safe_run_hooks (Lisp_Object);
a8fe7202 3926extern void cmd_error_internal (Lisp_Object, const char *);
383e0970
J
3927extern Lisp_Object command_loop_1 (void);
3928extern Lisp_Object recursive_edit_1 (void);
3929extern void record_auto_save (void);
4752793e 3930extern void force_auto_save_soon (void);
383e0970
J
3931extern void init_keyboard (void);
3932extern void syms_of_keyboard (void);
3933extern void keys_of_keyboard (void);
3cfe6dfd 3934
464d5a5e 3935/* Defined in indent.c. */
d311d28c 3936extern ptrdiff_t current_column (void);
383e0970 3937extern void invalidate_current_column (void);
578098f3 3938extern bool indented_beyond_p (ptrdiff_t, ptrdiff_t, EMACS_INT);
383e0970 3939extern void syms_of_indent (void);
3cfe6dfd 3940
464d5a5e 3941/* Defined in frame.c. */
9fb0c957 3942extern Lisp_Object Qonly, Qnone;
362fb47a 3943extern Lisp_Object Qvisible;
383e0970
J
3944extern void store_frame_param (struct frame *, Lisp_Object, Lisp_Object);
3945extern void store_in_alist (Lisp_Object *, Lisp_Object, Lisp_Object);
3946extern Lisp_Object do_switch_frame (Lisp_Object, int, int, Lisp_Object);
cf7a0de6 3947#if HAVE_NS || defined WINDOWSNT
383e0970 3948extern Lisp_Object get_frame_param (struct frame *, Lisp_Object);
81626931 3949#endif
383e0970 3950extern void frames_discard_buffer (Lisp_Object);
383e0970 3951extern void syms_of_frame (void);
3cfe6dfd 3952
464d5a5e 3953/* Defined in emacs.c. */
99f3388e
DN
3954extern char **initial_argv;
3955extern int initial_argc;
5e617bc2 3956#if defined (HAVE_X_WINDOWS) || defined (HAVE_NS)
1882aa38 3957extern bool display_arg;
89dc303e 3958#endif
a8fe7202 3959extern Lisp_Object decode_env_path (const char *, const char *);
2c668b9a 3960extern Lisp_Object empty_unibyte_string, empty_multibyte_string;
e6cba650 3961extern Lisp_Object Qfile_name_handler_alist;
4d7e6e51 3962extern _Noreturn void terminate_due_to_signal (int, int);
6c07aac2 3963extern Lisp_Object Qkill_emacs;
aa15c6bb
JB
3964#ifdef WINDOWSNT
3965extern Lisp_Object Vlibrary_cache;
3966#endif
68c45bf0 3967#if HAVE_SETLOCALE
383e0970
J
3968void fixup_locale (void);
3969void synchronize_system_messages_locale (void);
3970void synchronize_system_time_locale (void);
68c45bf0 3971#else
84575e67
PE
3972LISP_INLINE void fixup_locale (void) {}
3973LISP_INLINE void synchronize_system_messages_locale (void) {}
3974LISP_INLINE void synchronize_system_time_locale (void) {}
68c45bf0 3975#endif
1882aa38 3976extern void shut_down_emacs (int, Lisp_Object);
ff808935 3977
1882aa38
PE
3978/* True means don't do interactive redisplay and don't change tty modes. */
3979extern bool noninteractive;
3980
3981/* True means remove site-lisp directories from load-path. */
3982extern bool no_site_lisp;
66b7b0fe 3983
ff808935
DN
3984/* Pipe used to send exit notification to the daemon parent at
3985 startup. */
3986extern int daemon_pipe[2];
3987#define IS_DAEMON (daemon_pipe[1] != 0)
3988
1882aa38
PE
3989/* True if handling a fatal error already. */
3990extern bool fatal_error_in_progress;
3991
3992/* True means don't do use window-system-specific display code. */
3993extern bool inhibit_window_system;
3994/* True means that a filter or a sentinel is running. */
3995extern bool running_asynch_code;
3cfe6dfd 3996
6c60eb9f 3997/* Defined in process.c. */
89dc303e 3998extern Lisp_Object QCtype, Qlocal;
6efad63b 3999extern Lisp_Object Qprocessp;
383e0970 4000extern void kill_buffer_processes (Lisp_Object);
0bce5d9e
PE
4001extern bool wait_reading_process_output (intmax_t, int, int, bool,
4002 Lisp_Object,
4003 struct Lisp_Process *,
4004 int);
f1dd8073
PE
4005/* Max value for the first argument of wait_reading_process_output. */
4006#if __GNUC__ == 3 || (__GNUC__ == 4 && __GNUC_MINOR__ <= 5)
4007/* Work around a bug in GCC 3.4.2, known to be fixed in GCC 4.6.3.
4008 The bug merely causes a bogus warning, but the warning is annoying. */
4009# define WAIT_READING_MAX min (TYPE_MAXIMUM (time_t), INTMAX_MAX)
4010#else
4011# define WAIT_READING_MAX INTMAX_MAX
4012#endif
383e0970
J
4013extern void add_keyboard_wait_descriptor (int);
4014extern void delete_keyboard_wait_descriptor (int);
4475bec4 4015#ifdef HAVE_GPM
383e0970
J
4016extern void add_gpm_wait_descriptor (int);
4017extern void delete_gpm_wait_descriptor (int);
4475bec4 4018#endif
b82da769 4019extern void init_process_emacs (void);
383e0970
J
4020extern void syms_of_process (void);
4021extern void setup_process_coding_systems (Lisp_Object);
3cfe6dfd 4022
4ebbdd67 4023/* Defined in callproc.c. */
6bd8c144 4024#ifndef DOS_NT
845ca893 4025 _Noreturn
6bd8c144 4026#endif
2f221583 4027extern int child_setup (int, int, int, char **, bool, Lisp_Object);
383e0970
J
4028extern void init_callproc_1 (void);
4029extern void init_callproc (void);
4030extern void set_initial_environment (void);
4031extern void syms_of_callproc (void);
3cfe6dfd 4032
e7032e7c 4033/* Defined in doc.c. */
99f3388e 4034extern Lisp_Object Qfunction_documentation;
383e0970 4035extern Lisp_Object read_doc_string (Lisp_Object);
a08d4ba7 4036extern Lisp_Object get_doc_string (Lisp_Object, bool, bool);
383e0970 4037extern void syms_of_doc (void);
a08d4ba7 4038extern int read_bytecode_char (bool);
3cfe6dfd 4039
e7032e7c 4040/* Defined in bytecode.c. */
383e0970 4041extern void syms_of_bytecode (void);
35c7a974 4042extern struct byte_stack *byte_stack_list;
244ed907 4043#if BYTE_MARK_STACK
383e0970 4044extern void mark_byte_stack (void);
b286858c 4045#endif
383e0970 4046extern void unmark_byte_stack (void);
0ee81a0c 4047extern Lisp_Object exec_byte_code (Lisp_Object, Lisp_Object, Lisp_Object,
f66c7cf8 4048 Lisp_Object, ptrdiff_t, Lisp_Object *);
3cfe6dfd 4049
e7032e7c 4050/* Defined in macros.c. */
383e0970
J
4051extern void init_macros (void);
4052extern void syms_of_macros (void);
3cfe6dfd 4053
e7032e7c 4054/* Defined in undo.c. */
89dc303e 4055extern Lisp_Object Qapply;
a387611b 4056extern Lisp_Object Qinhibit_read_only;
383e0970 4057extern void truncate_undo_list (struct buffer *);
d311d28c
PE
4058extern void record_marker_adjustment (Lisp_Object, ptrdiff_t);
4059extern void record_insert (ptrdiff_t, ptrdiff_t);
4060extern void record_delete (ptrdiff_t, Lisp_Object);
383e0970 4061extern void record_first_change (void);
d311d28c
PE
4062extern void record_change (ptrdiff_t, ptrdiff_t);
4063extern void record_property_change (ptrdiff_t, ptrdiff_t,
c8a66ab8 4064 Lisp_Object, Lisp_Object,
383e0970
J
4065 Lisp_Object);
4066extern void syms_of_undo (void);
e7032e7c 4067/* Defined in textprop.c. */
5f6bf5fe 4068extern Lisp_Object Qfont, Qmouse_face;
c2d8811c 4069extern Lisp_Object Qinsert_in_front_hooks, Qinsert_behind_hooks;
e6cba650
DN
4070extern Lisp_Object Qfront_sticky, Qrear_nonsticky;
4071extern Lisp_Object Qminibuffer_prompt;
4072
383e0970 4073extern void report_interval_modification (Lisp_Object, Lisp_Object);
8537f1cb 4074
e7032e7c 4075/* Defined in menu.c. */
383e0970 4076extern void syms_of_menu (void);
febcacdd 4077
e7032e7c 4078/* Defined in xmenu.c. */
383e0970 4079extern void syms_of_xmenu (void);
526a2be7 4080
e7032e7c 4081/* Defined in termchar.h. */
28d7d09f
KL
4082struct tty_display_info;
4083
e7032e7c 4084/* Defined in termhooks.h. */
6ed8eeff 4085struct terminal;
28d440ab 4086
e7032e7c 4087/* Defined in sysdep.c. */
2412f586 4088#ifndef HAVE_GET_CURRENT_DIR_NAME
383e0970 4089extern char *get_current_dir_name (void);
2b94e598 4090#endif
383e0970 4091extern void stuff_char (char c);
322aea6d 4092extern void init_foreground_group (void);
383e0970
J
4093extern void init_sigio (int);
4094extern void sys_subshell (void);
4095extern void sys_suspend (void);
4096extern void discard_tty_input (void);
b8956427
PE
4097extern void block_tty_out_signal (void);
4098extern void unblock_tty_out_signal (void);
383e0970
J
4099extern void init_sys_modes (struct tty_display_info *);
4100extern void reset_sys_modes (struct tty_display_info *);
4101extern void init_all_sys_modes (void);
4102extern void reset_all_sys_modes (void);
5994c183 4103extern void flush_pending_output (int) ATTRIBUTE_CONST;
383e0970
J
4104extern void child_setup_tty (int);
4105extern void setup_pty (int);
4106extern int set_window_size (int, int, int);
ede49d71 4107extern EMACS_INT get_random (void);
0e23ef9d
PE
4108extern void seed_random (void *, ptrdiff_t);
4109extern void init_random (void);
cf29dd84 4110extern void emacs_backtrace (int);
1088b922 4111extern _Noreturn void emacs_abort (void) NO_INLINE;
383e0970 4112extern int emacs_open (const char *, int, int);
c7ddc792 4113extern int emacs_pipe (int[2]);
383e0970 4114extern int emacs_close (int);
d311d28c
PE
4115extern ptrdiff_t emacs_read (int, char *, ptrdiff_t);
4116extern ptrdiff_t emacs_write (int, const char *, ptrdiff_t);
4ebbdd67
PE
4117extern ptrdiff_t emacs_write_sig (int, char const *, ptrdiff_t);
4118extern void emacs_perror (char const *);
526a2be7 4119
383e0970
J
4120extern void unlock_all_files (void);
4121extern void lock_file (Lisp_Object);
4122extern void unlock_file (Lisp_Object);
4123extern void unlock_buffer (struct buffer *);
4124extern void syms_of_filelock (void);
15b0ced5 4125
e7032e7c 4126/* Defined in sound.c. */
383e0970 4127extern void syms_of_sound (void);
46abf440 4128
e7032e7c 4129/* Defined in category.c. */
383e0970
J
4130extern void init_category_once (void);
4131extern Lisp_Object char_category_set (int);
4132extern void syms_of_category (void);
46abf440 4133
e7032e7c 4134/* Defined in ccl.c. */
383e0970 4135extern void syms_of_ccl (void);
46abf440 4136
e7032e7c 4137/* Defined in dired.c. */
383e0970
J
4138extern void syms_of_dired (void);
4139extern Lisp_Object directory_files_internal (Lisp_Object, Lisp_Object,
4140 Lisp_Object, Lisp_Object,
86ec63ba 4141 bool, Lisp_Object);
46abf440 4142
e7032e7c 4143/* Defined in term.c. */
e6cba650 4144extern int *char_ins_del_vector;
383e0970 4145extern void syms_of_term (void);
845ca893
PE
4146extern _Noreturn void fatal (const char *msgid, ...)
4147 ATTRIBUTE_FORMAT_PRINTF (1, 2);
46abf440 4148
e7032e7c 4149/* Defined in terminal.c. */
383e0970 4150extern void syms_of_terminal (void);
ed8dad6b 4151
e7032e7c 4152/* Defined in font.c. */
383e0970
J
4153extern void syms_of_font (void);
4154extern void init_font (void);
b86cfd28 4155
4f48f1ab 4156#ifdef HAVE_WINDOW_SYSTEM
e7032e7c 4157/* Defined in fontset.c. */
383e0970 4158extern void syms_of_fontset (void);
4f48f1ab 4159
e7032e7c 4160/* Defined in xfns.c, w32fns.c, or macfns.c. */
99f3388e 4161extern Lisp_Object Qfont_param;
46abf440
AS
4162#endif
4163
c9628c79
MA
4164/* Defined in gfilenotify.c */
4165#ifdef HAVE_GFILENOTIFY
90db8702 4166extern void globals_of_gfilenotify (void);
c9628c79 4167extern void syms_of_gfilenotify (void);
477f1e50
EZ
4168#endif
4169
81606b10
RS
4170/* Defined in inotify.c */
4171#ifdef HAVE_INOTIFY
4172extern void syms_of_inotify (void);
4173#endif
4174
c9628c79
MA
4175#ifdef HAVE_W32NOTIFY
4176/* Defined on w32notify.c. */
4177extern void syms_of_w32notify (void);
4178#endif
4179
e7032e7c 4180/* Defined in xfaces.c. */
955cbe7b
PE
4181extern Lisp_Object Qdefault, Qtool_bar, Qfringe;
4182extern Lisp_Object Qheader_line, Qscroll_bar, Qcursor;
4183extern Lisp_Object Qmode_line_inactive;
e6cba650 4184extern Lisp_Object Qface;
89dc303e 4185extern Lisp_Object Qnormal;
0e9c8657
JB
4186extern Lisp_Object QCfamily, QCweight, QCslant;
4187extern Lisp_Object QCheight, QCname, QCwidth, QCforeground, QCbackground;
a411ac43
PE
4188extern Lisp_Object Qextra_light, Qlight, Qsemi_light, Qsemi_bold;
4189extern Lisp_Object Qbold, Qextra_bold, Qultra_bold;
4190extern Lisp_Object Qoblique, Qitalic;
99f3388e 4191extern Lisp_Object Vface_alternative_font_family_alist;
99f3388e 4192extern Lisp_Object Vface_alternative_font_registry_alist;
383e0970 4193extern void syms_of_xfaces (void);
46abf440
AS
4194
4195#ifdef HAVE_X_WINDOWS
e7032e7c 4196/* Defined in xfns.c. */
383e0970 4197extern void syms_of_xfns (void);
46abf440 4198
e7032e7c 4199/* Defined in xsmfns.c. */
383e0970 4200extern void syms_of_xsmfns (void);
e02207d4 4201
e7032e7c 4202/* Defined in xselect.c. */
383e0970 4203extern void syms_of_xselect (void);
46abf440 4204
e7032e7c 4205/* Defined in xterm.c. */
383e0970 4206extern void syms_of_xterm (void);
4f48f1ab 4207#endif /* HAVE_X_WINDOWS */
4baa6f88 4208
7af07b96 4209#ifdef HAVE_WINDOW_SYSTEM
e7032e7c 4210/* Defined in xterm.c, nsterm.m, w32term.c. */
7af07b96
AS
4211extern char *x_get_keysym_name (int);
4212#endif /* HAVE_WINDOW_SYSTEM */
4213
381408e2 4214#ifdef HAVE_LIBXML2
e7032e7c 4215/* Defined in xml.c. */
381408e2 4216extern void syms_of_xml (void);
9078ead6 4217extern void xml_cleanup_parser (void);
381408e2
LMI
4218#endif
4219
313546eb
LMI
4220#ifdef HAVE_ZLIB
4221/* Defined in decompress.c. */
4222extern void syms_of_decompress (void);
4223#endif
4224
b86cfd28 4225#ifdef HAVE_DBUS
e7032e7c 4226/* Defined in dbusbind.c. */
383e0970 4227void syms_of_dbusbind (void);
b86cfd28 4228#endif
36e053eb 4229
ad942b63
SM
4230
4231/* Defined in profiler.c. */
6521894d 4232extern bool profiler_memory_running;
c2d7786e 4233extern void malloc_probe (size_t);
c2d7786e
TM
4234extern void syms_of_profiler (void);
4235
ad942b63 4236
36e053eb 4237#ifdef DOS_NT
e7032e7c 4238/* Defined in msdos.c, w32.c. */
36e053eb
DN
4239extern char *emacs_root_dir (void);
4240#endif /* DOS_NT */
83925baa 4241\f
1882aa38 4242/* True means Emacs has already been initialized.
3cfe6dfd 4243 Used during startup to detect startup of dumped Emacs. */
1882aa38 4244extern bool initialized;
3cfe6dfd 4245
9fa1de30
PE
4246/* True means ^G can quit instantly. */
4247extern bool immediate_quit;
3cfe6dfd 4248
261cb4bb 4249extern void *xmalloc (size_t);
23f86fce 4250extern void *xzalloc (size_t);
261cb4bb
PE
4251extern void *xrealloc (void *, size_t);
4252extern void xfree (void *);
0065d054
PE
4253extern void *xnmalloc (ptrdiff_t, ptrdiff_t);
4254extern void *xnrealloc (void *, ptrdiff_t, ptrdiff_t);
4255extern void *xpalloc (void *, ptrdiff_t *, ptrdiff_t, ptrdiff_t, ptrdiff_t);
074b6efe 4256
383e0970 4257extern char *xstrdup (const char *);
5745a7df 4258extern void xputenv (const char *);
3cfe6dfd 4259
a8fe7202 4260extern char *egetenv (const char *);
e98227af 4261
5d6be39f 4262/* Set up the name of the machine we're running on. */
383e0970 4263extern void init_system_name (void);
881a5a80 4264
d7a0a7c9
PE
4265/* Return the absolute value of X. X should be a signed integer
4266 expression without side effects, and X's absolute value should not
4267 exceed the maximum for its promoted type. This is called 'eabs'
4268 because 'abs' is reserved by the C standard. */
555b10b0 4269#define eabs(x) ((x) < 0 ? -(x) : (x))
096e8667 4270
53ede3f4
GM
4271/* Return a fixnum or float, depending on whether VAL fits in a Lisp
4272 fixnum. */
4273
4274#define make_fixnum_or_float(val) \
cbeff735 4275 (FIXNUM_OVERFLOW_P (val) ? make_float (val) : make_number (val))
6b61353c 4276
79518a8d
KS
4277/* SAFE_ALLOCA normally allocates memory on the stack, but if size is
4278 larger than MAX_ALLOCA, use xmalloc to avoid overflowing the stack. */
4279
e7032e7c 4280enum MAX_ALLOCA { MAX_ALLOCA = 16 * 1024 };
79518a8d 4281
98c6f1e3 4282extern void *record_xmalloc (size_t);
79518a8d
KS
4283
4284#define USE_SAFE_ALLOCA \
2f221583 4285 ptrdiff_t sa_count = SPECPDL_INDEX (); bool sa_must_free = 0
79518a8d 4286
a9e6bacc
KS
4287/* SAFE_ALLOCA allocates a simple buffer. */
4288
98c6f1e3
PE
4289#define SAFE_ALLOCA(size) ((size) < MAX_ALLOCA \
4290 ? alloca (size) \
4291 : (sa_must_free = 1, record_xmalloc (size)))
79518a8d 4292
0065d054
PE
4293/* SAFE_NALLOCA sets BUF to a newly allocated array of MULTIPLIER *
4294 NITEMS items, each of the same type as *BUF. MULTIPLIER must
4295 positive. The code is tuned for MULTIPLIER being a constant. */
4296
468afbac
DA
4297#define SAFE_NALLOCA(buf, multiplier, nitems) \
4298 do { \
4299 if ((nitems) <= MAX_ALLOCA / sizeof *(buf) / (multiplier)) \
4300 (buf) = alloca (sizeof *(buf) * (multiplier) * (nitems)); \
4301 else \
0065d054
PE
4302 { \
4303 (buf) = xnmalloc (nitems, sizeof *(buf) * (multiplier)); \
4304 sa_must_free = 1; \
27e498e6 4305 record_unwind_protect_ptr (xfree, buf); \
0065d054
PE
4306 } \
4307 } while (0)
4308
a9e6bacc
KS
4309/* SAFE_FREE frees xmalloced memory and enables GC as needed. */
4310
c33188d9 4311#define SAFE_FREE() \
79518a8d 4312 do { \
c33188d9
KS
4313 if (sa_must_free) { \
4314 sa_must_free = 0; \
79518a8d 4315 unbind_to (sa_count, Qnil); \
c33188d9 4316 } \
79518a8d
KS
4317 } while (0)
4318
4319
5f5d6c62
KS
4320/* SAFE_ALLOCA_LISP allocates an array of Lisp_Objects. */
4321
663e2b3f
DA
4322#define SAFE_ALLOCA_LISP(buf, nelt) \
4323 do { \
4324 if ((nelt) < MAX_ALLOCA / word_size) \
4325 buf = alloca ((nelt) * word_size); \
4326 else if ((nelt) < min (PTRDIFF_MAX, SIZE_MAX) / word_size) \
4327 { \
4328 Lisp_Object arg_; \
4329 buf = xmalloc ((nelt) * word_size); \
1396ac86 4330 arg_ = make_save_memory (buf, nelt); \
663e2b3f 4331 sa_must_free = 1; \
27e498e6 4332 record_unwind_protect (free_save_value, arg_); \
663e2b3f
DA
4333 } \
4334 else \
4335 memory_full (SIZE_MAX); \
5f5d6c62
KS
4336 } while (0)
4337
79518a8d 4338
dac616ff
DA
4339/* Check whether it's time for GC, and run it if so. */
4340
f162bcc3 4341LISP_INLINE void
dac616ff
DA
4342maybe_gc (void)
4343{
4344 if ((consing_since_gc > gc_cons_threshold
4345 && consing_since_gc > gc_relative_threshold)
4346 || (!NILP (Vmemory_full)
4347 && consing_since_gc > memory_full_cons_threshold))
4348 Fgarbage_collect ();
4349}
4350
84575e67 4351LISP_INLINE bool
e1f29348
BR
4352functionp (Lisp_Object object)
4353{
4354 if (SYMBOLP (object) && !NILP (Ffboundp (object)))
4355 {
4356 object = Findirect_function (object, Qt);
4357
4358 if (CONSP (object) && EQ (XCAR (object), Qautoload))
4359 {
4360 /* Autoloaded symbols are functions, except if they load
4361 macros or keymaps. */
4362 int i;
4363 for (i = 0; i < 4 && CONSP (object); i++)
4364 object = XCDR (object);
4365
4366 return ! (CONSP (object) && !NILP (XCAR (object)));
4367 }
4368 }
4369
4370 if (SUBRP (object))
4371 return XSUBR (object)->max_args != UNEVALLED;
4372 else if (COMPILEDP (object))
4373 return 1;
4374 else if (CONSP (object))
4375 {
4376 Lisp_Object car = XCAR (object);
4377 return EQ (car, Qlambda) || EQ (car, Qclosure);
4378 }
4379 else
4380 return 0;
4381}
4382
f162bcc3
PE
4383INLINE_HEADER_END
4384
6b61353c 4385#endif /* EMACS_LISP_H */