assert.c

Go to the documentation of this file.

/*-------------------------------------------------------------------------
 *
 * assert.c
 *    Assert support code.
 *
 * Portions Copyright (c) 1996-2022, PostgreSQL Global Development Group
 * Portions Copyright (c) 1994, Regents of the University of California
 *
 *
 * IDENTIFICATION
 *    src/backend/utils/error/assert.c
 *
 *-------------------------------------------------------------------------
 */
#include "postgres.h"
 
#include <unistd.h>
#ifdef HAVE_EXECINFO_H
#include <execinfo.h>
#endif
 
/*
 * ExceptionalCondition - Handles the failure of an Assert()
 *
 * We intentionally do not go through elog() here, on the grounds of
 * wanting to minimize the amount of infrastructure that has to be
 * working to report an assertion failure.
 */
void
ExceptionalCondition(const char *conditionName,
                     const char *errorType,
                     const char *fileName,
                     int lineNumber)
{
    /* Report the failure on stderr (or local equivalent) */
    if (!PointerIsValid(conditionName)
        || !PointerIsValid(fileName)
        || !PointerIsValid(errorType))
        write_stderr("TRAP: ExceptionalCondition: bad arguments in PID %d\n",
                     (int) getpid());
    else
        write_stderr("TRAP: %s(\"%s\", File: \"%s\", Line: %d, PID: %d)\n",
                     errorType, conditionName,
                     fileName, lineNumber, (int) getpid());
 
    /* Usually this shouldn't be needed, but make sure the msg went out */
    fflush(stderr);
 
    /* If we have support for it, dump a simple backtrace */
#ifdef HAVE_BACKTRACE_SYMBOLS
    {
        void       *buf[100];
        int         nframes;
 
        nframes = backtrace(buf, lengthof(buf));
        backtrace_symbols_fd(buf, nframes, fileno(stderr));
    }
#endif
 
    /*
     * If configured to do so, sleep indefinitely to allow user to attach a
     * debugger.  It would be nice to use pg_usleep() here, but that can sleep
     * at most 2G usec or ~33 minutes, which seems too short.
     */
#ifdef SLEEP_ON_ASSERT
    sleep(1000000);
#endif
 
    abort();
}