retdec
Namespaces | Functions
func_never_returns.h File Reference

Provides function funcNeverReturns() for WinAPISemantics in the semantics::win_api namespace. More...

#include <optional>
#include <string>

Go to the source code of this file.

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...
 

Detailed Description

Provides function funcNeverReturns() for WinAPISemantics in the semantics::win_api namespace.