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

Syntax for custom errors.

Browse Source
This commit is contained in:
chriseth
2021-02-01 18:26:31 +01:00
parent c7d1e1911e
commit 4d1fd84150
62 changed files with 651 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files
libsolidity/formal/SMTEncoder.cpp
+2
View File
@@ -725,6 +725,8 @@ void SMTEncoder::endVisit(FunctionCall const& _funCall)
arrayPop(_funCall);
break;
case FunctionType::Kind::Event:
case FunctionType::Kind::Error:
// TODO but are side-effects of arguments taken into account?
// This can be safely ignored.
break;
case FunctionType::Kind::ObjectCreation: