diff --git a/xmllint.c b/xmllint.c
index 2368a85f..e6f4eb72 100644
--- a/xmllint.c
+++ b/xmllint.c
@@ -2399,6 +2399,11 @@ static void parseAndPrintFile(char *filename, xmlParserCtxtPtr rectxt) {
 	    startTimer();
 	}
 	doc = xmlCopyDoc(doc, 1);
+        if (doc == NULL) {
+            progresult = XMLLINT_ERR_MEM;
+            xmlFreeDoc(tmp);
+            return;
+        }
 	if (timing) {
 	    endTimer("Copying");
 	}