Add test

matheusaaguiar · matheusaaguiar · commit 7f4eb69906b6 · 2024-12-03T14:14:12.000-03:00
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/layout_fractional_number.sol b/test/libsolidity/syntaxTests/contractBaseLocation/layout_fractional_number.sol
@@ -0,0 +1,3 @@
+contract A layout at 3/2 {}
+// ----
+// TypeError 76: (21-24): Contract storage base location cannot be specified by a fractional number.
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/layout_specification_constant_in_expression.sol b/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 42: (43-60): Only number literals are accepted in the expression specifying the contract base storage location.
diff --git a/test/libsolidity/syntaxTests/contractBaseLocation/simple_layout.sol b/test/libsolidity/syntaxTests/contractBaseLocation/simple_layout.sol
@@ -2,3 +2,4 @@ contract A layout at 0x1234 {}
 contract B layout at 1024 {}
 contract C layout at "C" {}
 // ----
+// TypeError 76: (81-84): Contract storage base location must be in range of type uint256. Current type is literal_string "C"

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