8 #ifndef RETDEC_LLVMIR2HLL_SEMANTICS_SEMANTICS_LIBC_SEMANTICS_FUNC_NEVER_RETURNS_H
9 #define RETDEC_LLVMIR2HLL_SEMANTICS_SEMANTICS_LIBC_SEMANTICS_FUNC_NEVER_RETURNS_H
A library providing API for working with back-end IR.
std::optional< bool > funcNeverReturns(const std::string &funcName)
Implements funcNeverReturns() for LibcSemantics.
Definition: func_never_returns.cpp:58
Definition: archive_wrapper.h:19