file_get_contents() may fail, in which case it returns false

sebastianbergmann · Jun 30, 2020 · f57379c · f57379c
1 parent 37d02f0
commit f57379c
Showing 1 changed file with 8 additions and 2 deletions.
diff --git 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 = [];