Function comparison is not supported

[dddejan]

trafficstars

Although we don't support functions, an appropriate message should be reported

contract C {
    function f() public returns (bool ret) {
        return f == f;
    }
    function g() public returns (bool ret) {
        return f != f;
    }
}

Error:

./solc-verify.py test/libsolidity/syntaxTests/nameAndTypeResolution/024_comparison_of_function_types_eq.sol --output .
Error while running verifier, details:
Parsing ./024_comparison_of_function_types_eq.sol.bpl
./024_comparison_of_function_types_eq.sol.bpl(16,11): Error: undeclared identifier: f#10
./024_comparison_of_function_types_eq.sol.bpl(16,19): Error: undeclared identifier: f#10
./024_comparison_of_function_types_eq.sol.bpl(26,12): Error: undeclared identifier: f#10
./024_comparison_of_function_types_eq.sol.bpl(26,20): Error: undeclared identifier: f#10
4 name resolution errors detected in ./024_comparison_of_function_types_eq.sol.bpl