Home

Disclaimer

Please refer to the actual documentation of Solidity language. This wiki is being used only as internal repository for information about the new type system currently under development.

Legacy Code Generation

Known Violations of the Memory Model

Legacy code generation may write to the static memory region beyond the scratch space preventing stack-to-memory. Examples include:

CompilerContext::appendConditionalRevert