diff options
| author | chriseth <c@ethdev.com> | 2015-05-13 03:27:04 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-05-13 23:15:32 +0800 |
| commit | cebc959ff3d7dab6a41833013ffe22728def3221 (patch) | |
| tree | c997849fb951a132c06ffaf3af45b3f3958f3f12 /ControlFlowGraph.h | |
| parent | 2654daab2628181597bb4c35ae69ca378248f8ba (diff) | |
| download | dexon-solidity-cebc959ff3d7dab6a41833013ffe22728def3221.tar.gz dexon-solidity-cebc959ff3d7dab6a41833013ffe22728def3221.tar.zst dexon-solidity-cebc959ff3d7dab6a41833013ffe22728def3221.zip | |
Known state: store tags on stack as unions.
Diffstat (limited to 'ControlFlowGraph.h')
| -rw-r--r-- | ControlFlowGraph.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/ControlFlowGraph.h b/ControlFlowGraph.h index 3366dc45..4480ba49 100644 --- a/ControlFlowGraph.h +++ b/ControlFlowGraph.h @@ -108,10 +108,6 @@ private: void setPrevLinks(); BasicBlocks rebuildCode(); - /// @returns the corresponding BlockId if _id is a pushed jump tag, - /// and an invalid BlockId otherwise. - BlockId expressionClassToBlockId(ExpressionClasses::Id _id, ExpressionClasses& _exprClasses); - BlockId generateNewId(); unsigned m_lastUsedId = 0; |