ExternalDispatcher.cpp File Reference

#include "ExternalDispatcher.h"
#include "llvm/Module.h"
#include "llvm/Constants.h"
#include "llvm/DerivedTypes.h"
#include "llvm/Instructions.h"
#include "llvm/ModuleProvider.h"
#include "llvm/ExecutionEngine/JIT.h"
#include "llvm/ExecutionEngine/GenericValue.h"
#include "llvm/Support/CallSite.h"
#include "llvm/System/DynamicLibrary.h"
#include "llvm/Support/Streams.h"
#include "llvm/Support/raw_ostream.h"
#include <setjmp.h>
#include <signal.h>

Include dependency graph for ExternalDispatcher.cpp:

Go to the source code of this file.

Functions

static void sigsegv_handler (int signal, siginfo_t *info, void *context)

Variables

static jmp_buf escapeCallJmpBuf
static uint64_t * gTheArgsP


Function Documentation

static void sigsegv_handler ( int  signal,
siginfo_t *  info,
void *  context 
) [static]

Definition at line 35 of file ExternalDispatcher.cpp.

References escapeCallJmpBuf.


Variable Documentation

jmp_buf escapeCallJmpBuf [static]

Definition at line 31 of file ExternalDispatcher.cpp.

Referenced by sigsegv_handler().

uint64_t* gTheArgsP [static]

Definition at line 136 of file ExternalDispatcher.cpp.


Generated on Fri Jun 5 03:31:43 2009 for klee by  doxygen 1.5.8