@@ -50,9 +50,10 @@ bool TargetFile::init() {
     checkOutput("open");
     return true;
   }
-  CODEQL_ASSERT(errno == EEXIST, "Unable to open {} for writing ({})", targetPath,
+  CODEQL_EXPECT(errno == EEXIST, "Unable to open {} for writing ({})", targetPath,
                 currentErrorCode());
-  // else the file already exists and we just lost the race
+  // else the file already exists and we just lost the race, or some error occurred
+  // and the file could not be created
   return false;
 }
Original file line number	Diff line number	Diff line change
`@@ -50,9 +50,10 @@ bool TargetFile::init() {`
`50`	`50`	`checkOutput("open");`
`51`	`51`	`return true;`
`52`	`52`	`}`
`53`		`- CODEQL_ASSERT(errno == EEXIST, "Unable to open {} for writing ({})", targetPath,`
	`53`	`+ CODEQL_EXPECT(errno == EEXIST, "Unable to open {} for writing ({})", targetPath,`
`54`	`54`	`currentErrorCode());`
`55`		`- // else the file already exists and we just lost the race`
	`55`	`+ // else the file already exists and we just lost the race, or some error occurred`
	`56`	`+ // and the file could not be created`
`56`	`57`	`return false;`
`57`	`58`	`}`
`58`	`59`