Warning about evaluation order dependent contract creation.
Open
medium effort
medium impact
must have
- Dominant language
- C++
- Stars
- 25.7k
- Forks
- 6.2k
- Avg merge
- 1d 11h
- Merged PRs (30d)
- 21
Description
Non-breaking part of https://github.com/ethereum/solidity/issues/10480
We should try to identify cases, in which semantics depends on the evaluation order during contract creation and warn about them. The cases, in which via-IR differs from legacy codegen are particularly dangerous.
Contributor guide
Research direction
Start by investigating contract-creation evaluation order and the cases where via-IR differs from legacy codegen, as described in the issue and linked Solidity issue #10480. The work is complete when those semantics-dependent cases are identified and the compiler warns about them.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp, solidity
- Domain
- blockchain, compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100