solidity/test/libsolidity/syntaxTests/controlFlow/uninitializedAccess/modifier_pre_access.sol
2022-04-01 23:41:18 -05:00

14 lines
352 B
Solidity

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