From 83ad719ef15ae2ff4b0d1b7b93b34d2bc88b7aef Mon Sep 17 00:00:00 2001 From: Giacomo Tazzari Date: Mon, 28 Jul 2014 23:56:58 +0200 Subject: [PATCH] Fixed an array bound check in Main::on_debugStep_triggered() --- alethzero/MainWin.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/alethzero/MainWin.cpp b/alethzero/MainWin.cpp index b431c2afb..5b94c8753 100644 --- a/alethzero/MainWin.cpp +++ b/alethzero/MainWin.cpp @@ -1513,7 +1513,7 @@ void Main::on_create_triggered() void Main::on_debugStep_triggered() { auto l = m_history[ui->debugTimeline->value()].levels.size(); - if (ui->debugTimeline->value() < m_history.size() && m_history[ui->debugTimeline->value() + 1].levels.size() > l) + if ((ui->debugTimeline->value() + 1) < m_history.size() && m_history[ui->debugTimeline->value() + 1].levels.size() > l) { on_debugStepInto_triggered(); if (m_history[ui->debugTimeline->value()].levels.size() > l)