vyperlang / vyper

Pythonic Smart Contract Language for the EVM
https://vyperlang.org
Other
4.84k stars 788 forks source link

Missing Constancy Check for Transient Storage #4018

Closed ritzdorf closed 3 months ago

ritzdorf commented 4 months ago

Version Information

In Stmt._get_target(), the target is checked not to have a storage location in the case the context is constant. However, the check is missing for the case where the target is in transient storage. Given that the semantic analysis phase should make the compiler fail earlier if transient storage is accessed in a constant context, no impact of the missing check could be found.

charles-cooper commented 3 months ago

should be fixed in #4015