aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-12-06 00:58:23 +0800
committerGitHub <noreply@github.com>2018-12-06 00:58:23 +0800
commit32c9da9419499bf839f239ef3e1a8df627218ade (patch)
treefdba939956682345bf0ef66164e701b37944109d /test
parent63d67c715326209ba1dc2c3800db90830d2c4e13 (diff)
parent54846ed0a708d57d25ac5eadd618f8137867df66 (diff)
downloaddexon-solidity-32c9da9419499bf839f239ef3e1a8df627218ade.tar.gz
dexon-solidity-32c9da9419499bf839f239ef3e1a8df627218ade.tar.zst
dexon-solidity-32c9da9419499bf839f239ef3e1a8df627218ade.zip
Merge pull request #5593 from ethereum/issue-5384
Fix expression simplifier asserting on default values
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)
+// }