Add assertion to check that code is never overwritten

ethereum · Jun 27, 2019 · 6c55857 · 6c55857
1 parent 2af454b
commit 6c55857
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/libethereum/State.cpp b/libethereum/State.cpp
@@ -518,6 +518,9 @@ bytes const& State::code(Address const& _addr) const
 
 void State::setCode(Address const& _address, bytes&& _code)
 {
+    // rollback assumes that overwriting of the code never happens
+    // (not allowed in contract creation logic in Executive)
+    assert(!addressHasCode(_address));
     m_changeLog.emplace_back(Change::Code, _address);
     m_cache[_address].setCode(std::move(_code));
 }