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

Rust: clean up

Browse Source
This commit is contained in:
Paolo Tranquilli
2025-10-16 17:20:41 +02:00
parent a9ae583e14
commit 4aef1ba9d1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
rust/ql/lib/codeql/files/FileSystem.qll
View File

@@ -82,7 +82,7 @@ class ExtractedFile extends File {
* * expand any macros * * expand any macros
* * skip any blocks that are conditionally compiled out * * skip any blocks that are conditionally compiled out
*/ */
predicate hasSemantics() { not exists(Diagnostic d | d = this.getNoSemanticsDiagnostic()) } predicate hasSemantics() { not exists(this.getNoSemanticsDiagnostic()) }
/** /**
* Holds if we know this file was skipped by conditional compilation. * Holds if we know this file was skipped by conditional compilation.