crash.c File Reference

---

Detailed Description

A simple crash handler.

Author:

Christian Biere

Date:

2006

#include "common.h"
#include "lib/misc.h"
#include "lib/vmm.h"
#include "lib/override.h"

Defines
#define	D(x)   { #x, x }
#define	print_str(x)
Functions
void	crash_message (const char *reason)
void	crash_exec (const char *pathname, const char *argv0)
void	crash_handler (int signo)
void	crash_init (const char *pathname, const char *argv0, int pause_process)
	Installs a simple crash handler.
Variables
struct {
const char *   pathname
const char *   argv0
int   pause_process
}	vars
struct {
const char   name [16]
int   signo
}	signals []

---

Define Documentation

#define D (  x   )     { #x, x }

#define print_str (  x   )

Value: G_STMT_START { \ if (iov_cnt < G_N_ELEMENTS(iov)) { \ const char *ptr = (x); \ if (ptr) { \ iov[iov_cnt].iov_base = (char *) ptr; \ iov[iov_cnt].iov_len = strlen(ptr); \ iov_cnt++; \ } \ } \ } G_STMT_END

---

Function Documentation

void crash_exec (  const char *  pathname, const char *  argv0 )  [static]

void crash_handler (  int  signo  )  [static]

void crash_init (  const char *  pathname, const char *  argv0, int  pause_process )

Installs a simple crash handler. Parameters: pathname  The pathname of the program to execute on crash. argv0  The original argv[0] from main().

void crash_message (  const char *  reason  )  [static]

---

Variable Documentation

const char* argv0

const char name[16]

const char* pathname

int pause_process

const { ... } signals[] [static]

int signo

struct { ... } vars [static]

---