retdec
func_never_returns.h
Go to the documentation of this file.
1 
8 #ifndef RETDEC_LLVMIR2HLL_SEMANTICS_SEMANTICS_LIBC_SEMANTICS_FUNC_NEVER_RETURNS_H
9 #define RETDEC_LLVMIR2HLL_SEMANTICS_SEMANTICS_LIBC_SEMANTICS_FUNC_NEVER_RETURNS_H
10 
11 #include <optional>
12 #include <string>
13 
14 namespace retdec {
15 namespace llvmir2hll {
16 namespace semantics {
17 namespace libc {
18 
19 std::optional<bool> funcNeverReturns(const std::string &funcName);
20 
21 } // namespace libc
22 } // namespace semantics
23 } // namespace llvmir2hll
24 } // namespace retdec
25 
26 #endif
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