diff --git a/src/plugins/coreplugin/documentmanager.cpp b/src/plugins/coreplugin/documentmanager.cpp
index 4df60a9d1277083af9cf0b2c0829555a6526a1ef..5607341ec24413f1593f716528a453fc9a0f7546 100644
--- a/src/plugins/coreplugin/documentmanager.cpp
+++ b/src/plugins/coreplugin/documentmanager.cpp
@@ -599,7 +599,7 @@ static QList<IDocument *> saveModifiedFilesHelper(const QList<IDocument *> &docu
     QList<IDocument *> modifiedDocuments;
 
     foreach (IDocument *document, documents) {
-        if (document->isModified()) {
+        if (document && document->isModified()) {
             QString name = document->filePath();
             if (name.isEmpty())
                 name = document->suggestedFileName();