Staticcalling a non-existent contract in constructor fails

[hacker-DOM]

I have a library

library MockConsole {
	address constant CONSOLE_ADDRESS = address(0x000000000000000000636F6e736F6c652e6c6f67);
	function _sendLogPayload(bytes memory payload) private view {
		uint256 payloadLength = payload.length;
		address consoleAddress = CONSOLE_ADDRESS;
		assembly {
			let payloadStart := add(payload, 32)
			let r := staticcall(gas(), consoleAddress, payloadStart, payloadLength, 0, 0)
		}
	}
    function log(string memory p0, uint p1) internal view {
		_sendLogPayload(abi.encodeWithSignature("log(string,uint)", p0, p1));
	}
}

and inside of a constructor, I am calling like MockConsole.log("foo", 5). The CONSOLE_ADDRESS is an EOA in my context, so I would expect the staticcall to succeed. Instead, the deployment fails with:

echidna-test: Deploying the contract failed (revert, out-of-gas, sending ether to an non-payable constructor, etc.)

Note: When I uncomment the line with the staticcall, the deployment succeeds.

This looks like an hevm issues, any ideas?

[montyly]

Smaller example:

contract Test{
    constructor() public{
        address a = address(0xdeadbeef);
        a.call("");
    }
    bool public echidna_test = true;
}

[montyly]

A more problematic example:

contract Test{
    function f() public{
        address payable a = address(0xdeadbeef);
        a.call("");
        echidna_test = false;
    }
    bool public echidna_test = true;
}

[hacker-DOM]

Quick workaround:
Set sender: ["0x00000000000000000000000000000000deadbeef"] in echidna config file.

[ggrieco-tob]

Closing in favor of #653