diff --git a/test/libyul/yulSyntaxTests/eof/datacopy_shadowing.yul b/test/libyul/yulSyntaxTests/eof/datacopy_shadowing.yul
new file mode 100644
index 000000000000..b44c2ba0d19f
--- /dev/null
+++ b/test/libyul/yulSyntaxTests/eof/datacopy_shadowing.yul
@@ -0,0 +1,7 @@
+{
+    function datacopy(a, b, c) {}
+}
+// ====
+// bytecodeFormat: >=EOFv1
+// ----
+// DeclarationError 5017: (6-35): The identifier "datacopy" is reserved and can not be used.
diff --git a/test/libyul/yulSyntaxTests/eof/dataoffset_shadowing.yul b/test/libyul/yulSyntaxTests/eof/dataoffset_shadowing.yul
new file mode 100644
index 000000000000..7c525bcc45e5
--- /dev/null
+++ b/test/libyul/yulSyntaxTests/eof/dataoffset_shadowing.yul
@@ -0,0 +1,7 @@
+{
+    function dataoffset(a) -> b {}
+}
+// ====
+// bytecodeFormat: >=EOFv1
+// ----
+// DeclarationError 5017: (6-36): The identifier "dataoffset" is reserved and can not be used.
diff --git a/test/libyul/yulSyntaxTests/eof/datasize_shadowing.yul b/test/libyul/yulSyntaxTests/eof/datasize_shadowing.yul
new file mode 100644
index 000000000000..57345184256c
--- /dev/null
+++ b/test/libyul/yulSyntaxTests/eof/datasize_shadowing.yul
@@ -0,0 +1,7 @@
+{
+    function datasize(a) -> b {}
+}
+// ====
+// bytecodeFormat: >=EOFv1
+// ----
+// DeclarationError 5017: (6-34): The identifier "datasize" is reserved and can not be used.
diff --git a/test/libyul/yulSyntaxTests/eof/loadimmutable_shadowing.yul b/test/libyul/yulSyntaxTests/eof/loadimmutable_shadowing.yul
new file mode 100644
index 000000000000..a9fc2606752f
--- /dev/null
+++ b/test/libyul/yulSyntaxTests/eof/loadimmutable_shadowing.yul
@@ -0,0 +1,8 @@
+{
+    function loadimmutable(a) {}
+}
+// ====
+// bytecodeFormat: >=EOFv1
+// dialect: evm
+// ----
+// DeclarationError 5017: (6-34): The identifier "loadimmutable" is reserved and can not be used.
diff --git a/test/libyul/yulSyntaxTests/eof/setimmutable_shadowing.yul b/test/libyul/yulSyntaxTests/eof/setimmutable_shadowing.yul
new file mode 100644
index 000000000000..83d9a33f6821
--- /dev/null
+++ b/test/libyul/yulSyntaxTests/eof/setimmutable_shadowing.yul
@@ -0,0 +1,8 @@
+{
+    function setimmutable(a, b) {}
+}
+// ====
+// bytecodeFormat: >=EOFv1
+// dialect: evm
+// ----
+// DeclarationError 5017: (6-36): The identifier "setimmutable" is reserved and can not be used.