solidity/test/libsolidity/smtCheckerTests/control_flow/try_catch_1.sol
2022-04-01 23:41:18 -05:00

12 lines
362 B
Solidity

contract C {
function g() public returns (uint) {
try this.g() returns (uint x) { x; }
catch Error(string memory s) { s; }
}
}
// ====
// EVMVersion: >=byzantium
// SMTEngine: all
// ----
// Warning 6321: (43-47='uint'): Unnamed return variable can remain unassigned. Add an explicit return with value to all non-reverting code paths or name the variable.