From f57379cc6f8dec93f19d5e1818cf2ccf256785ac Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Tue, 30 Jun 2020 11:04:30 +0200
Subject: [PATCH] file_get_contents() may fail, in which case it returns false

---
 src/Runner/PhptTestCase.php | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/src/Runner/PhptTestCase.php b/src/Runner/PhptTestCase.php
index 42fa3322a3d..1e0c8514d61 100644
--- a/src/Runner/PhptTestCase.php
+++ b/src/Runner/PhptTestCase.php
@@ -597,8 +597,14 @@ private function renderForCoverage(string &$job): void
 
     private function cleanupForCoverage(): array
     {
-        $files    = $this->getCoverageFiles();
-        $coverage = @\unserialize(\file_get_contents($files['coverage']));
+        $files  = $this->getCoverageFiles();
+        $buffer = \file_get_contents($files['coverage']);
+
+        if ($buffer === false) {
+            $coverage = [];
+        } else {
+            $coverage = @\unserialize($buffer);
+        }
 
         if ($coverage === false) {
             $coverage = [];