solidity/test/libsolidity/semanticTests/ecrecover/failing_ecrecover_invalid_input.sol

13 lines
370 B
Solidity

contract C {
// ecrecover should return zero for malformed input
// (v should be 27 or 28, not 1)
// Note that the precompile does not return zero but returns nothing.
function f() public returns (address) {
return ecrecover(bytes32(type(uint256).max), 1, bytes32(uint(2)), bytes32(uint(3)));
}
}
// ====
// compileViaYul: also
// ----
// f() -> 0