aboutsummaryrefslogtreecommitdiffstats
path: root/KnownState.cpp
diff options
context:
space:
mode:
authorchriseth <c@ethdev.com>2016-03-11 23:12:34 +0800
committerchriseth <c@ethdev.com>2016-03-11 23:12:34 +0800
commit2fe6037b9bc42946dafbf0f870ca59546712d14c (patch)
tree04008b8574ed61d907d6e444076ae549995547ad /KnownState.cpp
parent05d30fc7cf58ef57238295559aac709338e3c4ea (diff)
downloaddexon-solidity-2fe6037b9bc42946dafbf0f870ca59546712d14c.tar.gz
dexon-solidity-2fe6037b9bc42946dafbf0f870ca59546712d14c.tar.zst
dexon-solidity-2fe6037b9bc42946dafbf0f870ca59546712d14c.zip
Increment sequence number for opcodes that can write to memory or storage.
Diffstat (limited to 'KnownState.cpp')
-rw-r--r--KnownState.cpp10
1 files changed, 8 insertions, 2 deletions
diff --git a/KnownState.cpp b/KnownState.cpp
index 39cce3e8..dd269ff4 100644
--- a/KnownState.cpp
+++ b/KnownState.cpp
@@ -143,10 +143,16 @@ KnownState::StoreOperation KnownState::feedItem(AssemblyItem const& _item, bool
);
else
{
- if (SemanticInformation::invalidatesMemory(_item.instruction()))
+ bool invMem = SemanticInformation::invalidatesMemory(_item.instruction());
+ bool invStor = SemanticInformation::invalidatesStorage(_item.instruction());
+ // We could be a bit more fine-grained here (CALL only invalidates part of
+ // memory, etc), but we do not for now.
+ if (invMem)
resetMemory();
- if (SemanticInformation::invalidatesStorage(_item.instruction()))
+ if (invStor)
resetStorage();
+ if (invMem || invStor)
+ m_sequenceNumber += 2; // Increment by two because it can read and write
assertThrow(info.ret <= 1, InvalidDeposit, "");
if (info.ret == 1)
setStackElement(