Adjusts syntax tests to read-only array length.

test/libsolidity/syntaxTests/viewPureChecker/array/access_to_array_push.sol

@@ -0,0 +1,7 @@
+contract A {
+    uint[] x;
+    function g() public returns (uint) {
+        return x.push();
+    }
+}
+// ----

test/libsolidity/syntaxTests/viewPureChecker/array/access_to_array_push_view.sol

@@ -0,0 +1,8 @@
+contract A {
+    uint[] x;
+    function f() public view returns (uint) {
+        return x.push();
+    }
+}
+// ----
+// TypeError: (88-96): Function declared as view, but this expression (potentially) modifies the state and thus requires non-payable (the default) or payable.

test/libsolidity/syntaxTests/viewPureChecker/array/access_to_base_member_array.sol

@@ -0,0 +1,17 @@
+contract A {
+    uint[] x;
+}
+
+contract B is A {
+    function g() public pure returns (uint) {
+        return A.x.length;
+    }
+    function h() public pure returns (uint) {
+        return A.x[2];
+    }
+}
+// ----
+// TypeError: (109-112): Function declared as pure, but this expression (potentially) reads from the environment or state and thus requires "view".
+// TypeError: (109-119): Function declared as pure, but this expression (potentially) reads from the environment or state and thus requires "view".
+// TypeError: (188-191): Function declared as pure, but this expression (potentially) reads from the environment or state and thus requires "view".
+// TypeError: (188-194): Function declared as pure, but this expression (potentially) reads from the environment or state and thus requires "view".