hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #20185 from geoffw0/typeconsistencycounts

Browse Source 
Rust: Add rust/diagnostics/type-inference-consistency-counts.
This commit is contained in:
Geoffrey White
2025-08-11 09:42:19 +01:00
committed by GitHub
parent 04014d9bf0 38f4f8d1d2
commit a1bc865691
4 changed files with 17 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
rust/ql/integration-tests/query-suite/rust-code-scanning.qls.expected
View File

@@ -5,6 +5,7 @@ ql/rust/ql/src/queries/diagnostics/ExtractedFiles.ql
ql/rust/ql/src/queries/diagnostics/ExtractionErrors.ql
ql/rust/ql/src/queries/diagnostics/ExtractionWarnings.ql
ql/rust/ql/src/queries/diagnostics/SsaConsistencyCounts.ql
ql/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql
ql/rust/ql/src/queries/diagnostics/UnextractedElements.ql
ql/rust/ql/src/queries/diagnostics/UnresolvedMacroCalls.ql
ql/rust/ql/src/queries/security/CWE-020/RegexInjection.ql

1
rust/ql/integration-tests/query-suite/rust-security-and-quality.qls.expected
View File

@@ -5,6 +5,7 @@ ql/rust/ql/src/queries/diagnostics/ExtractedFiles.ql
ql/rust/ql/src/queries/diagnostics/ExtractionErrors.ql
ql/rust/ql/src/queries/diagnostics/ExtractionWarnings.ql
ql/rust/ql/src/queries/diagnostics/SsaConsistencyCounts.ql
ql/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql
ql/rust/ql/src/queries/diagnostics/UnextractedElements.ql
ql/rust/ql/src/queries/diagnostics/UnresolvedMacroCalls.ql
ql/rust/ql/src/queries/security/CWE-020/RegexInjection.ql

1
rust/ql/integration-tests/query-suite/rust-security-extended.qls.expected
View File

@@ -5,6 +5,7 @@ ql/rust/ql/src/queries/diagnostics/ExtractedFiles.ql
ql/rust/ql/src/queries/diagnostics/ExtractionErrors.ql
ql/rust/ql/src/queries/diagnostics/ExtractionWarnings.ql
ql/rust/ql/src/queries/diagnostics/SsaConsistencyCounts.ql
ql/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql
ql/rust/ql/src/queries/diagnostics/UnextractedElements.ql
ql/rust/ql/src/queries/diagnostics/UnresolvedMacroCalls.ql
ql/rust/ql/src/queries/security/CWE-020/RegexInjection.ql

14
rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql Normal file
View File

@@ -0,0 +1,14 @@
/**
* @name Type inference inconsistency counts
* @description Counts the number of type inference inconsistencies of each type. This query is intended for internal use.
* @kind diagnostic
* @id rust/diagnostics/type-inference-consistency-counts
*/
private import codeql.rust.internal.TypeInferenceConsistency as Consistency
// see also `rust/diagnostics/type-inference-consistency`, which lists the
// individual inconsistency results.
from string type, int num
where num = Consistency::getTypeInferenceInconsistencyCounts(type)
select type, num