solidity/test/libsolidity/syntaxTests/controlFlow/uninitializedAccess/assembly.sol

contract C {
	uint[] r;
    function f() internal view returns (uint[] storage s) {
        assembly { pop(s.slot) }
        s = r;
    }
}
// ----
// TypeError 3464: (107-113): This variable is of storage pointer type and can be accessed without prior assignment, which would lead to undefined behaviour.
Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses. 2018-12-07 17:20:35 +00:00			`contract C {`
			`uint[] r;`
			`function f() internal view returns (uint[] storage s) {`
Use `.slot` and `.offest` to access storage items. 2020-07-01 17:25:14 +00:00			`assembly { pop(s.slot) }`
Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses. 2018-12-07 17:20:35 +00:00			`s = r;`
			`}`
			`}`
			`// ----`
Added error codes to SyntaxTest expectations (updated tests) 2020-06-19 00:26:46 +00:00			`// TypeError 3464: (107-113): This variable is of storage pointer type and can be accessed without prior assignment, which would lead to undefined behaviour.`