Skip to content

Go: migrate control flow graph to shared CFG library #21614

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
Copilot wants to merge 34 commits into
base: main
Choose a base branch
from

Use shared CFG `getIfInit`

61498bc
Select commit
Loading
Failed to load commit list.
Draft

Go: migrate control flow graph to shared CFG library #21614

Use shared CFG `getIfInit`
61498bc
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed May 30, 2026 in 6s

6 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 6 configurations present on refs/heads/main were not found:

Actions workflow (rust-analysis.yml)

  • ❓  .github/workflows/rust-analysis.yml:analyze/language:rust

Actions workflow (csv-coverage-metrics.yml)

  • ❓  .github/workflows/csv-coverage-metrics.yml:publish-csharp
  • ❓  .github/workflows/csv-coverage-metrics.yml:publish-java

Actions workflow (codeql-analysis.yml)

  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build/language:actions
  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build/language:csharp

Actions workflow (cpp-swift-analysis.yml)

  • ❓  .github/workflows/cpp-swift-analysis.yml:CodeQL-Build

New alerts in code changed by this pull request

  • 116 warnings
  • 7 notes

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 14 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 16 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 18 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 20 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 22 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 24 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 27 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 29 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 31 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 33 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 45 in go/ql/lib/printCfg.ql

See this annotation in the file changed.

Code scanning / CodeQL

Redundant cast Warning

Redundant cast to
File
Loading
.

Check warning on line 357 in go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll

See this annotation in the file changed.

Code scanning / CodeQL

Omittable 'exists' variable Warning

This exists variable can be omitted by using a don't-care expression
in this argument
Loading
.

Check warning on line 40 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 74 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 91 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 97 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 103 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 105 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 122 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Redundant override Warning

Redundant override of
this predicate
Loading
.

Check warning on line 131 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 131 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Suggest using non-extending subtype relationships Warning

Consider defining this class as non-extending subtype of
IfStmt
Loading
.

Check warning on line 141 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 143 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Suggest using non-extending subtype relationships Warning

Consider defining this class as non-extending subtype of
LoopStmt
Loading
.

Check warning on line 143 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 149 in go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.