FailPlatformSpecific.h

#ifndef FAILPLATFORMSPECIFIC_H      /* -*- C++ -*- */
#define FAILPLATFORMSPECIFIC_H

#include <setjmp.h>   /* For jmp_buf, setjmp, longjmp */
#include <stdio.h>    /* For FILE */
#include <pthread.h>  /* For __thread */

typedef struct MFMErrorEnvironment * volatile MFMErrorEnvironmentPointer_t;

struct MFMErrorEnvironment {
  jmp_buf buffer;               /* the system state as of the unwind_protect entry */
  volatile const char * file;   /* the file name of the original failure */
  volatile int lineno;          /* the line number of the original failure */
  volatile int thrown;          /* Return value(s) from setjmp call */
  MFMErrorEnvironmentPointer_t prev; /* Back link to previous error environment */
} ;


/* Pointer to thread-local error environment stack top */
extern "C"
  __thread MFMErrorEnvironmentPointer_t * MFMPtrToErrEnvStackPtr;

extern "C" void MFMPrintErrorEnvironment(FILE * stream, MFMErrorEnvironmentPointer_t errenv) ;

extern "C" void MFMPrintError(FILE * stream, const char * file, const int line, const int code) ;

extern "C" void MFMFailHere(const char * file, const int line, const int code) __attribute__ ((noreturn));
extern "C" void MFMLongJmpHere(jmp_buf buffer, const int toThrow) __attribute__ ((noreturn));
extern "C" const char * MFMFailCodeReason(int failCode) ;

#define MFM_FAIL_CODE_NUMBER(code) (MFM_FAIL_CODE_REASON_##code)

#define FAIL(code)                                                 \
  ((MFMPtrToErrEnvStackPtr && *MFMPtrToErrEnvStackPtr)?            \
   ((*MFMPtrToErrEnvStackPtr)->file = __FILE__,                    \
    (*MFMPtrToErrEnvStackPtr)->lineno = __LINE__,                  \
    MFMLongJmpHere((*MFMPtrToErrEnvStackPtr)->buffer,              \
                   MFM_FAIL_CODE_NUMBER(code)),0) :                \
   (MFMFailHere(__FILE__,__LINE__,                                 \
                MFM_FAIL_CODE_NUMBER(code)),0))

#define unwind_protect(cleanup,block)                                         \
do {                                                                          \
  MFMErrorEnvironment unwindProtect_errorEnvironment;                         \
  unwindProtect_errorEnvironment.prev = (*MFMPtrToErrEnvStackPtr);            \
  (*MFMPtrToErrEnvStackPtr) = &unwindProtect_errorEnvironment;                \
  if ((unwindProtect_errorEnvironment.thrown =                                \
       setjmp(unwindProtect_errorEnvironment.buffer)) != 0) {                 \
    /* Currently nothing special to do */                                     \
  } else {                                                                    \
    {block}                                                                   \
  }                                                                           \
  (*MFMPtrToErrEnvStackPtr) = (*MFMPtrToErrEnvStackPtr)->prev;                \
  if (unwindProtect_errorEnvironment.thrown) {                                \
    int MFMThrownFailCode __attribute__ ((unused)) =                          \
      unwindProtect_errorEnvironment.thrown;                                  \
    {cleanup}                                                                 \
  }                                                                           \
} while (0)


#endif /*FAILPLATFORMSPECIFIC_H*/