1 files changed, 16 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/varDeclPropagator/use_doesnt_rewrite.yul b/test/libyul/yulOptimizerTests/varDeclPropagator/use_doesnt_rewrite.yul
new file mode 100644
index 00000000..e27785dd
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/varDeclPropagator/use_doesnt_rewrite.yul
@@ -0,0 +1,16 @@
+{
+  function f(x) {}
+  let a
+  f(a)
+  a := 4
+}
+// ----
+// varDeclPropagator
+// {
+//     function f(x)
+//     {
+//     }
+//     let a
+//     f(a)
+//     a := 4
+// }