Do Control Flow Analysis on StmtASTNodes instead of BasicBlocks

src/boomerang-plugins/codegen/CMakeLists.txt

@@ -15,10 +15,14 @@ include_directories(
 BOOMERANG_ADD_CODEGEN(
     NAME "C"
     SOURCES
+        c/ASTNode.cpp
+        c/ASTNode.h
         c/CCodeGenerator.cpp
         c/CCodeGenerator.h
         c/CodeWriter.cpp
         c/CodeWriter.h
         c/ControlFlowAnalyzer.cpp
         c/ControlFlowAnalyzer.h
+        c/StmtASTNode.cpp
+        c/StmtASTNode.h
 )

src/boomerang-plugins/codegen/c/ASTNode.cpp

@@ -0,0 +1,21 @@
+#pragma region License
+/*
+ * This file is part of the Boomerang Decompiler.
+ *
+ * See the file "LICENSE.TERMS" for information on usage and
+ * redistribution of this file, and for a DISCLAIMER OF ALL
+ * WARRANTIES.
+ */
+#pragma endregion License
+#include "ASTNode.h"
+
+
+ASTNode::ASTNode()
+{
+}
+
+
+ASTNode::~ASTNode()
+{
+}
+

src/boomerang-plugins/codegen/c/ASTNode.h

@@ -0,0 +1,36 @@
+#pragma region License
+/*
+ * This file is part of the Boomerang Decompiler.
+ *
+ * See the file "LICENSE.TERMS" for information on usage and
+ * redistribution of this file, and for a DISCLAIMER OF ALL
+ * WARRANTIES.
+ */
+#pragma endregion License
+#pragma once
+
+
+class BasicBlock;
+class OStream;
+
+
+/**
+ * Base class for all nodes in the Abstract Syntax Tree.
+ */
+class ASTNode
+{
+public:
+    ASTNode();
+    ASTNode(const ASTNode &other) = delete;
+    ASTNode(ASTNode &&other)      = default;
+
+    virtual ~ASTNode();
+
+    ASTNode &operator=(const ASTNode &other) = delete;
+    ASTNode &operator=(ASTNode &&other) = default;
+
+public:
+    virtual bool isStmt() const { return false; }
+
+    virtual void printAST(OStream &os) const = 0;
+};