diff --git a/EIPS/eip-7620.md b/EIPS/eip-7620.md index f690f07a546379..8b672835bdbde3 100644 --- a/EIPS/eip-7620.md +++ b/EIPS/eip-7620.md @@ -103,7 +103,8 @@ We extend code section validation rules (as defined in [EIP-3670](./eip-3670.md) 5. `RETURNCONTRACT` the subcontainer pointed to `deploy_container_index` must not contain a `RETURNCONTRACT` instruction 6. It is an error for a container to contain both `RETURNCONTRACT` and either of `RETURN` or `STOP` 7. It is an error for a subcontainer to never be referenced in its parent container -8. `RJUMP`, `RJUMPI` and `RJUMPV` immediate argument value (jump destination relative offset) validation: code section is invalid in case offset points to the byte directly following either `EOFCREATE` or `RETURNCONTRACT` instruction. +8. It is an error for a given subcontainer to be referenced by both `RETURNCONTRACT` and `EOFCREATE` +9. `RJUMP`, `RJUMPI` and `RJUMPV` immediate argument value (jump destination relative offset) validation: code section is invalid in case offset points to the byte directly following either `EOFCREATE` or `RETURNCONTRACT` instruction. ### Data Section Lifecycle