cerc-io/solidity
10
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

Fix expression simplifier asserting on default values

Browse Source
This commit is contained in:
Mathias Baumann 2018-12-05 11:24:55 +01:00
parent 5d31ad2daf
commit 54846ed0a7
1 changed files with 2 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; YulString varName = boost::get<Identifier>(_expr).name;
if (_ssaValues.count(varName)) if (_ssaValues.count(varName))
expr = _ssaValues.at(varName); if (Expression const* new_expr = _ssaValues.at(varName))
expr = new_expr;
} }
assertThrow(expr, OptimizerException, ""); assertThrow(expr, OptimizerException, "");