diff options
| author | Christian Parpart <christian@parpart.family> | 2018-10-17 17:33:35 +0800 |
|---|---|---|
| committer | Christian Parpart <christian@ethereum.org> | 2018-10-26 19:13:57 +0800 |
| commit | f08ab772499923ccea29806525c7f2589bc5b343 (patch) | |
| tree | 86a1aa93b0af67c528182858662a0b306743d189 /libyul/Exceptions.h | |
| parent | 41375b5d79a77d392922f36f149d5bef269303e6 (diff) | |
| download | dexon-solidity-f08ab772499923ccea29806525c7f2589bc5b343.tar.gz dexon-solidity-f08ab772499923ccea29806525c7f2589bc5b343.tar.zst dexon-solidity-f08ab772499923ccea29806525c7f2589bc5b343.zip | |
Yul: Implements empty-var-decl-propagation
Diffstat (limited to 'libyul/Exceptions.h')
| -rw-r--r-- | libyul/Exceptions.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libyul/Exceptions.h b/libyul/Exceptions.h index c423b66f..0c421dbf 100644 --- a/libyul/Exceptions.h +++ b/libyul/Exceptions.h @@ -30,6 +30,11 @@ namespace yul struct YulException: virtual Exception {}; struct OptimizerException: virtual YulException {}; +struct YulAssertion: virtual YulException {}; + +/// Assertion that throws an YulAssertion containing the given description if it is not met. +#define yulAssert(CONDITION, DESCRIPTION) \ + assertThrow(CONDITION, ::dev::yul::YulException, DESCRIPTION) } } |