diff options
| author | chriseth <c@ethdev.com> | 2015-04-30 17:40:43 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-05-06 17:10:03 +0800 |
| commit | 3ebb7d99c4e24d7bc963c419790c9f0081cc47a1 (patch) | |
| tree | 9d20776d37f187127b8e9e720cbde9e2e8f6f575 /KnownState.cpp | |
| parent | 9106d72a02aa52b0c48db2eef7e4f9df213500b5 (diff) | |
| download | dexon-solidity-3ebb7d99c4e24d7bc963c419790c9f0081cc47a1.tar.gz dexon-solidity-3ebb7d99c4e24d7bc963c419790c9f0081cc47a1.tar.zst dexon-solidity-3ebb7d99c4e24d7bc963c419790c9f0081cc47a1.zip | |
More flexible way to approach unknown stack elements.
Diffstat (limited to 'KnownState.cpp')
| -rw-r--r-- | KnownState.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/KnownState.cpp b/KnownState.cpp index 244270fb..e83810d4 100644 --- a/KnownState.cpp +++ b/KnownState.cpp @@ -136,7 +136,7 @@ ExpressionClasses::Id KnownState::stackElement(int _stackHeight, SourceLocation if (m_stackElements.count(_stackHeight)) return m_stackElements.at(_stackHeight); // Stack element not found (not assigned yet), create new equivalence class. - return m_stackElements[_stackHeight] = initialStackElement(_stackHeight, _location); + return m_stackElements[_stackHeight] = m_expressionClasses->newId(); } ExpressionClasses::Id KnownState::initialStackElement( |