mirror of https://github.com/crytic/slither
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
14 lines
346 B
14 lines
346 B
4 years ago
|
contract C {
|
||
|
|
// this start with 0.8
|
||
|
|
/*
|
||
|
|
function f(uint a, uint b) pure public returns (uint) {
|
||
|
|
// This addition will wrap on underflow.
|
||
|
|
unchecked { return a - b; }
|
||
|
|
}
|
||
|
|
function g(uint a, uint b) pure public returns (uint) {
|
||
|
|
// This addition will revert on underflow.
|
||
|
|
return a - b;
|
||
|
|
}
|
||
|
|
*/
|
||
|
|
}
|