cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge pull request #5593 from ethereum/issue-5384

Browse Source 
Fix expression simplifier asserting on default values
This commit is contained in:
chriseth 2018-12-05 17:58:23 +01:00 committed by GitHub
commit 32c9da9419
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
libyul/optimiser/SimplificationRules.cpp
View File

@ -114,7 +114,8 @@ bool Pattern::matches(Expression const& _expr, map<YulString, Expression const*>
{
YulString varName = boost::get<Identifier>(_expr).name;
if (_ssaValues.count(varName))
expr = _ssaValues.at(varName);
if (Expression const* new_expr = _ssaValues.at(varName))
expr = new_expr;
}
assertThrow(expr, OptimizerException, "");

14
test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul Normal file
View File

@ -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)
// }