CPP: Alternative fix.

geoffw0 · geoffw0 · commit 581266c34789 · 2019-05-10T16:26:38.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/commons/Printf.qll b/cpp/ql/src/semmle/code/cpp/commons/Printf.qll
@@ -250,7 +250,7 @@ class FormatLiteral extends Literal {
    * Microsoft rules and extensions.
    */
   predicate isMicrosoft() {
-    getFile().compiledAsMicrosoft()
+    any(File f).compiledAsMicrosoft()
   }
 
   /**
diff --git a/cpp/ql/src/semmle/code/cpp/models/interfaces/FormattingFunction.qll b/cpp/ql/src/semmle/code/cpp/models/interfaces/FormattingFunction.qll
@@ -51,7 +51,7 @@ abstract class FormattingFunction extends Function {
    * Microsoft rules and extensions.
    */
   predicate isMicrosoft() {
-    getFile().compiledAsMicrosoft()
+    any(File f).compiledAsMicrosoft()
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -250,7 +250,7 @@ class FormatLiteral extends Literal {`
`250`	`250`	`* Microsoft rules and extensions.`
`251`	`251`	`*/`
`252`	`252`	`predicate isMicrosoft() {`
`253`		`- getFile().compiledAsMicrosoft()`
	`253`	`+ any(File f).compiledAsMicrosoft()`
`254`	`254`	`}`
`255`	`255`
`256`	`256`	`/**`
Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ abstract class FormattingFunction extends Function {`
`51`	`51`	`* Microsoft rules and extensions.`
`52`	`52`	`*/`
`53`	`53`	`predicate isMicrosoft() {`
`54`		`- getFile().compiledAsMicrosoft()`
	`54`	`+ any(File f).compiledAsMicrosoft()`
`55`	`55`	`}`
`56`	`56`
`57`	`57`	`/**`