test/libsolidity/syntaxTests/controlFlow/uninitializedAccess/modifier_post_access.sol


1
2
3
4
5
6
7
8
9
10
11
12
13

contract C {
    uint[] s;
    modifier mod(uint[] storage b) {
        _;
        b[0] = 0;
    }
    function f() mod(a) internal returns (uint[] storage a)
    {
        a = s;
    }
}
// ----
// TypeError: (120-121): This variable is of storage pointer type and can be accessed without prior assignment.