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

11 lines
295 B
Solidity

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