mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
revert use of [[noreturn]]. It's not fully supported on compilers #1435
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
7457fa77cb
commit
16044c74bf
|
@ -1519,7 +1519,7 @@ void ast_manager::compress_ids() {
|
|||
m_ast_table.insert(a);
|
||||
}
|
||||
|
||||
[[noreturn]] void ast_manager::raise_exception(char const * msg) {
|
||||
void ast_manager::raise_exception(char const * msg) {
|
||||
throw ast_exception(msg);
|
||||
}
|
||||
|
||||
|
|
|
@ -53,6 +53,12 @@ Revision History:
|
|||
#pragma warning(disable : 4355)
|
||||
#endif
|
||||
|
||||
#ifdef __GNUC__
|
||||
# define Z3_NORETURN __attribute__((noreturn))
|
||||
#else
|
||||
# define Z3_NORETURN
|
||||
#endif
|
||||
|
||||
class ast;
|
||||
class ast_manager;
|
||||
|
||||
|
@ -1515,7 +1521,7 @@ public:
|
|||
void compress_ids();
|
||||
|
||||
// Equivalent to throw ast_exception(msg)
|
||||
[[noreturn]] void raise_exception(char const * msg);
|
||||
void raise_exception(char const * msg) Z3_NORETURN;
|
||||
|
||||
bool is_format_manager() const { return m_format_manager == 0; }
|
||||
|
||||
|
|
Loading…
Reference in a new issue