cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Extra test for operator cleanup

Browse Source
This commit is contained in:
Kamil Śliwak 2023-03-23 11:37:46 +01:00
parent e29a68d374
commit 8dd6f77692
1 changed files with 22 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
test/libsolidity/semanticTests/operators/userDefined/operator_parameter_and_return_cleanup_between_calls.sol Normal file
View File

@ -0,0 +1,22 @@
type U8 is uint8;
using {yoloAdd as +, yoloDiv as /} for U8 global;
function yoloAdd(U8 x, U8 y) pure returns (U8 z) {
assembly {
z := add(x, y) // Wrong! No cleanup.
}
}
function yoloDiv(U8 x, U8 y) pure returns (U8 z) {
assembly {
z := div(x, y) // Wrong! No cleanup.
}
}
contract C {
function divAddNoOverflow(U8 a, U8 b, U8 c) external pure returns (U8) {
return a / (b + c);
}
}
// ----
// divAddNoOverflow(uint8,uint8,uint8): 4, 0xff, 3 -> 0