Uninitialized mapping storage pointers should be considered by the static anlysis component

[chriseth]

No description provided.

[ekpyron]

Related: #4427

[ekpyron]

The following is already an error (Type is required to live outside storage.):

function f() public pure returns(mapping(uint=>uint) storage) {}

i.e. mappings cannot be returned.

function f() public pure { mapping(uint=>uint) storage m; }

is also already an error Uninitialized mapping. Mappings cannot be created dynamically, you have to assign them from a state variable..

So it seems like nothing has to be done here.

[chriseth]

Argh, but this is bad, I would consider this to be a bug to be fixed for 0.5.0. New issue: #4670

[ekpyron]

Yes, I was wondering, whether this was actually ever intended :).