klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
SpecialFunctionHandler.cpp File Reference
#include "Common.h"
#include "Memory.h"
#include "SpecialFunctionHandler.h"
#include "TimingSolver.h"
#include "klee/ExecutionState.h"
#include "klee/Internal/Module/KInstruction.h"
#include "klee/Internal/Module/KModule.h"
#include "Executor.h"
#include "MemoryManager.h"
#include "llvm/IR/Module.h"
#include "llvm/ADT/Twine.h"
#include "llvm/Support/Debug.h"
#include <errno.h>
Include dependency graph for SpecialFunctionHandler.cpp:

Go to the source code of this file.

Macros

#define add(name, handler, ret)
 
#define addDNR(name, handler)
 

Variables

static
SpecialFunctionHandler::HandlerInfo 
handlerInfo []
 

Macro Definition Documentation

#define add (   name,
  handler,
  ret 
)
Value:
{ name, \
&SpecialFunctionHandler::handler, \
false, ret, false }

Referenced by klee::STPBuilder::constructMulByConstant().

#define addDNR (   name,
  handler 
)
Value:
{ name, \
&SpecialFunctionHandler::handler, \
true, false, false }

Variable Documentation

Todo:
Almost all of the demands in this file should be replaced with terminateState calls.

Definition at line 49 of file SpecialFunctionHandler.cpp.

Referenced by klee::SpecialFunctionHandler::begin(), klee::SpecialFunctionHandler::bind(), klee::SpecialFunctionHandler::prepare(), and klee::SpecialFunctionHandler::size().