Simple Summary
What’s the reason behind no gas refund for the cases when storage was not changed? For example, storage can be initialised, then erased and due subcall revert gas refund will not happened while storage remain unchanged. This makes transactions cost more than expected.
SSTORE(ptr, 1)
SSTORE(ptr, 0)
REVERT(0, 0)
What do you think about creating EIP to keep gas refund or even apply immediately right after internal revert?