No implicit instances for constructor call

pavgust · jbj · commit 15b56d93bdd8 · 2019-08-08T14:05:02.000+02:00
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll
@@ -14,7 +14,8 @@ private newtype TInstanceAccess =
   TImplicitThisForCall(FunctionCall fc) {
     fc.getTarget() instanceof MemberFunction and
     not exists(fc.getQualifier()) and
-    not fc.getTarget().isStatic()
+    not fc.getTarget().isStatic() and
+    not fc.getTarget() instanceof Constructor
   }
 
 private class InstanceAccess extends TInstanceAccess {

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,8 @@ private newtype TInstanceAccess =`
`14`	`14`	`TImplicitThisForCall(FunctionCall fc) {`
`15`	`15`	`fc.getTarget() instanceof MemberFunction and`
`16`	`16`	`not exists(fc.getQualifier()) and`
`17`		`- not fc.getTarget().isStatic()`
	`17`	`+ not fc.getTarget().isStatic() and`
	`18`	`+ not fc.getTarget() instanceof Constructor`
`18`	`19`	`}`
`19`	`20`
`20`	`21`	`private class InstanceAccess extends TInstanceAccess {`