From 9d7eb49f35f801b53960135b7c353fa64cea7439 Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 4 May 2015 10:15:41 +0200 Subject: Gather knowledge about the state during control flow analysis. --- SemanticInformation.h | 1 - 1 file changed, 1 deletion(-) (limited to 'SemanticInformation.h') 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); -- cgit