HandlerInfo Struct Reference

List of all members.

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

---

Detailed Description

Todo:

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

Definition at line 36 of file SpecialFunctionHandler.cpp.

---

Member Data Documentation

bool HandlerInfo::doesNotReturn

Definition at line 39 of file SpecialFunctionHandler.cpp.

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

bool HandlerInfo::doNotOverride

Intrinsic has a return value.

Definition at line 41 of file SpecialFunctionHandler.cpp.

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

SpecialFunctionHandler::Handler HandlerInfo::handler

Definition at line 38 of file SpecialFunctionHandler.cpp.

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

bool HandlerInfo::hasReturnValue

Intrinsic terminates the process.

Definition at line 40 of file SpecialFunctionHandler.cpp.

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

const char* HandlerInfo::name

Definition at line 37 of file SpecialFunctionHandler.cpp.

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

---

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

• lib/Core/SpecialFunctionHandler.cpp