PostgreSQL Source Code git master
Loading...
Searching...
No Matches
c.h
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * c.h
4 * Fundamental C definitions. This is included by every .c file in
5 * PostgreSQL (via either postgres.h or postgres_fe.h, as appropriate).
6 *
7 * Note that the definitions here are not intended to be exposed to clients
8 * of the frontend interface libraries --- so we don't worry much about
9 * polluting the namespace with lots of stuff...
10 *
11 *
12 * Portions Copyright (c) 1996-2026, PostgreSQL Global Development Group
13 * Portions Copyright (c) 1994, Regents of the University of California
14 *
15 * src/include/c.h
16 *
17 *-------------------------------------------------------------------------
18 */
19/* IWYU pragma: always_keep */
20/*
21 *----------------------------------------------------------------
22 * TABLE OF CONTENTS
23 *
24 * When adding stuff to this file, please try to put stuff
25 * into the relevant section, or add new sections as appropriate.
26 *
27 * section description
28 * ------- ------------------------------------------------
29 * 0) pg_config.h and standard system headers
30 * 1) compiler characteristics
31 * 2) bool, true, false
32 * 3) standard system types
33 * 4) IsValid macros for system types
34 * 5) lengthof, alignment
35 * 6) assertions
36 * 7) widely useful macros
37 * 8) random stuff
38 * 9) system-specific hacks
39 *
40 * NOTE: since this file is included by both frontend and backend modules,
41 * it's usually wrong to put an "extern" declaration here, unless it's
42 * ifdef'd so that it's seen in only one case or the other.
43 * typedefs and macros are the kind of thing that might go here.
44 *
45 *----------------------------------------------------------------
46 */
47#ifndef C_H
48#define C_H
49
50/* IWYU pragma: begin_exports */
51
52/*
53 * These headers must be included before any system headers, because on some
54 * platforms they affect the behavior of the system headers (for example, by
55 * defining _FILE_OFFSET_BITS).
56 */
57#include "pg_config.h"
58#include "pg_config_manual.h" /* must be after pg_config.h */
59#include "pg_config_os.h" /* config from include/port/PORTNAME.h */
60
61/* System header files that should be available everywhere in Postgres */
62#include <assert.h>
63#include <inttypes.h>
64#include <stdalign.h>
65#include <stdio.h>
66#include <stdlib.h>
67#include <string.h>
68#include <stddef.h>
69#include <stdarg.h>
70#ifdef HAVE_STRINGS_H
71#include <strings.h>
72#endif
73#include <stdint.h>
74#include <sys/types.h>
75#include <errno.h>
76#if defined(WIN32) || defined(__CYGWIN__)
77#include <fcntl.h> /* ensure O_BINARY is available */
78#endif
79#include <locale.h>
80#ifdef HAVE_XLOCALE_H
81#include <xlocale.h>
82#endif
83#ifdef ENABLE_NLS
84#include <libintl.h>
85#endif
86
87#ifdef __cplusplus
88extern "C++"
89{
90/* This header is used in the definition of various C++ things below. */
91#include <type_traits>
92}
93#endif
94
95 /* Pull in fundamental symbols that we also expose to applications */
96#include "postgres_ext.h"
97
98/* Define before including zlib.h to add const decorations to zlib API. */
99#ifdef HAVE_LIBZ
100#define ZLIB_CONST
101#endif
102
103
104/* ----------------------------------------------------------------
105 * Section 1: compiler characteristics
106 * ----------------------------------------------------------------
107 */
108
109/*
110 * Disable "inline" if PG_FORCE_DISABLE_INLINE is defined.
111 * This is used to work around compiler bugs and might also be useful for
112 * investigatory purposes.
113 */
114#ifdef PG_FORCE_DISABLE_INLINE
115#undef inline
116#define inline
117#endif
118
119/*
120 * Attribute macros
121 *
122 * GCC: https://gcc.gnu.org/onlinedocs/gcc/Function-Attributes.html
123 * GCC: https://gcc.gnu.org/onlinedocs/gcc/Type-Attributes.html
124 * Clang: https://clang.llvm.org/docs/AttributeReference.html
125 */
126
127/*
128 * For compilers which don't support __has_attribute, we just define
129 * __has_attribute(x) to 0 so that we can define macros for various
130 * __attribute__s more easily below.
131 */
132#ifndef __has_attribute
133#define __has_attribute(attribute) 0
134#endif
135
136/* only GCC supports the unused attribute */
137#ifdef __GNUC__
138#define pg_attribute_unused() __attribute__((unused))
139#else
140#define pg_attribute_unused()
141#endif
142
143/*
144 * pg_fallthrough indicates that the fall through from the previous case is
145 * intentional.
146 */
147#if (defined(__STDC_VERSION__) && __STDC_VERSION__ >= 202311L) || (defined(__cplusplus) && __cplusplus >= 201703L)
148#define pg_fallthrough [[fallthrough]]
149#elif __has_attribute(fallthrough)
150#define pg_fallthrough __attribute__((fallthrough))
151#else
152#define pg_fallthrough
153#endif
154
155/*
156 * pg_nodiscard means the compiler should warn if the result of a function
157 * call is ignored. The name "nodiscard" is chosen in alignment with the C23
158 * standard attribute with the same name. For maximum forward compatibility,
159 * place it before the declaration.
160 */
161#ifdef __GNUC__
162#define pg_nodiscard __attribute__((warn_unused_result))
163#else
164#define pg_nodiscard
165#endif
166
167/*
168 * pg_noreturn corresponds to the C11 noreturn/_Noreturn function specifier.
169 * We can't use the standard name "noreturn" because some third-party code
170 * uses __attribute__((noreturn)) in headers, which would get confused if
171 * "noreturn" is defined to "_Noreturn", as is done by <stdnoreturn.h>.
172 *
173 * In a declaration, function specifiers go before the function name. The
174 * common style is to put them before the return type. (The MSVC fallback has
175 * the same requirement. The GCC fallback is more flexible.)
176 */
177#if (defined(__STDC_VERSION__) && __STDC_VERSION__ >= 201112L) && !defined(__cplusplus)
178#define pg_noreturn _Noreturn
179#elif defined(__GNUC__)
180#define pg_noreturn __attribute__((noreturn))
181#elif defined(_MSC_VER)
182#define pg_noreturn __declspec(noreturn)
183#else
184#define pg_noreturn
185#endif
186
187/*
188 * This macro will disable address safety instrumentation for a function
189 * when running with "-fsanitize=address". Think twice before using this!
190 */
191#if defined(__clang__) || __GNUC__ >= 8
192#define pg_attribute_no_sanitize_address() __attribute__((no_sanitize("address")))
193#elif __has_attribute(no_sanitize_address)
194/* This would work for clang, but it's deprecated. */
195#define pg_attribute_no_sanitize_address() __attribute__((no_sanitize_address))
196#else
197#define pg_attribute_no_sanitize_address()
198#endif
199
200/*
201 * Place this macro before functions that should be allowed to make misaligned
202 * accesses. Think twice before using it on non-x86-specific code!
203 * Testing can be done with "-fsanitize=alignment -fsanitize-trap=alignment"
204 * on clang, or "-fsanitize=alignment -fno-sanitize-recover=alignment" on gcc.
205 */
206#if __clang_major__ >= 7 || __GNUC__ >= 8
207#define pg_attribute_no_sanitize_alignment() __attribute__((no_sanitize("alignment")))
208#else
209#define pg_attribute_no_sanitize_alignment()
210#endif
211
212/*
213 * pg_attribute_nonnull means the compiler should warn if the function is
214 * called with the listed arguments set to NULL. If no arguments are
215 * listed, the compiler should warn if any pointer arguments are set to NULL.
216 */
217#if __has_attribute (nonnull)
218#define pg_attribute_nonnull(...) __attribute__((nonnull(__VA_ARGS__)))
219#else
220#define pg_attribute_nonnull(...)
221#endif
222
223/*
224 * pg_attribute_target allows specifying different target options that the
225 * function should be compiled with (e.g., for using special CPU instructions).
226 * Note that there still needs to be a configure-time check to verify that a
227 * specific target is understood by the compiler.
228 */
229#if __has_attribute (target)
230#define pg_attribute_target(...) __attribute__((target(__VA_ARGS__)))
231#else
232#define pg_attribute_target(...)
233#endif
234
235/*
236 * Append PG_USED_FOR_ASSERTS_ONLY to definitions of variables that are only
237 * used in assert-enabled builds, to avoid compiler warnings about unused
238 * variables in assert-disabled builds.
239 */
240#ifdef USE_ASSERT_CHECKING
241#define PG_USED_FOR_ASSERTS_ONLY
242#else
243#define PG_USED_FOR_ASSERTS_ONLY pg_attribute_unused()
244#endif
245
246/*
247 * Our C and C++ compilers may have different ideas about which printf
248 * archetype best represents what src/port/snprintf.c can do.
249 */
250#ifndef __cplusplus
251#define PG_PRINTF_ATTRIBUTE PG_C_PRINTF_ATTRIBUTE
252#else
253#define PG_PRINTF_ATTRIBUTE PG_CXX_PRINTF_ATTRIBUTE
254#endif
255
256/* GCC supports format attributes */
257#if defined(__GNUC__)
258#define pg_attribute_format_arg(a) __attribute__((format_arg(a)))
259#define pg_attribute_printf(f,a) __attribute__((format(PG_PRINTF_ATTRIBUTE, f, a)))
260#else
261#define pg_attribute_format_arg(a)
262#define pg_attribute_printf(f,a)
263#endif
264
265/* GCC supports aligned and packed */
266#if defined(__GNUC__)
267#define pg_attribute_aligned(a) __attribute__((aligned(a)))
268#define pg_attribute_packed() __attribute__((packed))
269#elif defined(_MSC_VER)
270/*
271 * MSVC supports aligned.
272 *
273 * Packing is also possible but only by wrapping the entire struct definition
274 * which doesn't fit into our current macro declarations.
275 */
276#define pg_attribute_aligned(a) __declspec(align(a))
277#else
278/*
279 * NB: aligned and packed are not given default definitions because they
280 * affect code functionality; they *must* be implemented by the compiler
281 * if they are to be used.
282 */
283#endif
284
285/*
286 * Use "pg_attribute_always_inline" in place of "inline" for functions that
287 * we wish to force inlining of, even when the compiler's heuristics would
288 * choose not to. But, if possible, don't force inlining in unoptimized
289 * debug builds.
290 */
291#if defined(__GNUC__) && defined(__OPTIMIZE__)
292/* GCC supports always_inline via __attribute__ */
293#define pg_attribute_always_inline __attribute__((always_inline)) inline
294#elif defined(_MSC_VER)
295/* MSVC has a special keyword for this */
296#define pg_attribute_always_inline __forceinline
297#else
298/* Otherwise, the best we can do is to say "inline" */
299#define pg_attribute_always_inline inline
300#endif
301
302/*
303 * Forcing a function not to be inlined can be useful if it's the slow path of
304 * a performance-critical function, or should be visible in profiles to allow
305 * for proper cost attribution. Note that unlike the pg_attribute_XXX macros
306 * above, this should be placed before the function's return type and name.
307 */
308/* GCC supports noinline via __attribute__ */
309#if defined(__GNUC__)
310#define pg_noinline __attribute__((noinline))
311/* msvc via declspec */
312#elif defined(_MSC_VER)
313#define pg_noinline __declspec(noinline)
314#else
315#define pg_noinline
316#endif
317
318/*
319 * For now, just define pg_attribute_cold and pg_attribute_hot to be empty
320 * macros on minGW 8.1. There appears to be a compiler bug that results in
321 * compilation failure. At this time, we still have at least one buildfarm
322 * animal running that compiler, so this should make that green again. It's
323 * likely this compiler is not popular enough to warrant keeping this code
324 * around forever, so let's just remove it once the last buildfarm animal
325 * upgrades.
326 */
327#if defined(__MINGW64__) && __GNUC__ == 8 && __GNUC_MINOR__ == 1
328
329#define pg_attribute_cold
330#define pg_attribute_hot
331
332#else
333/*
334 * Marking certain functions as "hot" or "cold" can be useful to assist the
335 * compiler in arranging the assembly code in a more efficient way.
336 */
337#if __has_attribute (cold)
338#define pg_attribute_cold __attribute__((cold))
339#else
340#define pg_attribute_cold
341#endif
342
343#if __has_attribute (hot)
344#define pg_attribute_hot __attribute__((hot))
345#else
346#define pg_attribute_hot
347#endif
348
349#endif /* defined(__MINGW64__) && __GNUC__ == 8 &&
350 * __GNUC_MINOR__ == 1 */
351/*
352 * Mark a point as unreachable in a portable fashion. This should preferably
353 * be something that the compiler understands, to aid code generation.
354 * In assert-enabled builds, we prefer abort() for debugging reasons.
355 */
356#if defined(HAVE__BUILTIN_UNREACHABLE) && !defined(USE_ASSERT_CHECKING)
357#define pg_unreachable() __builtin_unreachable()
358#elif defined(_MSC_VER) && !defined(USE_ASSERT_CHECKING)
359#define pg_unreachable() __assume(0)
360#else
361#define pg_unreachable() abort()
362#endif
363
364/*
365 * Define a compiler-independent macro for determining if an expression is a
366 * compile-time integer const. We don't define this macro to return 0 when
367 * unsupported due to the risk of users of the macro misbehaving if we return
368 * 0 when the expression *is* an integer constant. Callers may check if this
369 * macro is defined by checking if HAVE_PG_INTEGER_CONSTANT_P is defined.
370 */
371#if defined(HAVE__BUILTIN_CONSTANT_P)
372
373/* When __builtin_constant_p() is available, use it. */
374#define pg_integer_constant_p(x) __builtin_constant_p(x)
375#define HAVE_PG_INTEGER_CONSTANT_P
376#elif defined(_MSC_VER) && defined(__STDC_VERSION__)
377
378/*
379 * With MSVC we can use a trick with _Generic to make this work. This has
380 * been borrowed from:
381 * https://stackoverflow.com/questions/49480442/detecting-integer-constant-expressions-in-macros
382 * and only works with integer constants. Compilation will fail if given a
383 * constant or variable of any type other than an integer.
384 */
385#define pg_integer_constant_p(x) \
386 _Generic((1 ? ((void *) ((x) * (uintptr_t) 0)) : &(int) {1}), int *: 1, void *: 0)
387#define HAVE_PG_INTEGER_CONSTANT_P
388#endif
389
390/*
391 * pg_assume(expr) states that we assume `expr` to evaluate to true. In assert
392 * enabled builds pg_assume() is turned into an assertion, in optimized builds
393 * we try to clue the compiler into the fact that `expr` is true.
394 *
395 * This is useful for two purposes:
396 *
397 * 1) Avoid compiler warnings by telling the compiler about assumptions the
398 * code makes. This is particularly useful when building with optimizations
399 * and w/o assertions.
400 *
401 * 2) Help the compiler to generate more efficient code
402 *
403 * It is unspecified whether `expr` is evaluated, therefore it better be
404 * side-effect free.
405 */
406#if defined(USE_ASSERT_CHECKING)
407#define pg_assume(expr) Assert(expr)
408#elif defined(HAVE__BUILTIN_UNREACHABLE)
409#define pg_assume(expr) \
410 do { \
411 if (!(expr)) \
412 __builtin_unreachable(); \
413 } while (0)
414#elif defined(_MSC_VER)
415#define pg_assume(expr) __assume(expr)
416#else
417#define pg_assume(expr) ((void) 0)
418#endif
419
420/*
421 * Hints to the compiler about the likelihood of a branch. Both likely() and
422 * unlikely() return the boolean value of the contained expression.
423 *
424 * These should only be used sparingly, in very hot code paths. It's very easy
425 * to mis-estimate likelihoods.
426 */
427#ifdef __GNUC__
428#define likely(x) __builtin_expect((x) != 0, 1)
429#define unlikely(x) __builtin_expect((x) != 0, 0)
430#else
431#define likely(x) ((x) != 0)
432#define unlikely(x) ((x) != 0)
433#endif
434
435/*
436 * When we call clang to generate bitcode, we might be using configure results
437 * from a different compiler, which might not be fully compatible with the
438 * clang we are using. The fully correct solution would be to run a separate
439 * set of configure tests for that clang-for-bitcode, but that could be very
440 * difficult to implement, and in practice clang supports most things other
441 * compilers support. So this section just contains some hardcoded ugliness
442 * to override some configure results where it is necessary.
443 */
444#if defined(__clang__)
445#if __clang_major__ < 19
446#undef HAVE_TYPEOF_UNQUAL
447#else
448#undef typeof_unqual
449#define typeof_unqual __typeof_unqual__
450#endif
451#endif /* __clang__ */
452
453/*
454 * Provide typeof in C++ for C++ compilers that don't support typeof natively.
455 * It might be spelled __typeof__ instead of typeof, in which case
456 * pg_cxx_typeof provides that mapping. If neither is supported, we can use
457 * decltype, but to make it equivalent to C's typeof, we need to remove
458 * references from the result [1]. Also ensure HAVE_TYPEOF is set so that
459 * typeof-dependent code is always enabled in C++ mode.
460 *
461 * [1]: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2927.htm#existing-decltype
462 */
463#if defined(__cplusplus)
464#undef typeof
465#ifdef pg_cxx_typeof
466#define typeof(x) pg_cxx_typeof(x)
467#elif !defined(HAVE_CXX_TYPEOF)
468#define typeof(x) std::remove_reference<decltype(x)>::type
469#endif
470#ifndef HAVE_TYPEOF
471#define HAVE_TYPEOF 1
472#endif
473/*
474 * and analogously for typeof_unqual
475 */
476#undef typeof_unqual
477#ifdef pg_cxx_typeof_unqual
478#define typeof_unqual(x) pg_cxx_typeof_unqual(x)
479#elif !defined(HAVE_CXX_TYPEOF_UNQUAL)
480#define typeof_unqual(x) std::remove_cv<std::remove_reference<decltype(x)>::type>::type
481#endif
482#ifndef HAVE_TYPEOF_UNQUAL
483#define HAVE_TYPEOF_UNQUAL 1
484#endif
485#endif /* __cplusplus */
486
487/*
488 * CppAsString
489 * Convert the argument to a string, using the C preprocessor.
490 * CppAsString2
491 * Convert the argument to a string, after one round of macro expansion.
492 * CppConcat
493 * Concatenate two arguments together, using the C preprocessor.
494 *
495 * Note: There used to be support here for pre-ANSI C compilers that didn't
496 * support # and ##. Nowadays, these macros are just for clarity and/or
497 * backward compatibility with existing PostgreSQL code.
498 */
499#define CppAsString(identifier) #identifier
500#define CppAsString2(x) CppAsString(x)
501#define CppConcat(x, y) x##y
502
503/*
504 * VA_ARGS_NARGS
505 * Returns the number of macro arguments it is passed.
506 *
507 * An empty argument still counts as an argument, so effectively, this is
508 * "one more than the number of commas in the argument list".
509 *
510 * This works for up to 63 arguments. Internally, VA_ARGS_NARGS_() is passed
511 * 64+N arguments, and the C99 standard only requires macros to allow up to
512 * 127 arguments, so we can't portably go higher. The implementation is
513 * pretty trivial: VA_ARGS_NARGS_() returns its 64th argument, and we set up
514 * the call so that that is the appropriate one of the list of constants.
515 * This idea is due to Laurent Deniau.
516 */
517#define VA_ARGS_NARGS(...) \
518 VA_ARGS_NARGS_(__VA_ARGS__, \
519 63,62,61,60, \
520 59,58,57,56,55,54,53,52,51,50, \
521 49,48,47,46,45,44,43,42,41,40, \
522 39,38,37,36,35,34,33,32,31,30, \
523 29,28,27,26,25,24,23,22,21,20, \
524 19,18,17,16,15,14,13,12,11,10, \
525 9, 8, 7, 6, 5, 4, 3, 2, 1, 0)
526
527#define VA_ARGS_NARGS_( \
528 _01,_02,_03,_04,_05,_06,_07,_08,_09,_10, \
529 _11,_12,_13,_14,_15,_16,_17,_18,_19,_20, \
530 _21,_22,_23,_24,_25,_26,_27,_28,_29,_30, \
531 _31,_32,_33,_34,_35,_36,_37,_38,_39,_40, \
532 _41,_42,_43,_44,_45,_46,_47,_48,_49,_50, \
533 _51,_52,_53,_54,_55,_56,_57,_58,_59,_60, \
534 _61,_62,_63, N, ...) \
535 (N)
536
537/*
538 * Generic function pointer. This can be used in the rare cases where it's
539 * necessary to cast a function pointer to a seemingly incompatible function
540 * pointer type while avoiding gcc's -Wcast-function-type warnings.
541 */
542typedef void (*pg_funcptr_t) (void);
543
544/*
545 * We require C99, hence the compiler should understand flexible array
546 * members. However, for documentation purposes we still consider it to be
547 * project style to write "field[FLEXIBLE_ARRAY_MEMBER]" not just "field[]".
548 * When computing the size of such an object, use "offsetof(struct s, f)"
549 * for portability. Don't use "offsetof(struct s, f[0])", as this doesn't
550 * work with MSVC and with C++ compilers.
551 */
552#define FLEXIBLE_ARRAY_MEMBER /* empty */
553
554/*
555 * Does the compiler support #pragma GCC system_header? We optionally use it
556 * to avoid warnings that we can't fix (e.g. in the perl headers).
557 * See https://gcc.gnu.org/onlinedocs/cpp/System-Headers.html
558 *
559 * Headers for which we do not want to show compiler warnings can,
560 * conditionally, use #pragma GCC system_header to avoid warnings. Obviously
561 * this should only be used for external headers over which we do not have
562 * control.
563 *
564 * Support for the pragma is tested here, instead of during configure, as gcc
565 * also warns about the pragma being used in a .c file. It's surprisingly hard
566 * to get autoconf to use .h as the file-ending. Looks like gcc has
567 * implemented the pragma since the 2000, so this test should suffice.
568 *
569 *
570 * Alternatively, we could add the include paths for problematic headers with
571 * -isystem, but that is a larger hammer and is harder to search for.
572 *
573 * A more granular alternative would be to use #pragma GCC diagnostic
574 * push/ignored/pop, but gcc warns about unknown warnings being ignored, so
575 * every to-be-ignored-temporarily compiler warning would require its own
576 * pg_config.h symbol and #ifdef.
577 */
578#ifdef __GNUC__
579#define HAVE_PRAGMA_GCC_SYSTEM_HEADER 1
580#endif
581
582
583/* ----------------------------------------------------------------
584 * Section 2: bool, true, false
585 * ----------------------------------------------------------------
586 */
587
588/*
589 * bool
590 * Boolean value, either true or false.
591 *
592 * PostgreSQL currently cannot deal with bool of size other than 1; there are
593 * static assertions around the code to prevent that.
594 */
595
596#include <stdbool.h>
597
598
599/* ----------------------------------------------------------------
600 * Section 3: standard system types
601 * ----------------------------------------------------------------
602 */
603
604/*
605 * Pointer
606 * Variable holding address of any memory resident object.
607 * (obsolescent; use void * or char *)
608 */
609typedef void *Pointer;
610
611/* Historical names for types in <stdint.h>. */
612typedef int8_t int8;
620
621/*
622 * bitsN
623 * Unit of bitwise operation, AT LEAST N BITS IN SIZE.
624 */
625typedef uint8 bits8; /* >= 8 bits */
626typedef uint16 bits16; /* >= 16 bits */
627typedef uint32 bits32; /* >= 32 bits */
628
629/*
630 * 64-bit integers
631 */
632#define INT64CONST(x) INT64_C(x)
633#define UINT64CONST(x) UINT64_C(x)
634
635/* snprintf format strings to use for 64-bit integers */
636#define INT64_FORMAT "%" PRId64
637#define UINT64_FORMAT "%" PRIu64
638#define OID8_FORMAT "%" PRIu64
639
640/*
641 * 128-bit signed and unsigned integers
642 * There currently is only limited support for such types.
643 * E.g. 128bit literals and snprintf are not supported; but math is.
644 * Also, because we exclude such types when choosing MAXIMUM_ALIGNOF,
645 * it must be possible to coerce the compiler to allocate them on no
646 * more than MAXALIGN boundaries.
647 */
648#if defined(PG_INT128_TYPE)
649#if defined(pg_attribute_aligned) || ALIGNOF_PG_INT128_TYPE <= MAXIMUM_ALIGNOF
650#define HAVE_INT128 1
651
653#if defined(pg_attribute_aligned)
655#endif
656 ;
657
658typedef unsigned PG_INT128_TYPE uint128
659#if defined(pg_attribute_aligned)
661#endif
662 ;
663
664#endif
665#endif
666
667/* Historical names for limits in <stdint.h>. */
668#define PG_INT8_MIN INT8_MIN
669#define PG_INT8_MAX INT8_MAX
670#define PG_UINT8_MAX UINT8_MAX
671#define PG_INT16_MIN INT16_MIN
672#define PG_INT16_MAX INT16_MAX
673#define PG_UINT16_MAX UINT16_MAX
674#define PG_INT32_MIN INT32_MIN
675#define PG_INT32_MAX INT32_MAX
676#define PG_UINT32_MAX UINT32_MAX
677#define PG_INT64_MIN INT64_MIN
678#define PG_INT64_MAX INT64_MAX
679#define PG_UINT64_MAX UINT64_MAX
680
681/*
682 * We now always use int64 timestamps, but keep this symbol defined for the
683 * benefit of external code that might test it.
684 */
685#define HAVE_INT64_TIMESTAMP
686
687/*
688 * Size
689 * Size of any memory resident object, as returned by sizeof.
690 */
691typedef size_t Size;
692
693/*
694 * Index
695 * Index into any memory resident array.
696 *
697 * Note:
698 * Indices are non negative.
699 */
700typedef unsigned int Index;
701
702/*
703 * Offset
704 * Offset into any memory resident array.
705 *
706 * Note:
707 * This differs from an Index in that an Index is always
708 * non negative, whereas Offset may be negative.
709 */
710typedef signed int Offset;
711
712/*
713 * Common Postgres datatype names (as used in the catalogs)
714 */
715typedef float float4;
716typedef double float8;
717
718/*
719 * float8, int8, and related datatypes are now always pass-by-value.
720 * We keep this symbol to avoid breaking extension code that may use it.
721 */
722#define FLOAT8PASSBYVAL true
723
724/*
725 * Oid, Oid8, RegProcedure, TransactionId, SubTransactionId, MultiXactId,
726 * CommandId
727 */
728
729/* typedef Oid is in postgres_ext.h */
730
731/*
732 * regproc is the type name used in the include/catalog headers, but
733 * RegProcedure is the preferred name in C code.
734 */
735typedef Oid regproc;
737
739
741
743
744#define InvalidSubTransactionId ((SubTransactionId) 0)
745#define TopSubTransactionId ((SubTransactionId) 1)
746
747/* MultiXactId must be equivalent to TransactionId, to fit in t_xmax */
749
751
753
754#define FirstCommandId ((CommandId) 0)
755#define InvalidCommandId (~(CommandId)0)
756
757/* 8-byte Object ID */
758typedef uint64 Oid8;
759
760#define InvalidOid8 ((Oid8) 0)
761#define OID8_MAX UINT64_MAX
762
763/* ----------------
764 * Variable-length datatypes all share the 'varlena' header.
765 *
766 * NOTE: for TOASTable types, this is an oversimplification, since the value
767 * may be compressed or moved out-of-line. However datatype-specific routines
768 * are mostly content to deal with de-TOASTed values only, and of course
769 * client-side routines should never see a TOASTed value. But even in a
770 * de-TOASTed value, beware of touching vl_len_ directly, as its
771 * representation is no longer convenient. It's recommended that code always
772 * use macros VARDATA_ANY, VARSIZE_ANY, VARSIZE_ANY_EXHDR, VARDATA, VARSIZE,
773 * and SET_VARSIZE instead of relying on direct mentions of the struct fields.
774 * See varatt.h for details of the TOASTed form.
775 * ----------------
776 */
777typedef struct varlena
778{
779 char vl_len_[4]; /* Do not touch this field directly! */
780 char vl_dat[FLEXIBLE_ARRAY_MEMBER]; /* Data content is here */
782
783#define VARHDRSZ ((int32) sizeof(int32))
784
785/*
786 * These widely-used datatypes are just a varlena header and the data bytes.
787 * There is no terminating null or anything like that --- the data length is
788 * always VARSIZE_ANY_EXHDR(ptr).
789 */
791typedef varlena text;
792typedef varlena BpChar; /* blank-padded char, ie SQL char(n) */
793typedef varlena VarChar; /* var-length char, ie SQL varchar(n) */
794
795/*
796 * Specialized array types. These are physically laid out just the same
797 * as regular arrays (so that the regular array subscripting code works
798 * with them). They exist as distinct types mostly for historical reasons:
799 * they have nonstandard I/O behavior which we don't want to change for fear
800 * of breaking applications that look at the system catalogs. There is also
801 * an implementation issue for oidvector: it's part of the primary key for
802 * pg_proc, and we can't use the normal btree array support routines for that
803 * without circularity.
804 */
805typedef struct
806{
807 int32 vl_len_; /* these fields must match ArrayType! */
808 int ndim; /* always 1 for int2vector */
809 int32 dataoffset; /* always 0 for int2vector */
811 int dim1;
814} int2vector;
815
816typedef struct
817{
818 int32 vl_len_; /* these fields must match ArrayType! */
819 int ndim; /* always 1 for oidvector */
820 int32 dataoffset; /* always 0 for oidvector */
822 int dim1;
825} oidvector;
826
827/*
828 * Representation of a Name: effectively just a C string, but null-padded to
829 * exactly NAMEDATALEN bytes. The use of a struct is historical.
830 */
831typedef struct nameData
832{
835typedef NameData *Name;
836
837#define NameStr(name) ((name).data)
838
839
840/* ----------------------------------------------------------------
841 * Section 4: IsValid macros for system types
842 * ----------------------------------------------------------------
843 */
844/*
845 * BoolIsValid
846 * True iff bool is valid.
847 */
848#define BoolIsValid(boolean) ((boolean) == false || (boolean) == true)
849
850/*
851 * PointerIsAligned
852 * True iff pointer is properly aligned to point to the given type.
853 */
854#define PointerIsAligned(pointer, type) \
855 (((uintptr_t)(pointer) % (sizeof (type))) == 0)
856
857#define OffsetToPointer(base, offset) \
858 ((void *)((char *) base + offset))
859
860#define OidIsValid(objectId) ((bool) ((objectId) != InvalidOid))
861
862#define Oid8IsValid(objectId) ((bool) ((objectId) != InvalidOid8))
863
864#define RegProcedureIsValid(p) OidIsValid(p)
865
866
867/* ----------------------------------------------------------------
868 * Section 5: lengthof, alignment
869 * ----------------------------------------------------------------
870 */
871/*
872 * lengthof
873 * Number of elements in an array.
874 */
875#define lengthof(array) (sizeof (array) / sizeof ((array)[0]))
876
877/* ----------------
878 * Alignment macros: align a length or address appropriately for a given type.
879 * The fooALIGN() macros round up to a multiple of the required alignment,
880 * while the fooALIGN_DOWN() macros round down. The latter are more useful
881 * for problems like "how many X-sized structures will fit in a page?".
882 *
883 * NOTE: TYPEALIGN[_DOWN] will not work if ALIGNVAL is not a power of 2.
884 * That case seems extremely unlikely to be needed in practice, however.
885 *
886 * NOTE: MAXIMUM_ALIGNOF, and hence MAXALIGN(), intentionally exclude any
887 * larger-than-8-byte types the compiler might have.
888 * ----------------
889 */
890
891#define TYPEALIGN(ALIGNVAL,LEN) \
892 (((uintptr_t) (LEN) + ((ALIGNVAL) - 1)) & ~((uintptr_t) ((ALIGNVAL) - 1)))
893
894#define SHORTALIGN(LEN) TYPEALIGN(ALIGNOF_SHORT, (LEN))
895#define INTALIGN(LEN) TYPEALIGN(ALIGNOF_INT, (LEN))
896#define INT64ALIGN(LEN) TYPEALIGN(ALIGNOF_INT64_T, (LEN))
897#define DOUBLEALIGN(LEN) TYPEALIGN(ALIGNOF_DOUBLE, (LEN))
898#define MAXALIGN(LEN) TYPEALIGN(MAXIMUM_ALIGNOF, (LEN))
899/* MAXALIGN covers only built-in types, not buffers */
900#define BUFFERALIGN(LEN) TYPEALIGN(ALIGNOF_BUFFER, (LEN))
901#define CACHELINEALIGN(LEN) TYPEALIGN(PG_CACHE_LINE_SIZE, (LEN))
902
903#define TYPEALIGN_DOWN(ALIGNVAL,LEN) \
904 (((uintptr_t) (LEN)) & ~((uintptr_t) ((ALIGNVAL) - 1)))
905
906#define SHORTALIGN_DOWN(LEN) TYPEALIGN_DOWN(ALIGNOF_SHORT, (LEN))
907#define INTALIGN_DOWN(LEN) TYPEALIGN_DOWN(ALIGNOF_INT, (LEN))
908#define INT64ALIGN_DOWN(LEN) TYPEALIGN_DOWN(ALIGNOF_INT64_T, (LEN))
909#define DOUBLEALIGN_DOWN(LEN) TYPEALIGN_DOWN(ALIGNOF_DOUBLE, (LEN))
910#define MAXALIGN_DOWN(LEN) TYPEALIGN_DOWN(MAXIMUM_ALIGNOF, (LEN))
911#define BUFFERALIGN_DOWN(LEN) TYPEALIGN_DOWN(ALIGNOF_BUFFER, (LEN))
912
913/*
914 * The above macros will not work with types wider than uintptr_t, like with
915 * uint64 on 32-bit platforms. That's not problem for the usual use where a
916 * pointer or a length is aligned, but for the odd case that you need to
917 * align something (potentially) wider, use TYPEALIGN64.
918 */
919#define TYPEALIGN64(ALIGNVAL,LEN) \
920 (((uint64) (LEN) + ((ALIGNVAL) - 1)) & ~((uint64) ((ALIGNVAL) - 1)))
921
922/* we don't currently need wider versions of the other ALIGN macros */
923#define MAXALIGN64(LEN) TYPEALIGN64(MAXIMUM_ALIGNOF, (LEN))
924
925
926/* ----------------------------------------------------------------
927 * Section 6: assertions
928 * ----------------------------------------------------------------
929 */
930
931/*
932 * USE_ASSERT_CHECKING, if defined, turns on all the assertions.
933 * - plai 9/5/90
934 *
935 * It should _NOT_ be defined in releases or in benchmark copies
936 */
937
938/*
939 * Assert() can be used in both frontend and backend code. In frontend code it
940 * just calls the standard assert, if it's available. If use of assertions is
941 * not configured, it does nothing.
942 */
943#ifndef USE_ASSERT_CHECKING
944
945#define Assert(condition) ((void)true)
946#define AssertMacro(condition) ((void)true)
947
948#elif defined(FRONTEND)
949
950#define Assert(p) assert(p)
951#define AssertMacro(p) ((void) assert(p))
952
953#else /* USE_ASSERT_CHECKING && !FRONTEND */
954
955/*
956 * Assert
957 * Generates a fatal exception if the given condition is false.
958 */
959#define Assert(condition) \
960 do { \
961 if (!(condition)) \
962 ExceptionalCondition(#condition, __FILE__, __LINE__); \
963 } while (0)
964
965/*
966 * AssertMacro is the same as Assert but it's suitable for use in
967 * expression-like macros, for example:
968 *
969 * #define foo(x) (AssertMacro(x != 0), bar(x))
970 */
971#define AssertMacro(condition) \
972 ((void) ((condition) || \
973 (ExceptionalCondition(#condition, __FILE__, __LINE__), 0)))
974
975#endif /* USE_ASSERT_CHECKING && !FRONTEND */
976
977/*
978 * Check that `ptr' is `bndr' aligned.
979 */
980#define AssertPointerAlignment(ptr, bndr) \
981 Assert(TYPEALIGN(bndr, (uintptr_t)(ptr)) == (uintptr_t)(ptr))
982
983/*
984 * ExceptionalCondition is compiled into the backend whether or not
985 * USE_ASSERT_CHECKING is defined, so as to support use of extensions
986 * that are built with that #define with a backend that isn't. Hence,
987 * we should declare it as long as !FRONTEND.
988 */
989#ifndef FRONTEND
990pg_noreturn extern void ExceptionalCondition(const char *conditionName,
991 const char *fileName, int lineNumber);
992#endif
993
994/*
995 * Macros to support compile-time assertion checks.
996 *
997 * If the "condition" (a compile-time-constant expression) evaluates to false,
998 * throw a compile error using the "errmessage" (a string literal).
999 */
1000
1001/*
1002 * We require C11 and C++11, so static_assert() is expected to be there.
1003 * StaticAssertDecl() was previously used for portability, but it's now just a
1004 * plain wrapper and doesn't need to be used in new code. static_assert() is
1005 * a "declaration", and so it must be placed where for example a variable
1006 * declaration would be valid. As long as we compile with
1007 * -Wno-declaration-after-statement, that also means it cannot be placed after
1008 * statements in a function.
1009 */
1010#define StaticAssertDecl(condition, errmessage) \
1011 static_assert(condition, errmessage)
1012
1013/*
1014 * StaticAssertStmt() was previously used to make static assertions work as a
1015 * statement, but its use is now deprecated.
1016 */
1017#define StaticAssertStmt(condition, errmessage) \
1018 do { static_assert(condition, errmessage); } while(0)
1019
1020/*
1021 * StaticAssertExpr() is for use in an expression.
1022 *
1023 * See <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3715.pdf> for some
1024 * rationale for the precise behavior of this implementation. See
1025 * <https://stackoverflow.com/questions/31311748> about the C++
1026 * implementation.
1027 *
1028 * For compilers that don't support this, we fall back on a kluge that assumes
1029 * the compiler will complain about a negative width for a struct bit-field.
1030 * This will not include a helpful error message, but it beats not getting an
1031 * error at all.
1032 */
1033#ifndef __cplusplus
1034#if !defined(_MSC_VER) || _MSC_VER >= 1933
1035#define StaticAssertExpr(condition, errmessage) \
1036 ((void) sizeof(struct {static_assert(condition, errmessage); char a;}))
1037#else /* _MSC_VER < 1933 */
1038/*
1039 * This compiler is buggy and fails to compile the previous variant; use a
1040 * fallback implementation.
1041 */
1042#define StaticAssertExpr(condition, errmessage) \
1043 ((void) sizeof(struct { int static_assert_failure : (condition) ? 1 : -1; }))
1044#endif /* _MSC_VER < 1933 */
1045#else /* __cplusplus */
1046#define StaticAssertExpr(condition, errmessage) \
1047 ([]{static_assert(condition, errmessage);})
1048#endif
1049
1050
1051/*
1052 * Compile-time checks that a variable (or expression) has the specified type.
1053 *
1054 * StaticAssertVariableIsOfType() can be used as a declaration.
1055 * StaticAssertVariableIsOfTypeMacro() is intended for use in macros, eg
1056 * #define foo(x) (StaticAssertVariableIsOfTypeMacro(x, int), bar(x))
1057 *
1058 * If we don't have __builtin_types_compatible_p, we can still assert that
1059 * the types have the same size. This is far from ideal (especially on 32-bit
1060 * platforms) but it provides at least some coverage.
1061 */
1062#ifdef HAVE__BUILTIN_TYPES_COMPATIBLE_P
1063#define StaticAssertVariableIsOfType(varname, typename) \
1064 StaticAssertDecl(__builtin_types_compatible_p(typeof(varname), typename), \
1065 CppAsString(varname) " does not have type " CppAsString(typename))
1066#define StaticAssertVariableIsOfTypeMacro(varname, typename) \
1067 (StaticAssertExpr(__builtin_types_compatible_p(typeof(varname), typename), \
1068 CppAsString(varname) " does not have type " CppAsString(typename)))
1069#else /* !HAVE__BUILTIN_TYPES_COMPATIBLE_P */
1070#define StaticAssertVariableIsOfType(varname, typename) \
1071 StaticAssertDecl(sizeof(varname) == sizeof(typename), \
1072 CppAsString(varname) " does not have type " CppAsString(typename))
1073#define StaticAssertVariableIsOfTypeMacro(varname, typename) \
1074 (StaticAssertExpr(sizeof(varname) == sizeof(typename), \
1075 CppAsString(varname) " does not have type " CppAsString(typename)))
1076#endif /* HAVE__BUILTIN_TYPES_COMPATIBLE_P */
1077
1078
1079/* ----------------------------------------------------------------
1080 * Section 7: widely useful macros
1081 * ----------------------------------------------------------------
1082 */
1083/*
1084 * Max
1085 * Return the maximum of two numbers.
1086 */
1087#define Max(x, y) ((x) > (y) ? (x) : (y))
1088
1089/*
1090 * Min
1091 * Return the minimum of two numbers.
1092 */
1093#define Min(x, y) ((x) < (y) ? (x) : (y))
1094
1095
1096/* Get a bit mask of the bits set in non-size_t aligned addresses */
1097#define SIZE_T_ALIGN_MASK (sizeof(size_t) - 1)
1098
1099/*
1100 * MemSet
1101 * Exactly the same as standard library function memset(), but considerably
1102 * faster for zeroing small size_t-aligned structures (such as parsetree
1103 * nodes). This has to be a macro because the main point is to avoid
1104 * function-call overhead. However, we have also found that the loop is
1105 * faster than native libc memset() on some platforms, even those with
1106 * assembler memset() functions. More research needs to be done, perhaps
1107 * with MEMSET_LOOP_LIMIT tests in configure.
1108 */
1109#define MemSet(start, val, len) \
1110 do \
1111 { \
1112 /* must be void* because we don't know if it is size_t aligned yet */ \
1113 void *_vstart = (void *) (start); \
1114 int _val = (val); \
1115 Size _len = (len); \
1116\
1117 if ((((uintptr_t) _vstart) & SIZE_T_ALIGN_MASK) == 0 && \
1118 (_len & SIZE_T_ALIGN_MASK) == 0 && \
1119 _val == 0 && \
1120 _len <= MEMSET_LOOP_LIMIT && \
1121 /* \
1122 * If MEMSET_LOOP_LIMIT == 0, optimizer should find \
1123 * the whole "if" false at compile time. \
1124 */ \
1125 MEMSET_LOOP_LIMIT != 0) \
1126 { \
1127 size_t *_start = (size_t *) _vstart; \
1128 size_t *_stop = (size_t *) ((char *) _start + _len); \
1129 while (_start < _stop) \
1130 *_start++ = 0; \
1131 } \
1132 else \
1133 memset(_vstart, _val, _len); \
1134 } while (0)
1135
1136/*
1137 * MemSetAligned is the same as MemSet except it omits the test to see if
1138 * "start" is size_t-aligned. This is okay to use if the caller knows
1139 * a-priori that the pointer is suitably aligned (typically, because he just
1140 * got it from palloc(), which always delivers a max-aligned pointer).
1141 */
1142#define MemSetAligned(start, val, len) \
1143 do \
1144 { \
1145 size_t *_start = (size_t *) (start); \
1146 int _val = (val); \
1147 Size _len = (len); \
1148\
1149 if ((_len & SIZE_T_ALIGN_MASK) == 0 && \
1150 _val == 0 && \
1151 _len <= MEMSET_LOOP_LIMIT && \
1152 MEMSET_LOOP_LIMIT != 0) \
1153 { \
1154 size_t *_stop = (size_t *) ((char *) _start + _len); \
1155 while (_start < _stop) \
1156 *_start++ = 0; \
1157 } \
1158 else \
1159 memset(_start, _val, _len); \
1160 } while (0)
1161
1162
1163/*
1164 * Macros for range-checking float values before converting to integer.
1165 * We must be careful here that the boundary values are expressed exactly
1166 * in the float domain. PG_INTnn_MIN is an exact power of 2, so it will
1167 * be represented exactly; but PG_INTnn_MAX isn't, and might get rounded
1168 * off, so avoid using that.
1169 * The input must be rounded to an integer beforehand, typically with rint(),
1170 * else we might draw the wrong conclusion about close-to-the-limit values.
1171 * These macros will do the right thing for Inf, but not necessarily for NaN,
1172 * so check isnan(num) first if that's a possibility.
1174#define FLOAT4_FITS_IN_INT16(num) \
1175 ((num) >= (float4) PG_INT16_MIN && (num) < -((float4) PG_INT16_MIN))
1176#define FLOAT4_FITS_IN_INT32(num) \
1177 ((num) >= (float4) PG_INT32_MIN && (num) < -((float4) PG_INT32_MIN))
1178#define FLOAT4_FITS_IN_INT64(num) \
1179 ((num) >= (float4) PG_INT64_MIN && (num) < -((float4) PG_INT64_MIN))
1180#define FLOAT8_FITS_IN_INT16(num) \
1181 ((num) >= (float8) PG_INT16_MIN && (num) < -((float8) PG_INT16_MIN))
1182#define FLOAT8_FITS_IN_INT32(num) \
1183 ((num) >= (float8) PG_INT32_MIN && (num) < -((float8) PG_INT32_MIN))
1184#define FLOAT8_FITS_IN_INT64(num) \
1185 ((num) >= (float8) PG_INT64_MIN && (num) < -((float8) PG_INT64_MIN))
1186
1187
1188/* ----------------------------------------------------------------
1189 * Section 8: random stuff
1190 * ----------------------------------------------------------------
1191 */
1192
1193/*
1194 * Invert the sign of a qsort-style comparison result, ie, exchange negative
1195 * and positive integer values, being careful not to get the wrong answer
1196 * for INT_MIN. The argument should be an integral variable.
1197 */
1198#define INVERT_COMPARE_RESULT(var) \
1199 ((var) = ((var) < 0) ? 1 : -(var))
1200
1201/*
1202 * Use this, not "char buf[BLCKSZ]", to declare a field or local variable
1203 * holding a page buffer, if that page might be accessed as a page. Otherwise
1204 * the variable might be under-aligned, causing problems on alignment-picky
1205 * hardware.
1207typedef struct PGAlignedBlock
1208{
1209 alignas(MAXIMUM_ALIGNOF) char data[BLCKSZ];
1211
1212/*
1213 * alignas with extended alignments is buggy in g++ < 9. As a simple
1214 * workaround, we disable these definitions in that case.
1215 *
1216 * <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89357>
1217 */
1218#if !(defined(__cplusplus) && defined(__GNUC__) && !defined(__clang__) && __GNUC__ < 9)
1219
1220/*
1221 * Use this to declare a field or local variable holding a page buffer, if that
1222 * page might be accessed as a page or passed to an SMgr I/O function. If
1223 * allocating using the MemoryContext API, the aligned allocation functions
1224 * should be used with PG_IO_ALIGN_SIZE. This alignment may be more efficient
1225 * for I/O in general, but may be strictly required on some platforms when
1226 * using direct I/O.
1228typedef struct PGIOAlignedBlock
1229{
1230 alignas(PG_IO_ALIGN_SIZE) char data[BLCKSZ];
1232
1233/* Same, but for an XLOG_BLCKSZ-sized buffer */
1235{
1236 alignas(PG_IO_ALIGN_SIZE) char data[XLOG_BLCKSZ];
1238
1239#else /* (g++ < 9) */
1240
1241/* Allow these types to be used as abstract types when using old g++ */
1242typedef struct PGIOAlignedBlock PGIOAlignedBlock;
1244
1245#endif /* !(g++ < 9) */
1247/* msb for char */
1248#define HIGHBIT (0x80)
1249#define IS_HIGHBIT_SET(ch) ((unsigned char)(ch) & HIGHBIT)
1250
1251/*
1252 * Support macros for escaping strings. escape_backslash should be true
1253 * if generating a non-standard-conforming string. Prefixing a string
1254 * with ESCAPE_STRING_SYNTAX guarantees it is non-standard-conforming.
1255 * Beware of multiple evaluation of the "ch" argument!
1256 */
1257#define SQL_STR_DOUBLE(ch, escape_backslash) \
1258 ((ch) == '\'' || ((ch) == '\\' && (escape_backslash)))
1259
1260#define ESCAPE_STRING_SYNTAX 'E'
1263#define STATUS_OK (0)
1264#define STATUS_ERROR (-1)
1265#define STATUS_EOF (-2)
1266
1267/*
1268 * gettext support
1269 */
1271#ifndef ENABLE_NLS
1272/* stuff we'd otherwise get from <libintl.h> */
1273#define gettext(x) (x)
1274#define dgettext(d,x) (x)
1275#define ngettext(s,p,n) ((n) == 1 ? (s) : (p))
1276#define dngettext(d,s,p,n) ((n) == 1 ? (s) : (p))
1277#endif
1278
1279#define _(x) gettext(x)
1280
1281/*
1282 * Use this to mark string constants as needing translation at some later
1283 * time, rather than immediately. This is useful for cases where you need
1284 * access to the original string and translated string, and for cases where
1285 * immediate translation is not possible, like when initializing global
1286 * variables.
1288 * https://www.gnu.org/software/gettext/manual/html_node/Special-cases.html
1289 */
1290#define gettext_noop(x) (x)
1291
1292/*
1293 * To better support parallel installations of major PostgreSQL
1294 * versions as well as parallel installations of major library soname
1295 * versions, we mangle the gettext domain name by appending those
1296 * version numbers. The coding rule ought to be that wherever the
1297 * domain name is mentioned as a literal, it must be wrapped into
1298 * PG_TEXTDOMAIN(). The macros below do not work on non-literals; but
1299 * that is somewhat intentional because it avoids having to worry
1300 * about multiple states of premangling and postmangling as the values
1301 * are being passed around.
1302 *
1303 * Make sure this matches the installation rules in nls-global.mk.
1304 */
1305#ifdef SO_MAJOR_VERSION
1306#define PG_TEXTDOMAIN(domain) (domain CppAsString2(SO_MAJOR_VERSION) "-" PG_MAJORVERSION)
1307#else
1308#define PG_TEXTDOMAIN(domain) (domain "-" PG_MAJORVERSION)
1309#endif
1310
1311/*
1312 * Macro that allows to cast constness and volatile away from an expression, but doesn't
1313 * allow changing the underlying type. Enforcement of the latter
1314 * currently only works for gcc like compilers.
1315 *
1316 * Please note IT IS NOT SAFE to cast constness away if the result will ever
1317 * be modified (it would be undefined behaviour). Doing so anyway can cause
1318 * compiler misoptimizations or runtime crashes (modifying readonly memory).
1319 * It is only safe to use when the result will not be modified, but API
1320 * design or language restrictions prevent you from declaring that
1321 * (e.g. because a function returns both const and non-const variables).
1322 *
1323 * Note that this only works in function scope, not for global variables (it'd
1324 * be nice, but not trivial, to improve that).
1325 */
1326#if defined(__cplusplus)
1327#define unconstify(underlying_type, expr) const_cast<underlying_type>(expr)
1328#define unvolatize(underlying_type, expr) const_cast<underlying_type>(expr)
1329#else
1330#define unconstify(underlying_type, expr) \
1331 (StaticAssertVariableIsOfTypeMacro(expr, const underlying_type), \
1332 (underlying_type) (expr))
1333#define unvolatize(underlying_type, expr) \
1334 (StaticAssertVariableIsOfTypeMacro(expr, volatile underlying_type), \
1335 (underlying_type) (expr))
1336#endif
1337
1338/*
1339 * SSE2 instructions are part of the spec for the 64-bit x86 ISA. We assume
1340 * that compilers targeting this architecture understand SSE2 intrinsics.
1341 */
1342#if (defined(__x86_64__) || defined(_M_AMD64))
1343#define USE_SSE2
1344
1345/*
1346 * We use the Neon instructions if the compiler provides access to them (as
1347 * indicated by __ARM_NEON) and we are on aarch64. While Neon support is
1348 * technically optional for aarch64, it appears that all available 64-bit
1349 * hardware does have it. Neon exists in some 32-bit hardware too, but we
1350 * could not realistically use it there without a run-time check, which seems
1351 * not worth the trouble for now.
1352 */
1353#elif defined(__aarch64__) && defined(__ARM_NEON)
1354#define USE_NEON
1355#endif
1356
1357/* ----------------------------------------------------------------
1358 * Section 9: system-specific hacks
1359 *
1360 * This should be limited to things that absolutely have to be
1361 * included in every source file. The port-specific header file
1362 * is usually a better place for this sort of thing.
1363 * ----------------------------------------------------------------
1364 */
1365
1366/*
1367 * NOTE: this is also used for opening text files.
1368 * WIN32 treats Control-Z as EOF in files opened in text mode.
1369 * Therefore, we open files in binary mode on Win32 so we can read
1370 * literal control-Z. The other affect is that we see CRLF, but
1371 * that is OK because we can already handle those cleanly.
1372 */
1373#if defined(WIN32) || defined(__CYGWIN__)
1374#define PG_BINARY O_BINARY
1375#define PG_BINARY_A "ab"
1376#define PG_BINARY_R "rb"
1377#define PG_BINARY_W "wb"
1378#else
1379#define PG_BINARY 0
1380#define PG_BINARY_A "a"
1381#define PG_BINARY_R "r"
1382#define PG_BINARY_W "w"
1383#endif
1384
1385/*
1386 * Provide prototypes for routines not present in a particular machine's
1387 * standard C library.
1388 */
1389
1390#if !HAVE_DECL_FDATASYNC
1391extern int fdatasync(int fd);
1392#endif
1393
1394/*
1395 * Thin wrappers that convert strings to exactly 64-bit integers, matching our
1396 * definition of int64. (For the naming, compare that POSIX has
1397 * strtoimax()/strtoumax() which return intmax_t/uintmax_t.)
1398 */
1399#if SIZEOF_LONG == 8
1400#define strtoi64(str, endptr, base) ((int64) strtol(str, endptr, base))
1401#define strtou64(str, endptr, base) ((uint64) strtoul(str, endptr, base))
1402#elif SIZEOF_LONG_LONG == 8
1403#define strtoi64(str, endptr, base) ((int64) strtoll(str, endptr, base))
1404#define strtou64(str, endptr, base) ((uint64) strtoull(str, endptr, base))
1405#else
1406#error "cannot find integer type of the same size as int64_t"
1407#endif
1408
1409/*
1410 * Similarly, wrappers around labs()/llabs() matching our int64.
1411 */
1412#if SIZEOF_LONG == 8
1413#define i64abs(i) ((int64) labs(i))
1414#elif SIZEOF_LONG_LONG == 8
1415#define i64abs(i) ((int64) llabs(i))
1416#else
1417#error "cannot find integer type of the same size as int64_t"
1418#endif
1419
1420/*
1421 * Use "extern PGDLLIMPORT ..." to declare variables that are defined
1422 * in the core backend and need to be accessible by loadable modules.
1423 * No special marking is required on most ports.
1424 */
1425#ifndef PGDLLIMPORT
1426#define PGDLLIMPORT
1427#endif
1428
1429/*
1430 * Use "extern PGDLLEXPORT ..." to declare functions that are defined in
1431 * loadable modules and need to be callable by the core backend or other
1432 * loadable modules.
1433 * If the compiler knows __attribute__((visibility("*"))), we use that,
1434 * unless we already have a platform-specific definition. Otherwise,
1435 * no special marking is required.
1436 */
1437#ifndef PGDLLEXPORT
1438#ifdef HAVE_VISIBILITY_ATTRIBUTE
1439#define PGDLLEXPORT __attribute__((visibility("default")))
1440#else
1441#define PGDLLEXPORT
1442#endif
1443#endif
1444
1445/*
1446 * The following is used as the arg list for signal handlers. Any ports
1447 * that take something other than an int argument should override this in
1448 * their pg_config_os.h file. Note that variable names are required
1449 * because it is used in both the prototypes as well as the definitions.
1450 * Note also the long name. We expect that this won't collide with
1451 * other names causing compiler warnings.
1453
1454#ifndef SIGNAL_ARGS
1455#define SIGNAL_ARGS int postgres_signal_arg
1456#endif
1457
1458/*
1459 * When there is no sigsetjmp, its functionality is provided by plain
1460 * setjmp. We now support the case only on Windows. However, it seems
1461 * that MinGW-64 has some longstanding issues in its setjmp support,
1462 * so on that toolchain we cheat and use gcc's builtins.
1463 */
1464#ifdef WIN32
1465#ifdef __MINGW64__
1466typedef intptr_t sigjmp_buf[5];
1467#define sigsetjmp(x,y) __builtin_setjmp(x)
1468#define siglongjmp __builtin_longjmp
1469#else /* !__MINGW64__ */
1470#define sigjmp_buf jmp_buf
1471#define sigsetjmp(x,y) setjmp(x)
1472#define siglongjmp longjmp
1473#endif /* __MINGW64__ */
1474#endif /* WIN32 */
1475
1476/* /port compatibility functions */
1477#include "port.h"
1478
1479/*
1480 * char16_t and char32_t
1481 * Unicode code points.
1482 *
1483 * uchar.h should always be available in C11, but it's not available on
1484 * Mac. However, these types are keywords in C++11, so when using C++, we
1485 * can't redefine the types.
1486 *
1487 * XXX: when uchar.h is available everywhere, we can remove this check and
1488 * just include uchar.h unconditionally.
1489 *
1490 * XXX: this section is out of place because uchar.h needs to be included
1491 * after port.h, due to an interaction with win32_port.h in some cases.
1492 */
1493#ifdef HAVE_UCHAR_H
1494#include <uchar.h>
1495#else
1496#ifndef __cplusplus
1497typedef uint16_t char16_t;
1498typedef uint32_t char32_t;
1499#endif
1500#endif
1501
1502/* IWYU pragma: end_exports */
1503
1504#endif /* C_H */
static Datum values[MAXATTR]
Definition bootstrap.c:188
uint64 Oid8
Definition c.h:758
uint16 bits16
Definition c.h:626
NameData * Name
Definition c.h:835
int fdatasync(int fd)
uint8_t uint8
Definition c.h:616
uint32 SubTransactionId
Definition c.h:742
#define pg_noreturn
Definition c.h:184
pg_noreturn void ExceptionalCondition(const char *conditionName, const char *fileName, int lineNumber)
Definition assert.c:30
varlena BpChar
Definition c.h:792
int64_t int64
Definition c.h:615
Oid regproc
Definition c.h:735
double float8
Definition c.h:716
TransactionId MultiXactId
Definition c.h:748
#define FLEXIBLE_ARRAY_MEMBER
Definition c.h:552
int16_t int16
Definition c.h:613
regproc RegProcedure
Definition c.h:736
int8_t int8
Definition c.h:612
uint64 MultiXactOffset
Definition c.h:750
uint8 bits8
Definition c.h:625
uint32 bits32
Definition c.h:627
int32_t int32
Definition c.h:614
uint64_t uint64
Definition c.h:619
varlena bytea
Definition c.h:790
uint16_t uint16
Definition c.h:617
uint32_t uint32
Definition c.h:618
uint16_t char16_t
Definition c.h:1494
unsigned int Index
Definition c.h:700
float float4
Definition c.h:715
uint32 LocalTransactionId
Definition c.h:740
void * Pointer
Definition c.h:609
uint32 CommandId
Definition c.h:752
uint32 TransactionId
Definition c.h:738
signed int Offset
Definition c.h:710
uint32_t char32_t
Definition c.h:1495
varlena VarChar
Definition c.h:793
varlena text
Definition c.h:791
void(* pg_funcptr_t)(void)
Definition c.h:542
size_t Size
Definition c.h:691
struct nameData NameData
#define NAMEDATALEN
#define PG_IO_ALIGN_SIZE
unsigned int Oid
static int fd(const char *x, int i)
static int fb(int x)
char data[BLCKSZ]
Definition c.h:1206
char data[XLOG_BLCKSZ]
Definition c.h:1233
char data[BLCKSZ]
Definition c.h:1227
int32 vl_len_
Definition c.h:807
int ndim
Definition c.h:808
int dim1
Definition c.h:811
Oid elemtype
Definition c.h:810
int32 dataoffset
Definition c.h:809
int lbound1
Definition c.h:812
Definition c.h:832
char data[NAMEDATALEN]
Definition c.h:833
Definition c.h:817
int dim1
Definition c.h:822
int32 dataoffset
Definition c.h:820
Oid elemtype
Definition c.h:821
int lbound1
Definition c.h:823
int ndim
Definition c.h:819
int32 vl_len_
Definition c.h:818
Definition c.h:778
char vl_len_[4]
Definition c.h:779
char vl_dat[FLEXIBLE_ARRAY_MEMBER]
Definition c.h:780