C#: Do not print compiler generated statements.

This commit is contained in:
Michael Nebel
2024-02-22 15:56:58 +01:00
parent bf4e3a7d1c
commit e6f4263eff

View File

@@ -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) {