retdec
|
Implementation of semantics::win_api::funcNeverReturns() for WinAPISemantics. More...
#include "retdec/llvmir2hll/semantics/semantics/win_api_semantics/func_never_returns.h"
#include "retdec/llvmir2hll/support/types.h"
#include "retdec/utils/container.h"
Namespaces | |
retdec | |
retdec::llvmir2hll | |
retdec::llvmir2hll::semantics | |
Implementation of semantics. | |
retdec::llvmir2hll::semantics::win_api | |
Functions | |
std::optional< bool > | retdec::llvmir2hll::semantics::win_api::funcNeverReturns (const std::string &funcName) |
Implements funcNeverReturns() for WinAPISemantics. More... | |
Implementation of semantics::win_api::funcNeverReturns() for WinAPISemantics.