CPP: Fix for consistency.

geoffw0 · geoffw0 · commit 605db444a68f · 2018-10-05T16:40:54.000+01:00
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Printf.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/Printf.qll
@@ -203,7 +203,7 @@ class Syslog extends FormattingFunction {
     this instanceof TopLevelFunction and (
       hasGlobalName("syslog")
     ) and
-    not hasDefinition()
+    not exists(getDefinition().getFile().getRelativePath())
   }
 
   override int getFormatParameterIndex() { result=1 }

Original file line number	Diff line number	Diff line change
`@@ -203,7 +203,7 @@ class Syslog extends FormattingFunction {`
`203`	`203`	`this instanceof TopLevelFunction and (`
`204`	`204`	`hasGlobalName("syslog")`
`205`	`205`	`) and`
`206`		`- not hasDefinition()`
	`206`	`+ not exists(getDefinition().getFile().getRelativePath())`
`207`	`207`	`}`
`208`	`208`
`209`	`209`	`override int getFormatParameterIndex() { result=1 }`