1// SPDX-License-Identifier: GPL-3.0
2pragma solidity >=0.0;
3contract test {
4 uint[] arr;
5 function f(address payable a, uint x) public {
6 require(x >= 0);
7 --x;
8 x + type(uint).max;
9 2 / x;
10 a.transfer(x);
11 assert(x > 0);
12 arr.pop();
13 arr[x];
14 }
15}