Test for unhandled default values in expression simplifier

1 files changed, 14 insertions, 0 deletions

diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul
new file mode 100644
index 00000000..87391b8c
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul
@@ -0,0 +1,14 @@
+// c & d can't be optimized as expression simplifier doesn't handle default
+// values yet
+{
+	let c
+	let d
+	let y := add(d, add(c, 7))
+}
+// ----
+// expressionSimplifier
+// {
+//     let c
+//     let d
+//     let y := add(add(d, c), 7)
+// }