From 046725bd21ae771328fd9d3d0a69a4276d7f6461 Mon Sep 17 00:00:00 2001
From: David de Boer <david@ddeboer.nl>
Date: Tue, 29 Sep 2020 17:27:35 +0200
Subject: [PATCH] Fix: allowMissingFiles not respected for ignored files
 (#4259)

---
 src/Psalm/Config/FileFilter.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Psalm/Config/FileFilter.php b/src/Psalm/Config/FileFilter.php
index 5ca56dad248..7c7ed8b92ec 100644
--- a/src/Psalm/Config/FileFilter.php
+++ b/src/Psalm/Config/FileFilter.php
@@ -259,7 +259,7 @@ public static function loadFromXMLElement(
 
                 $file_path = realpath($prospective_file_path);
 
-                if (!$file_path) {
+                if (!$file_path && !$allow_missing_files) {
                     throw new ConfigException(
                         'Could not resolve config path to ' . $base_dir . DIRECTORY_SEPARATOR .
                         (string)$file['name']