diff --git a/src/plugins/debugger/gdb/gdbengine.cpp b/src/plugins/debugger/gdb/gdbengine.cpp
index d548e5b7309..20ce97c9477 100644
--- a/src/plugins/debugger/gdb/gdbengine.cpp
+++ b/src/plugins/debugger/gdb/gdbengine.cpp
@@ -1105,7 +1105,8 @@ void GdbEngine::handleStopResponse(const GdbMi &data)
             setState(InferiorStopping);
         } else {
             // The user triggered a stop, but meanwhile the app simply exited ...
-            QTC_ASSERT(state() == InferiorStopping, qDebug() << state());
+            QTC_ASSERT(state() == InferiorStopping || state() == InferiorStopping_Kill,
+                       qDebug() << state());
         }
         setState(InferiorStopped);
         QString msg;