Changeset d672350 for src/Validate

Timestamp:

Mar 21, 2022, 1:44:06 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct

Children:

a76202d

Parents:

ef3c383 (diff), dbe2533 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

src/Validate

Files:

• FindSpecialDeclsNew.cpp (modified) (2 diffs)
• ForallPointerDecay.cpp (added)
• ForallPointerDecay.hpp (added)
• module.mk (modified) (1 diff)

src/Validate/FindSpecialDeclsNew.cpp

@@ -30 +30 @@
 
 struct FindDeclsCore : public ast::WithShortCircuiting {
-        ast::TranslationUnit::Global & global;
-        FindDeclsCore( ast::TranslationUnit::Global & g ) : global( g ) {}
+        ast::TranslationGlobal & global;
+        FindDeclsCore( ast::TranslationGlobal & g ) : global( g ) {}
 
         void previsit( const ast::Decl * decl );
@@ -74 +74 @@
         ast::Pass<FindDeclsCore>::run( translationUnit, translationUnit.global );
 
-        // TODO: When everything gets the globals from the translation unit,
-        // remove these.
-        ast::dereferenceOperator = translationUnit.global.dereference;
-        ast::dtorStruct = translationUnit.global.dtorStruct;
-        ast::dtorStructDestroy = translationUnit.global.dtorDestroy;
-
         // TODO: conditionally generate 'fake' declarations for missing features,
         // so that translation can proceed in the event that builtins, prelude,

src/Validate/module.mk

@@ -20 +20 @@
         Validate/CompoundLiteral.cpp \
         Validate/CompoundLiteral.hpp \
+        Validate/ForallPointerDecay.cpp \
+        Validate/ForallPointerDecay.hpp \
         Validate/HandleAttributes.cc \
         Validate/HandleAttributes.h \