aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorMathias Baumann <marenz@supradigital.org>2018-12-05 18:25:20 +0800
committerMathias Baumann <marenz@supradigital.org>2018-12-05 18:43:02 +0800
commit5d31ad2dafed4354ef4da5f798dba0b0eacad92d (patch)
treec3fdab486da1122ab1ab2a81ac70f8f62b91a140 /test
parent8b38cf3ed43d17a7d80a45237f1ec5b538af55b3 (diff)
downloaddexon-solidity-5d31ad2dafed4354ef4da5f798dba0b0eacad92d.tar.gz
dexon-solidity-5d31ad2dafed4354ef4da5f798dba0b0eacad92d.tar.zst
dexon-solidity-5d31ad2dafed4354ef4da5f798dba0b0eacad92d.zip
Test for unhandled default values in expression simplifier
Diffstat (limited to 'test')
-rw-r--r--test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul14
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)
+// }