Merge pull request #4222 from ethereum/view-pure-checker-split

Extract test cases from ViewPureChecker

1 files changed, 18 insertions, 0 deletions

diff --git a/test/libsolidity/syntaxTests/viewPureChecker/builtin_functions.sol b/test/libsolidity/syntaxTests/viewPureChecker/builtin_functions.sol
new file mode 100644
index 00000000..dbefb8b6
--- /dev/null
+++ b/test/libsolidity/syntaxTests/viewPureChecker/builtin_functions.sol
@@ -0,0 +1,18 @@
+contract C {
+    function f() public {
+        address(this).transfer(1);
+        require(address(this).send(2));
+        selfdestruct(address(this));
+        require(address(this).delegatecall());
+        require(address(this).call());
+    }
+    function g() pure public {
+        bytes32 x = keccak256("abc");
+        bytes32 y = sha256("abc");
+        address z = ecrecover(1, 2, 3, 4);
+        require(true);
+        assert(true);
+        x; y; z;
+    }
+    function() payable public {}
+}