klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
klee::SpecialFunctionHandler::HandlerInfo Struct Reference

#include <SpecialFunctionHandler.h>

Collaboration diagram for klee::SpecialFunctionHandler::HandlerInfo:

Public Attributes

const char * name
 
SpecialFunctionHandler::Handler handler
 
bool doesNotReturn
 
bool hasReturnValue
 Intrinsic terminates the process. More...
 
bool doNotOverride
 Intrinsic has a return value. More...
 

Detailed Description

Definition at line 41 of file SpecialFunctionHandler.h.

Member Data Documentation

bool klee::SpecialFunctionHandler::HandlerInfo::doesNotReturn

Definition at line 44 of file SpecialFunctionHandler.h.

Referenced by klee::SpecialFunctionHandler::prepare().

bool klee::SpecialFunctionHandler::HandlerInfo::doNotOverride

Intrinsic has a return value.

Definition at line 46 of file SpecialFunctionHandler.h.

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

SpecialFunctionHandler::Handler klee::SpecialFunctionHandler::HandlerInfo::handler

Definition at line 43 of file SpecialFunctionHandler.h.

Referenced by klee::SpecialFunctionHandler::bind().

bool klee::SpecialFunctionHandler::HandlerInfo::hasReturnValue

Intrinsic terminates the process.

Definition at line 45 of file SpecialFunctionHandler.h.

Referenced by klee::SpecialFunctionHandler::bind().

const char* klee::SpecialFunctionHandler::HandlerInfo::name

The documentation for this struct was generated from the following file: