revive-integration 1.3.0

revive compiler integration test cases
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// SPDX-License-Identifier: MIT

pragma solidity ^0.8;

contract FmpRangeProofBug {
    fallback() external {
        assembly {
            let v := calldataload(0)
            mstore(0x40, v)
            // Force fmp_word_escapes via a staticcall whose args cover
            // memory[0..0x80] (so 0x40 is in the escape range). That
            // disables FMP-native-mode storage and forces ByteSwap mode
            // where the range-proof bug lives.
            let _success := staticcall(gas(), origin(), 0, 0x80, 0, 0)
            let r := mload(0x40)
            mstore(0x100, r)
            return(0x100, 32)
        }
    }
}