8000 Go: report any extracted file as successfully extracted · github/codeql@9f8b5bc · GitHub
[go: up one dir, main page]

Skip to content

Commit 9f8b5bc

Browse files
committed
Go: report any extracted file as successfully extracted
1 parent 6713436 commit 9f8b5bc

File tree

2 files changed

+7
-5
lines changed

2 files changed

+7
-5
lines changed
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: minorAnalysis
3+
---
4+
* The diagnostic query `go/diagnostics/successfully-extracted-files`, and therefore the Code Scanning UI measure of scanned Go files, now considers any Go file seen during extraction, even one with some errors, to be extracted / scanned.
Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,13 @@
11
/**
22
* @id go/diagnostics/successfully-extracted-files
3-
* @name Successfully analyzed files
4-
* @description List all files that were successfully extracted.
3+
* @name Extracted files
4+
* @description List all files that were extracted.
55
* @kind diagnostic
66
* @tags successfully-extracted-files
77
*/
88

99
import go
1010

1111
from File f
12-
where
13-
not exists(Error e | e.getFile() = f) and
14-
exists(f.getRelativePath())
12+
where exists(f.getRelativePath())
1513
select f, ""

0 commit comments

Comments
 (0)
0