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

mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
contract C {
    uint[] s;
    function f() internal returns (uint[] storage a)
    {
        revert();
        a[0] = 0;
        a = s;
    }
}
// ----
Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses. 2018-12-07 17:20:35 +00:00			`contract C {`
			`uint[] s;`
			`function f() internal returns (uint[] storage a)`
			`{`
			`revert();`
			`a[0] = 0;`
			`a = s;`
			`}`
			`}`
			`// ----`