C#: Do not print compiler generated statements.

michaelnebel · michaelnebel · commit e6f4263eff85 · 2024-02-26T13:51:06.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/PrintAst.qll b/csharp/ql/lib/semmle/code/csharp/PrintAst.qll
@@ -27,7 +27,8 @@ class PrintAstConfiguration extends TPrintAstConfiguration {
 }
 
 private predicate shouldPrint(Element e, Location l) {
-  exists(PrintAstConfiguration config | config.shouldPrint(e, l))
+  exists(PrintAstConfiguration config | config.shouldPrint(e, l)) and
+  not e.(Stmt).isCompilerGenerated()
 }
 
 private predicate isImplicitExpression(ControlFlowElement element) {

Original file line number	Diff line number	Diff line change
`@@ -27,7 +27,8 @@ class PrintAstConfiguration extends TPrintAstConfiguration {`
`27`	`27`	`}`
`28`	`28`
`29`	`29`	`private predicate shouldPrint(Element e, Location l) {`
`30`		`- exists(PrintAstConfiguration config \| config.shouldPrint(e, l))`
	`30`	`+ exists(PrintAstConfiguration config \| config.shouldPrint(e, l)) and`
	`31`	`+ not e.(Stmt).isCompilerGenerated()`
`31`	`32`	`}`
`32`	`33`
`33`	`34`	`private predicate isImplicitExpression(ControlFlowElement element) {`