cerc-io/solidity
15
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 #12044 from ethereum/user-defined-dirty-slot-test

Browse Source 
UserDefinedValueType: test for reading from dirty storage slots
This commit is contained in:
chriseth 2021-09-28 12:10:01 +02:00 committed by GitHub
commit ee0e3e9377
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
test/libsolidity/semanticTests/userDefinedValueType/dirty_slot.sol Normal file
View File

@ -0,0 +1,37 @@
type MyUInt16 is uint16;
type MyBytes2 is bytes2;
contract C {
MyUInt16 public a = MyUInt16.wrap(13);
MyBytes2 public b = MyBytes2.wrap(bytes2(uint16(1025)));
bytes2 public x;
function write_a() external {
uint max = 0xf00e0bbc0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0e0c0ba098076054032001;
assembly {
sstore(a.slot, max)
}
}
function write_b() external {
uint max = 0xf00e0bbc0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0e0c0ba098076054032001;
assembly {
sstore(b.slot, max)
}
}
function get_b(uint index) public returns (bytes1) {
return MyBytes2.unwrap(b)[index];
}
}
// ====
// compileViaYul: also
// ----
// a() -> 13
// b() -> 0x0401000000000000000000000000000000000000000000000000000000000000
// get_b(uint256): 0 -> 0x0400000000000000000000000000000000000000000000000000000000000000
// get_b(uint256): 1 -> 0x0100000000000000000000000000000000000000000000000000000000000000
// get_b(uint256): 2 -> FAILURE, hex"4e487b71", 0x32
// write_a() ->
// a() -> 0x2001
// write_b() ->
// b() -> 0xf00e000000000000000000000000000000000000000000000000000000000000
// get_b(uint256): 0 -> 0xf000000000000000000000000000000000000000000000000000000000000000
// get_b(uint256): 1 -> 0x0e00000000000000000000000000000000000000000000000000000000000000
// get_b(uint256): 2 -> FAILURE, hex"4e487b71", 0x32