Add tests

test/libsolidity/syntaxTests/contractBaseLocation/abstract_contract.sol

@@ -0,0 +1,4 @@
+abstract contract C layout at 0x123 {
+}
+// ----
+// TypeError 7587: (30-35): Storage base location cannot be specified for abstract contracts or libraries

test/libsolidity/syntaxTests/contractBaseLocation/layout_already_specified_in_ancestor_contract_.sol

@@ -0,0 +1,8 @@
+contract A layout at 0x1234 {}
+
+contract B is A {}
+
+contract C is B layout at 0xABCD {}
+// ----
+// TypeError 8894: (32-50): Storage base location can only be specified in the most derived contract.
+// TypeError 8894: (52-87): Storage base location can only be specified in the most derived contract.

test/libsolidity/syntaxTests/contractBaseLocation/layout_fractional_number.sol

@@ -0,0 +1,3 @@
+contract A layout at 3/2 {}
+// ----
+// TypeError 1763: (21-24): Contract storage base location cannot be specified by a fractional number.

test/libsolidity/syntaxTests/contractBaseLocation/layout_not_specified_in_most_derived_contract_copy.sol

@@ -0,0 +1,8 @@
+contract A layout at 0x1234 {}
+
+contract B is A {}
+
+contract C is B {}
+// ----
+// TypeError 8894: (32-50): Storage base location can only be specified in the most derived contract.
+// TypeError 8894: (52-70): Storage base location can only be specified in the most derived contract.

test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_constant_in_expression.sol

@@ -1,3 +1,4 @@
 uint constant X = 42;
 contract C layout at 0xffff * (50 - X) { }
 // ----
+// TypeError 6396: (43-60): Only number literals are accepted in the expression specifying the contract base storage location.

test/libsolidity/syntaxTests/contractBaseLocation/layout_specified_by_expression_not_pure.sol

@@ -0,0 +1,5 @@
+function f(uint x) returns (uint) { return x + 1; }
+contract A layout at f(2) {}
+// ----
+// TypeError 1139: (73-77): The contract base location must be an expression that can be evaluated at compilation time.
+// TypeError 6396: (73-77): Only number literals are accepted in the expression specifying the contract base storage location.

test/libsolidity/syntaxTests/contractBaseLocation/library.sol

@@ -0,0 +1,5 @@
+library L layout at 0x123 {
+    function f() public pure { }
+}
+// ----
+// TypeError 7587: (20-25): Storage base location cannot be specified for abstract contracts or libraries

test/libsolidity/syntaxTests/contractBaseLocation/simple_layout.sol

@@ -1,4 +1,4 @@
 contract A layout at 0x1234 {}
 contract B layout at 1024 {}
-contract C layout at "C" {}
+contract C layout at 0 {}
 // ----