Default values for uninitialized memory struct

[hajduakos]

pragma solidity>=0.5.0;

contract Issue102 {
    struct S {
        int x;
        bool b;
    }

    function() external payable {
        S memory s; // Allocate new and set default values
        assert(s.x == 0);
        assert(s.b == false);
    }
}

$ solc-verify.py issues/Issue102.sol --show-warnings
issues/Issue102.sol:10:9: solc-verify warning: Unhandled default value, verification might fail
Issue102::[fallback]: ERROR
 - issues/Issue102.sol:11:9: Assertion might not hold.
 - issues/Issue102.sol:12:9: Assertion might not hold.
Issue102::[implicit_constructor]: OK
Errors were found by the verifier.

(Asserts should hold)

[hajduakos]

Works in af8257d if there is no nesting, closing this issue. See #114