cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Apply a better way to annotate unreachability to the C++ compiler.

Browse Source
This commit is contained in:
Christian Parpart
2022-06-07 16:41:04 +02:00
parent 927da20ce4
commit 4ae43884d0
6 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsmtutil/CVC4Interface.cpp
+1 -1
View File
@@ -292,7 +292,7 @@ CVC4::Expr CVC4Interface::toCVC4Expr(Expression const& _expr)
smtAssert(false);
// FIXME: Workaround for spurious GCC 12.1 warning (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105794)
throw exception();
util::unreachable();
}
CVC4::Type CVC4Interface::cvc4Sort(Sort const& _sort)
libsmtutil/Z3Interface.cpp
+2 -2
View File
@@ -274,7 +274,7 @@ z3::expr Z3Interface::toZ3Expr(Expression const& _expr)
smtAssert(false);
// FIXME: Workaround for spurious GCC 12.1 warning (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105794)
throw exception();
util::unreachable();
}
Expression Z3Interface::fromZ3Expr(z3::expr const& _expr)
@@ -385,7 +385,7 @@ Expression Z3Interface::fromZ3Expr(z3::expr const& _expr)
smtAssert(false);
// FIXME: Workaround for spurious GCC 12.1 warning (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105794)
throw exception();
util::unreachable();
}
z3::sort Z3Interface::z3Sort(Sort const& _sort)