Kotlin: Add CFG for KtAnonymousClassDeclarationStmt

igfoo · igfoo · commit 8440bafc42a7 · 2022-05-10T19:51:07.000+01:00
diff --git a/java/ql/lib/semmle/code/java/ControlFlowGraph.qll b/java/ql/lib/semmle/code/java/ControlFlowGraph.qll
@@ -972,6 +972,10 @@ private module ControlFlowGraphImpl {
         completion = YieldCompletion(branchCompletion)
       )
     )
+    or
+    n instanceof KtAnonymousClassDeclarationStmt and
+    last = n and
+    completion = NormalCompletion()
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -972,6 +972,10 @@ private module ControlFlowGraphImpl {`
`972`	`972`	`completion = YieldCompletion(branchCompletion)`
`973`	`973`	`)`
`974`	`974`	`)`
	`975`	`+ or`
	`976`	`+ n instanceof KtAnonymousClassDeclarationStmt and`
	`977`	`+ last = n and`
	`978`	`+ completion = NormalCompletion()`
`975`	`979`	`}`
`976`	`980`
`977`	`981`	`/**`