constant_condition.sol « unreachableCode « controlFlow « syntaxTests « libsolidity « test - dexon-solidity - DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)

about summary refs log tree commit diff stats

path: root/test/libsolidity/syntaxTests/controlFlow/unreachableCode/constant_condition.sol

blob: e00398bc08f7a3f76ec4cca6d812bbc87e55b75c (plain) (blame)

contract C {
    function f() public pure {
        if (false) {
            return; // unreachable, but not yet detected
        }
        return;
    }
}