PostgreSQL Source Code git master
assert.c
Go to the documentation of this file.
1/*-------------------------------------------------------------------------
2 *
3 * assert.c
4 * Assert support code.
5 *
6 * Portions Copyright (c) 1996-2025, PostgreSQL Global Development Group
7 * Portions Copyright (c) 1994, Regents of the University of California
8 *
9 *
10 * IDENTIFICATION
11 * src/backend/utils/error/assert.c
12 *
13 *-------------------------------------------------------------------------
14 */
15#include "postgres.h"
16
17#include <unistd.h>
18#ifdef HAVE_EXECINFO_H
19#include <execinfo.h>
20#endif
21
22/*
23 * ExceptionalCondition - Handles the failure of an Assert()
24 *
25 * We intentionally do not go through elog() here, on the grounds of
26 * wanting to minimize the amount of infrastructure that has to be
27 * working to report an assertion failure.
28 */
29void
30ExceptionalCondition(const char *conditionName,
31 const char *fileName,
32 int lineNumber)
33{
34 /* Report the failure on stderr (or local equivalent) */
35 if (!PointerIsValid(conditionName)
36 || !PointerIsValid(fileName))
37 write_stderr("TRAP: ExceptionalCondition: bad arguments in PID %d\n",
38 (int) getpid());
39 else
40 write_stderr("TRAP: failed Assert(\"%s\"), File: \"%s\", Line: %d, PID: %d\n",
41 conditionName, fileName, lineNumber, (int) getpid());
42
43 /* Usually this shouldn't be needed, but make sure the msg went out */
44 fflush(stderr);
45
46 /* If we have support for it, dump a simple backtrace */
47#ifdef HAVE_BACKTRACE_SYMBOLS
48 {
49 void *buf[100];
50 int nframes;
51
52 nframes = backtrace(buf, lengthof(buf));
53 backtrace_symbols_fd(buf, nframes, fileno(stderr));
54 }
55#endif
56
57 /*
58 * If configured to do so, sleep indefinitely to allow user to attach a
59 * debugger. It would be nice to use pg_usleep() here, but that can sleep
60 * at most 2G usec or ~33 minutes, which seems too short.
61 */
62#ifdef SLEEP_ON_ASSERT
63 sleep(1000000);
64#endif
65
66 abort();
67}
void ExceptionalCondition(const char *conditionName, const char *fileName, int lineNumber)
Definition: assert.c:30
#define write_stderr(str)
Definition: parallel.c:186
#define PointerIsValid(pointer)
Definition: c.h:720
#define lengthof(array)
Definition: c.h:745
static void const char fflush(stdout)
static char * buf
Definition: pg_test_fsync.c:72