2020-03-09 21:14:07 +00:00
|
|
|
contract helper {
|
|
|
|
bool flag;
|
|
|
|
|
|
|
|
function getBalance() payable public returns(uint256 myBalance) {
|
|
|
|
return address(this).balance;
|
|
|
|
}
|
|
|
|
|
|
|
|
function setFlag() public {
|
|
|
|
flag = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
function getFlag() public returns(bool fl) {
|
|
|
|
return flag;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
contract test {
|
|
|
|
helper h;
|
2020-06-23 12:14:24 +00:00
|
|
|
constructor() payable {
|
2020-03-09 21:14:07 +00:00
|
|
|
h = new helper();
|
|
|
|
}
|
|
|
|
|
|
|
|
function sendAmount(uint amount) public payable returns(uint256 bal) {
|
|
|
|
return h.getBalance{value: amount}();
|
|
|
|
}
|
|
|
|
|
|
|
|
function outOfGas() public returns(bool ret) {
|
|
|
|
h.setFlag {
|
|
|
|
gas: 2
|
|
|
|
}(); // should fail due to OOG
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
function checkState() public returns(bool flagAfter, uint myBal) {
|
|
|
|
flagAfter = h.getFlag();
|
|
|
|
myBal = address(this).balance;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2020-04-09 19:59:17 +00:00
|
|
|
// ====
|
|
|
|
// compileViaYul: also
|
2020-03-09 21:14:07 +00:00
|
|
|
// ----
|
|
|
|
// constructor(), 20 wei ->
|
|
|
|
// sendAmount(uint256): 5 -> 5
|
|
|
|
// outOfGas() -> FAILURE # call to helper should not succeed but amount should be transferred anyway #
|
2020-04-09 19:59:17 +00:00
|
|
|
// checkState() -> false, 15
|