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.h | |
| 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.h')
| -rw-r--r-- | SemanticInformation.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/SemanticInformation.h b/SemanticInformation.h index b14ddb65..094f4591 100644 --- a/SemanticInformation.h +++ b/SemanticInformation.h @@ -48,7 +48,6 @@ struct SemanticInformation static bool altersControlFlow(AssemblyItem const& _item); /// @returns false if the value put on the stack by _item depends on anything else than /// the information in the current block header, memory, storage or stack. - /// @note should not be called for instructions that alter the control flow. static bool isDeterministic(AssemblyItem const& _item); /// @returns true if the given instruction modifies memory. static bool invalidatesMemory(Instruction _instruction); |