diff --git a/src/plugins/debugger/gdb/gdbengine.cpp b/src/plugins/debugger/gdb/gdbengine.cpp
index 16efcd7c043..45e600e8525 100644
--- a/src/plugins/debugger/gdb/gdbengine.cpp
+++ b/src/plugins/debugger/gdb/gdbengine.cpp
@@ -808,6 +808,8 @@ void GdbEngine::handleResultRecord(GdbResponse *response)
                 debugMessage(_("APPLYING WORKAROUND #4"));
                 setState(InferiorStopping);
                 setState(InferiorStopped);
+                setState(InferiorShuttingDown);
+                setState(InferiorShutDown);
                 showStatusMessage(tr("Executable failed: %1")
                     .arg(QString::fromLocal8Bit(msg)));
                 shutdown();