C++: autoformat

This commit is contained in:
Robert Marsh
2024-02-13 01:07:41 +00:00
parent f791b0ebbf
commit b9785ea7b2

View File

@@ -673,9 +673,7 @@ class TranslatedBlock extends TranslatedStmt {
else result = this.getStmt(this.getStmtCount() - 1).getFirstInstruction(any(GotoEdge goto))
}
override TranslatedElement getLastChild() {
result = this.getStmt(this.getStmtCount() - 1)
}
override TranslatedElement getLastChild() { result = this.getStmt(this.getStmtCount() - 1) }
private predicate isEmpty() { not exists(stmt.getStmt(0)) }