1 files changed, 22 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/disambiguator/funtion_call.yul b/test/libyul/yulOptimizerTests/disambiguator/funtion_call.yul
new file mode 100644
index 00000000..f917bb68
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/disambiguator/funtion_call.yul
@@ -0,0 +1,22 @@
+// yul
+{
+    { let a:u256, b:u256, c:u256, d:u256, f:u256 }
+    {
+        function f(a:u256) -> c:u256, d:u256 {
+            let b:u256, c_1:u256 := f(a)
+        }
+    }
+}
+// ----
+// disambiguator
+// {
+//     {
+//         let a:u256, b:u256, c:u256, d:u256, f:u256
+//     }
+//     {
+//         function f_1(a_1:u256) -> c_1:u256, d_1:u256
+//         {
+//             let b_1:u256, c_1_1:u256 := f_1(a_1)
+//         }
+//     }
+// }