hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 02:35:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

CPP: Document.

Browse Source
This commit is contained in:
Geoffrey White
2019-04-08 09:33:17 +01:00
parent 581266c347
commit 4cc23cce13
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
cpp/ql/src/semmle/code/cpp/File.qll
View File

@@ -298,7 +298,12 @@ class File extends Container, @file {
none()
}
/** Holds if this file was compiled by a Microsoft compiler (at any point). */
/**
* Holds if this file was compiled by a Microsoft compiler (at any point).
*
* Note: currently unreliable - on some projects only some of the files that
* are compiled by a Microsoft compiler are detected by this predicate.
*/
predicate compiledAsMicrosoft() {
exists(Compilation c |
c.getAFileCompiled() = this and