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

Merge pull request #12219 from ethereum/precompile-extcodesize-check-test

Browse Source 
Semantic test for high level call to precompiles.
This commit is contained in:
chriseth 2021-11-01 15:08:52 +01:00 committed by GitHub
commit 5eb97fa6ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
test/libsolidity/semanticTests/functionCall/precompile_extcodesize_check.sol Normal file
View File

@ -0,0 +1,25 @@
interface Identity {
function selectorAndAppendValue(uint value) external pure returns (uint);
}
contract C {
Identity constant i = Identity(address(0x0004));
function testHighLevel() external pure returns (bool) {
// Should fail because `extcodesize(4) = 0`
i.selectorAndAppendValue(5);
return true;
}
function testLowLevel() external view returns (uint value) {
(bool success, bytes memory ret) =
address(4).staticcall(
abi.encodeWithSelector(Identity.selectorAndAppendValue.selector, uint(5))
);
value = abi.decode(ret, (uint));
}
}
// ====
// compileViaYul: also
// EVMVersion: >=constantinople
// ----
// testHighLevel() -> FAILURE
// testLowLevel() -> 0xc76596d400000000000000000000000000000000000000000000000000000000