Fix bug in unsimplifier.

This commit is contained in:
chriseth 2019-10-30 17:29:42 +01:00
parent 61a2d44f38
commit 1cc5a03e42

View File

@ -61,11 +61,11 @@ void ConditionalUnsimplifier::operator()(Switch& _switch)
void ConditionalUnsimplifier::operator()(Block& _block) void ConditionalUnsimplifier::operator()(Block& _block)
{ {
walkVector(_block.statements);
iterateReplacingWindow<2>( iterateReplacingWindow<2>(
_block.statements, _block.statements,
[&](Statement& _stmt1, Statement& _stmt2) -> std::optional<vector<Statement>> [&](Statement& _stmt1, Statement& _stmt2) -> std::optional<vector<Statement>>
{ {
visit(_stmt1);
if (_stmt1.type() == typeid(If)) if (_stmt1.type() == typeid(If))
{ {
If& _if = boost::get<If>(_stmt1); If& _if = boost::get<If>(_stmt1);