Changeset 1931bb01 for src/Validate

Timestamp:

Jul 12, 2022, 3:21:18 PM (22 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, master, pthread-emulation, qualifiedEnum

Children:

b9f8274

Parents:

9c6443e

Message:

Converted 'Validate A' to the new AST. There some utility changes as well.

Location:

src/Validate

Files:

• EliminateTypedef.cpp (modified) (3 diffs)
• EnumAndPointerDecay.cpp (added)
• EnumAndPointerDecay.hpp (added)
• FixReturnTypes.cpp (added)
• FixReturnTypes.hpp (added)
• HoistTypeDecls.cpp (added)
• HoistTypeDecls.hpp (added)
• ReplaceTypedef.cpp (added)
• ReplaceTypedef.hpp (added)
• VerifyCtorDtorAssign.cpp (added)
• VerifyCtorDtorAssign.hpp (added)
• module.mk (modified) (3 diffs)

src/Validate/EliminateTypedef.cpp

@@ -10 +10 @@
 // Created On       : Wed Apr 20 16:37:00 2022
 // Last Modified By : Andrew Beach
-// Last Modified On : Mon Apr 25 14:26:00 2022
-// Update Count     : 0
+// Last Modified On : Mon Jul 11 16:30:00 2022
+// Update Count     : 1
 //
 
@@ -28 +28 @@
 
 struct EliminateTypedefCore {
+        // Remove typedefs from inside aggregates.
         ast::StructDecl const * previsit( ast::StructDecl const * decl );
         ast::UnionDecl const * previsit( ast::UnionDecl const * decl );
+        // Remove typedefs from statement lists.
         ast::CompoundStmt const * previsit( ast::CompoundStmt const * stmt );
+        // Remove typedefs from control structure initializers.
+        ast::IfStmt const * previsit( ast::IfStmt const * stmt );
+        ast::ForStmt const * previsit( ast::ForStmt const * stmt );
+        ast::WhileDoStmt const * previsit( ast::WhileDoStmt const * stmt );
 };
 
@@ -63 +69 @@
 }
 
+ast::IfStmt const * EliminateTypedefCore::previsit( ast::IfStmt const * stmt ) {
+        return field_erase_if( stmt, &ast::IfStmt::inits, isTypedefStmt );
+}
+
+ast::ForStmt const * EliminateTypedefCore::previsit( ast::ForStmt const * stmt ) {
+        return field_erase_if( stmt, &ast::ForStmt::inits, isTypedefStmt );
+}
+
+ast::WhileDoStmt const * EliminateTypedefCore::previsit( ast::WhileDoStmt const * stmt ) {
+        return field_erase_if( stmt, &ast::WhileDoStmt::inits, isTypedefStmt );
+}
+
 } // namespace
 

src/Validate/module.mk

@@ -26 +26 @@
         Validate/EliminateTypedef.cpp \
         Validate/EliminateTypedef.hpp \
+        Validate/EnumAndPointerDecay.cpp \
+        Validate/EnumAndPointerDecay.hpp \
         Validate/FindSpecialDeclsNew.cpp \
         Validate/FixQualifiedTypes.cpp \
         Validate/FixQualifiedTypes.hpp \
+        Validate/FixReturnTypes.cpp \
+        Validate/FixReturnTypes.hpp \
         Validate/ForallPointerDecay.cpp \
         Validate/ForallPointerDecay.hpp \
@@ -37 +41 @@
         Validate/HoistStruct.cpp \
         Validate/HoistStruct.hpp \
+        Validate/HoistTypeDecls.cpp \
+        Validate/HoistTypeDecls.hpp \
         Validate/InitializerLength.cpp \
         Validate/InitializerLength.hpp \
@@ -44 +50 @@
         Validate/LinkReferenceToTypes.hpp \
         Validate/NoIdSymbolTable.hpp \
+        Validate/ReplaceTypedef.cpp \
+        Validate/ReplaceTypedef.hpp \
         Validate/ReturnCheck.cpp \
-        Validate/ReturnCheck.hpp
+        Validate/ReturnCheck.hpp \
+        Validate/VerifyCtorDtorAssign.cpp \
+        Validate/VerifyCtorDtorAssign.hpp
 
 SRCDEMANGLE += $(SRC_VALIDATE)