klee
Public Attributes | List of all members
klee::SpecialFunctionHandler::HandlerInfo Struct Reference

#include <SpecialFunctionHandler.h>

Collaboration diagram for klee::SpecialFunctionHandler::HandlerInfo:
Collaboration graph
[legend]

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 43 of file SpecialFunctionHandler.h.

Member Data Documentation

◆ doesNotReturn

bool klee::SpecialFunctionHandler::HandlerInfo::doesNotReturn

Definition at line 46 of file SpecialFunctionHandler.h.

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

◆ doNotOverride

bool klee::SpecialFunctionHandler::HandlerInfo::doNotOverride

Intrinsic has a return value.

Definition at line 48 of file SpecialFunctionHandler.h.

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

◆ handler

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

Definition at line 45 of file SpecialFunctionHandler.h.

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

◆ hasReturnValue

bool klee::SpecialFunctionHandler::HandlerInfo::hasReturnValue

Intrinsic terminates the process.

Definition at line 47 of file SpecialFunctionHandler.h.

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

◆ name

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

Definition at line 44 of file SpecialFunctionHandler.h.

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

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