diff options
author | chriseth <c@ethdev.com> | 2015-05-04 16:15:41 +0800 |
---|---|---|
committer | chriseth <c@ethdev.com> | 2015-05-06 18:53:17 +0800 |
commit | 9d7eb49f35f801b53960135b7c353fa64cea7439 (patch) | |
tree | 07181ef831d3a577a6fdfbfc92f8aff6dc168956 /SemanticInformation.cpp | |
parent | a2e3bcbd0c45a79a9709dc8a69858765ab904805 (diff) | |
download | dexon-solidity-9d7eb49f35f801b53960135b7c353fa64cea7439.tar.gz dexon-solidity-9d7eb49f35f801b53960135b7c353fa64cea7439.tar.zst dexon-solidity-9d7eb49f35f801b53960135b7c353fa64cea7439.zip |
Gather knowledge about the state during control flow analysis.
Diffstat (limited to 'SemanticInformation.cpp')
-rw-r--r-- | SemanticInformation.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/SemanticInformation.cpp b/SemanticInformation.cpp index 40c36f9e..056162b5 100644 --- a/SemanticInformation.cpp +++ b/SemanticInformation.cpp @@ -128,7 +128,6 @@ bool SemanticInformation::isDeterministic(AssemblyItem const& _item) { if (_item.type() != Operation) return true; - assertThrow(!altersControlFlow(_item), OptimizerException, ""); switch (_item.instruction()) { |