retdec
Namespaces | Functions
func_never_returns.cpp File Reference

Implementation of semantics::libc::funcNeverReturns() for LibcSemantics. More...

#include "retdec/llvmir2hll/semantics/semantics/libc_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::libc
 Implementation of LibcSemantics.
 

Functions

std::optional< bool > retdec::llvmir2hll::semantics::libc::funcNeverReturns (const std::string &funcName)
 Implements funcNeverReturns() for LibcSemantics. More...
 

Detailed Description

Implementation of semantics::libc::funcNeverReturns() for LibcSemantics.