Skip to content

SuccessorType: Address review comments.

3d4d347
Select commit
Loading
Failed to load commit list.
Merged

Shared: Add a shared SuccessorType implementation #20300

SuccessorType: Address review comments.
3d4d347
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Sep 2, 2025 in 3s

3 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 3 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

New alerts in code changed by this pull request

  • 5 warnings

Alerts not introduced by this pull request might have been detected because the code changes were too large.

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 861 in csharp/ql/lib/semmle/code/csharp/controlflow/internal/Completion.qll

See this annotation in the file changed.

Code scanning / CodeQL

Override with unmentioned parameter Warning

Override predicate doesn't mention
result
. Maybe mention it in a 'exists(result)'?

Check warning on line 884 in csharp/ql/lib/semmle/code/csharp/controlflow/internal/Completion.qll

See this annotation in the file changed.

Code scanning / CodeQL

Override with unmentioned parameter Warning

Override predicate doesn't mention
result
. Maybe mention it in a 'exists(result)'?

Check warning on line 379 in ruby/ql/lib/codeql/ruby/controlflow/internal/Completion.qll

See this annotation in the file changed.

Code scanning / CodeQL

Override with unmentioned parameter Warning

Override predicate doesn't mention
result
. Maybe mention it in a 'exists(result)'?

Check warning on line 433 in ruby/ql/lib/codeql/ruby/controlflow/internal/Completion.qll

See this annotation in the file changed.

Code scanning / CodeQL

Override with unmentioned parameter Warning

Override predicate doesn't mention
result
. Maybe mention it in a 'exists(result)'?

Check warning on line 470 in swift/ql/lib/codeql/swift/controlflow/internal/Completion.qll

See this annotation in the file changed.

Code scanning / CodeQL

Override with unmentioned parameter Warning

Override predicate doesn't mention
result
. Maybe mention it in a 'exists(result)'?