1743
|
1 /* Compiler-specific definitions for XEmacs.
|
|
2 Copyright (C) 1998-1999, 2003 Free Software Foundation, Inc.
|
|
3 Copyright (C) 1994 Richard Mlynarik.
|
2367
|
4 Copyright (C) 1995, 1996, 2000-2004 Ben Wing.
|
1743
|
5
|
|
6 This file is part of XEmacs.
|
|
7
|
|
8 XEmacs is free software; you can redistribute it and/or modify it
|
|
9 under the terms of the GNU General Public License as published by the
|
|
10 Free Software Foundation; either version 2, or (at your option) any
|
|
11 later version.
|
|
12
|
|
13 XEmacs is distributed in the hope that it will be useful, but WITHOUT
|
|
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
16 for more details.
|
|
17
|
|
18 You should have received a copy of the GNU General Public License
|
|
19 along with XEmacs; see the file COPYING. If not, write to
|
|
20 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
21 Boston, MA 02111-1307, USA. */
|
|
22
|
|
23 /* Synched up with: not in FSF. */
|
|
24
|
|
25 /* Authorship:
|
|
26
|
|
27 NOT_REACHED, DOESNT_RETURN, PRINTF_ARGS by Richard Mlynarik, c. 1994.
|
|
28 RETURN_SANS_WARNING by Martin buchholz, 1998 or 1999.
|
|
29 Many changes and improvements by Jerry James, 2003.
|
|
30 Split out of lisp.h, reorganized, and modernized.
|
|
31 {BEGIN,END}_C_DECLS, NEED_GCC, GCC_VERSION
|
2286
|
32 ATTRIBUTE_MALLOC, ATTRIBUTE_CONST, ATTRIBUTE_PURE, UNUSED
|
1743
|
33 */
|
|
34
|
|
35 #ifndef INCLUDED_compiler_h
|
|
36 #define INCLUDED_compiler_h
|
|
37
|
|
38 /* Define min() and max(). (Some compilers put them in strange places that
|
|
39 won't be referenced by include files used by XEmacs, such as 'macros.h'
|
|
40 under Solaris.) */
|
|
41
|
|
42 #ifndef min
|
1748
|
43 # define min(a,b) (((a) <= (b)) ? (a) : (b))
|
1743
|
44 #endif
|
|
45 #ifndef max
|
1748
|
46 # define max(a,b) (((a) > (b)) ? (a) : (b))
|
1743
|
47 #endif
|
|
48
|
|
49 /* Regular C complains about possible clobbering of local vars NOT declared
|
|
50 as volatile if there's a longjmp() in a function. C++ complains if such
|
|
51 vars ARE volatile; or more correctly, sans volatile no problem even when
|
|
52 you longjmp, avec volatile you get unfixable compile errors like
|
|
53
|
|
54 /src/xemacs/lilfix/src/process-unix.c: In function `void
|
|
55 unix_send_process(Lisp_Object, lstream*)':
|
|
56 /src/xemacs/lilfix/src/process-unix.c:1577: no matching function for call to `
|
|
57 Lisp_Object::Lisp_Object(volatile Lisp_Object&)'
|
|
58 /src/xemacs/lilfix/src/lisp-union.h:32: candidates are:
|
|
59 Lisp_Object::Lisp_Object(const Lisp_Object&)
|
|
60 */
|
|
61
|
|
62 #ifdef __cplusplus
|
1748
|
63 # define VOLATILE_IF_NOT_CPP
|
1743
|
64 #else
|
1748
|
65 # define VOLATILE_IF_NOT_CPP volatile
|
1743
|
66 #endif
|
|
67
|
|
68 /* Avoid indentation problems when XEmacs sees the curly braces */
|
|
69 #ifndef BEGIN_C_DECLS
|
|
70 # ifdef __cplusplus
|
|
71 # define BEGIN_C_DECLS extern "C" {
|
|
72 # define END_C_DECLS }
|
|
73 # else
|
|
74 # define BEGIN_C_DECLS
|
|
75 # define END_C_DECLS
|
|
76 # endif
|
|
77 #endif
|
|
78
|
1748
|
79 /* Guard against older gccs that did not define all of these symbols */
|
|
80 #ifdef __GNUC__
|
|
81 # ifndef __GNUC_MINOR__
|
|
82 # define __GNUC_MINOR__ 0
|
|
83 # endif
|
|
84 # ifndef __GNUC_PATCHLEVEL__
|
|
85 # define __GNUC_PATCHLEVEL__ 0
|
|
86 # endif
|
|
87 #endif /* __GNUC__ */
|
1743
|
88
|
1748
|
89 /* Simplify testing for specific GCC versions. For non-GNU compilers,
|
|
90 GCC_VERSION evaluates to zero. */
|
1743
|
91 #ifndef NEED_GCC
|
1748
|
92 # define NEED_GCC(major,minor,patch) (major * 1000000 + minor * 1000 + patch)
|
1743
|
93 #endif /* NEED_GCC */
|
|
94 #ifndef GCC_VERSION
|
1748
|
95 # ifdef __GNUC__
|
|
96 # define GCC_VERSION NEED_GCC (__GNUC__, __GNUC_MINOR__, __GNUC_PATCHLEVEL__)
|
|
97 # else
|
|
98 # define GCC_VERSION 0
|
|
99 # endif /* __GNUC__ */
|
1743
|
100 #endif /* GCC_VERSION */
|
|
101
|
|
102 /* GCC < 2.6.0 could only declare one attribute per function. In that case,
|
|
103 we define DOESNT_RETURN in preference to PRINTF_ARGS, which is only used
|
|
104 for checking args against the string spec. */
|
|
105 #ifndef PRINTF_ARGS
|
|
106 # if (GCC_VERSION >= NEED_GCC (2, 6, 0))
|
|
107 # define PRINTF_ARGS(string_index,first_to_check) \
|
|
108 __attribute__ ((format (printf, string_index, first_to_check)))
|
|
109 # else
|
|
110 # define PRINTF_ARGS(string_index,first_to_check)
|
|
111 # endif /* GNUC */
|
|
112 #endif
|
|
113
|
2268
|
114 #ifndef DOESNT_RETURN_TYPE
|
1743
|
115 # if (GCC_VERSION > NEED_GCC (0, 0, 0))
|
|
116 # if (GCC_VERSION >= NEED_GCC (2, 5, 0))
|
2270
|
117 # ifndef __INTEL_COMPILER
|
|
118 # define RETURN_NOT_REACHED(value) DO_NOTHING
|
|
119 # endif
|
2268
|
120 # define DOESNT_RETURN_TYPE(rettype) rettype
|
|
121 # define DECLARE_DOESNT_RETURN_TYPE(rettype,decl) rettype decl \
|
|
122 __attribute__ ((noreturn))
|
1743
|
123 # else /* GCC_VERSION < NEED_GCC (2, 5, 0) */
|
2268
|
124 # define DOESNT_RETURN_TYPE(rettype) rettype volatile
|
|
125 # define DECLARE_DOESNT_RETURN_TYPE(rettype,decl) rettype volatile decl
|
1743
|
126 # endif /* GCC_VERSION >= NEED_GCC (2, 5, 0) */
|
|
127 # else /* not gcc */
|
2268
|
128 # define DOESNT_RETURN_TYPE(rettype) rettype
|
|
129 # define DECLARE_DOESNT_RETURN_TYPE(rettype,decl) rettype decl
|
1743
|
130 # endif /* GCC_VERSION > NEED_GCC (0, 0, 0) */
|
2268
|
131 #endif /* DOESNT_RETURN_TYPE */
|
|
132 #ifndef DOESNT_RETURN
|
|
133 # define DOESNT_RETURN DOESNT_RETURN_TYPE (void)
|
|
134 # define DECLARE_DOESNT_RETURN(decl) DECLARE_DOESNT_RETURN_TYPE (void, decl)
|
1743
|
135 #endif /* DOESNT_RETURN */
|
|
136
|
|
137 /* Another try to fix SunPro C compiler warnings */
|
|
138 /* "end-of-loop code not reached" */
|
|
139 /* "statement not reached */
|
|
140 #if defined __SUNPRO_C || defined __USLC__
|
1748
|
141 # define RETURN_SANS_WARNINGS if (1) return
|
|
142 # define RETURN_NOT_REACHED(value) DO_NOTHING
|
1743
|
143 #endif
|
|
144
|
|
145 /* More ways to shut up compiler. This works in Fcommand_loop_1(),
|
|
146 where there's an infinite loop in a function returning a Lisp object.
|
|
147 */
|
|
148 #if defined (_MSC_VER) || defined (__SUNPRO_C) || defined (__SUNPRO_CC) || \
|
|
149 (defined (DEC_ALPHA) && defined (OSF1))
|
1748
|
150 # define DO_NOTHING_DISABLING_NO_RETURN_WARNINGS if (0) return Qnil
|
1743
|
151 #else
|
1748
|
152 # define DO_NOTHING_DISABLING_NO_RETURN_WARNINGS DO_NOTHING
|
1743
|
153 #endif
|
|
154
|
|
155 #ifndef RETURN_NOT_REACHED
|
1748
|
156 # define RETURN_NOT_REACHED(value) return (value)
|
1743
|
157 #endif
|
|
158
|
|
159 #ifndef RETURN_SANS_WARNINGS
|
1748
|
160 # define RETURN_SANS_WARNINGS return
|
1743
|
161 #endif
|
|
162
|
|
163 #ifndef DO_NOTHING
|
1748
|
164 # define DO_NOTHING do {} while (0)
|
1743
|
165 #endif
|
|
166
|
|
167 #ifndef DECLARE_NOTHING
|
1748
|
168 # define DECLARE_NOTHING struct nosuchstruct
|
1743
|
169 #endif
|
|
170
|
|
171 #ifndef ATTRIBUTE_MALLOC
|
|
172 # if (GCC_VERSION >= NEED_GCC (2, 96, 0))
|
|
173 # define ATTRIBUTE_MALLOC __attribute__ ((__malloc__))
|
|
174 # else
|
|
175 # define ATTRIBUTE_MALLOC
|
|
176 # endif /* GCC_VERSION >= NEED_GCC (2, 96, 0) */
|
|
177 #endif /* ATTRIBUTE_MALLOC */
|
|
178
|
|
179 #ifndef ATTRIBUTE_PURE
|
|
180 # if (GCC_VERSION >= NEED_GCC (2, 96, 0))
|
|
181 # define ATTRIBUTE_PURE __attribute__ ((pure))
|
|
182 # else
|
|
183 # define ATTRIBUTE_PURE
|
|
184 # endif /* GCC_VERSION >= NEED_GCC (2, 96, 0) */
|
|
185 #endif /* ATTRIBUTE_PURE */
|
|
186
|
|
187 #ifndef ATTRIBUTE_CONST
|
|
188 # if (GCC_VERSION >= NEED_GCC (2, 5, 0))
|
|
189 # define ATTRIBUTE_CONST __attribute__ ((const))
|
|
190 # define CONST_FUNC
|
|
191 # else
|
|
192 # define ATTRIBUTE_CONST
|
|
193 # define CONST_FUNC const
|
|
194 # endif /* GCC_VERSION >= NEED_GCC (2, 5, 0) */
|
|
195 #endif /* ATTRIBUTE_CONST */
|
|
196
|
2286
|
197 /* Unused declarations; g++ and icc do not support this. */
|
1743
|
198 #ifndef UNUSED_ARG
|
2286
|
199 # define UNUSED_ARG(decl) unused_##decl
|
|
200 #endif
|
|
201 #ifndef UNUSED
|
|
202 # if defined(__GNUC__) && !defined(__cplusplus) && !defined(__INTEL_COMPILER)
|
|
203 # define ATTRIBUTE_UNUSED __attribute__ ((unused))
|
1743
|
204 # else
|
2286
|
205 # define ATTRIBUTE_UNUSED
|
1743
|
206 # endif
|
2286
|
207 # define UNUSED(decl) UNUSED_ARG (decl) ATTRIBUTE_UNUSED
|
2333
|
208 # ifdef MULE
|
|
209 # define USED_IF_MULE(decl) decl
|
|
210 # else
|
|
211 # define USED_IF_MULE(decl) UNUSED (decl)
|
|
212 # endif
|
|
213 # if defined (MULE) || defined (ERROR_CHECK_TEXT)
|
|
214 # define USED_IF_MULE_OR_CHECK_TEXT(decl) decl
|
|
215 # else
|
|
216 # define USED_IF_MULE_OR_CHECK_TEXT(decl) UNUSED (decl)
|
|
217 # endif
|
2286
|
218 #endif /* UNUSED */
|
1743
|
219
|
|
220 #ifdef DEBUG_XEMACS
|
1748
|
221 # define REGISTER
|
|
222 # define register
|
1743
|
223 #else
|
1748
|
224 # define REGISTER register
|
1743
|
225 #endif
|
|
226
|
|
227 #if defined(HAVE_MS_WINDOWS) && defined(HAVE_SHLIB)
|
|
228 # ifdef EMACS_MODULE
|
|
229 # define MODULE_API __declspec(dllimport)
|
|
230 # else
|
|
231 # define MODULE_API __declspec(dllexport)
|
|
232 # endif
|
|
233 #else
|
|
234 # define MODULE_API
|
|
235 #endif
|
|
236
|
2367
|
237 /* Under "strict-aliasing" assumptions, you're not necessarily allowed to
|
|
238 access the same memory address as two different types. The proper way
|
|
239 around that is with a union. The macros below help out, e.g. the
|
|
240 definition of XE_MAKEPOINTS(val) is
|
|
241
|
|
242 ANSI_ALIASING_TYPEDEF (POINTS, POINTS);
|
|
243 #define XE_MAKEPOINTS(l) ANSI_ALIASING_CAST (POINTS, l)
|
|
244
|
|
245 replacing
|
|
246
|
|
247 BAD!!! #define XE_MAKEPOINTS(l) (* (POINTS *) &(l))
|
|
248
|
|
249 On the other hand, if you are just casting from one pointer to the other
|
|
250 in order to pass a pointer to another function, it's probably OK to just
|
|
251 trick GCC by inserting an intermediate cast to (void *), to avoid
|
|
252 warnings about "dereferencing type-punned pointer". #### I don't know
|
|
253 how kosher this is, but do strict-aliasing rules really apply across
|
|
254 functions?
|
|
255
|
|
256 Note that the input to e.g. VOIDP_CAST must be an lvalue (i.e. not
|
|
257 &(something)), but the value of the macro is also an lvalue, so in place
|
|
258 of `(void **) &foo' you could write `& VOIDP_CAST (foo)' if you are
|
|
259 subsequently dereferencing the value or don't feel comfortable doing a
|
|
260 trick like `(void **) (void *) &foo'.
|
|
261
|
|
262 Unfortunately, it does not work to just define the union type on the fly in
|
|
263 the cast -- otherwise, we could avoid the need for a typedef. Or rather,
|
|
264 it does work under gcc but not under Visual C++.
|
|
265
|
|
266 --ben
|
|
267 */
|
|
268
|
|
269 #define ANSI_ALIASING_TYPEDEF(name, type) typedef union { char c; type p; } *ANSI_ALIASING_##name
|
|
270 #define ANSI_ALIASING_CAST(name, val) (((ANSI_ALIASING_##name) &(val))->p)
|
|
271 ANSI_ALIASING_TYPEDEF (voidp, void *);
|
|
272 /* VOIDP_CAST: Cast an lvalue to (void *) in a way that is ANSI-aliasing
|
|
273 safe and will not result in GCC warnings. The result is still an
|
|
274 lvalue, so you can assign to it or take its address. */
|
|
275 #define VOIDP_CAST(l) ANSI_ALIASING_CAST (voidp, l)
|
|
276
|
1743
|
277 #endif /* INCLUDED_compiler_h */
|