Files
codeql/rust/ql/consistency-queries/ExtractionConsistency.ql
2025-05-22 09:53:29 +02:00

17 lines
501 B
Plaintext

/**
* @name Extraction consistency
* @description Lists the extraction inconsistencies (errors) in the database. This query is intended for internal use.
* @kind table
* @id rust/diagnostics/extraction-consistency
*/
import codeql.rust.Diagnostics
query predicate extractionError(ExtractionError ee) {
not exists(ee.getLocation()) or ee.getLocation().fromSource()
}
query predicate extractionWarning(ExtractionWarning ew) {
not exists(ew.getLocation()) or ew.getLocation().fromSource()
}