混合静态分析:为什么煤气成本信息？

Question

我正在对Remix上的以下smart合同(SC)进行静态分析：

pragma solidity 0.5.1;
contract TxUserWallet {
    address owner;
    constructor() public {
        owner = msg.sender;
    }
    function transferTo(address payable dest, uint amount) public {
        require(tx.origin == owner);
        dest.transfer(amount);
    }
}

我收到了信息瓦斯的成本。谁来指点我，为什么我要得到煤气成本信息？该信息如下：

气体成本:函数TxUserWallet.transferTo的气体需求是无限的:如果一个函数的气体需求高于块状气体的极限，它就不能执行。请避免函数或操作中的循环修改存储的大区域(这包括清除或复制存储中的数组) Pos: 8:4：

Answer 1

如果你尝试：

    function transferTo(address payable dest) payable public {
        require(tx.origin == owner);
        dest.transfer(msg.value);
    }

然后按值字段发送金额？我不知道你想要什么。但我在我的混音中尝试了这个，而且成功了。让我知道。:D