Add assertion to check that code is never overwritten

ethereum · Jun 27, 2019 · d5c1e1a · d5c1e1a
1 parent 2af454b
commit d5c1e1a
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());
     m_changeLog.emplace_back(Change::Code, _address);
     m_cache[_address].setCode(std::move(_code));
 }