Skip to content

C#: Fix join-order issue in ConstantCondition.

7d0e4f5
Select commit
Loading
Failed to load commit list.
Merged

C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness #20558

C#: Fix join-order issue in ConstantCondition.
7d0e4f5
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Oct 22, 2025 in 3s

4 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 4 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 (cpp-swift-analysis.yml)

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

New alerts in code changed by this pull request

  • 2 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 14 in csharp/ql/lib/semmle/code/csharp/controlflow/ControlFlowReachability.qll

See this annotation in the file changed.

Code scanning / CodeQL

Names only differing by case Warning

CS is only different by casing from Cs that is used elsewhere for modules.

Check warning on line 21 in csharp/ql/lib/semmle/code/csharp/controlflow/Guards.qll

See this annotation in the file changed.

Code scanning / CodeQL

Names only differing by case Warning

CS is only different by casing from Cs that is used elsewhere for modules.