Changeset 5f98ce5 for src/SymTab

Timestamp:

Jul 19, 2016, 7:09:30 PM (8 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

40e636a

Parents:

2be1023

Message:

hoist non-constexpr array dimension into const variable in case of side effects

Location:

src/SymTab

Files:

• Autogen.cc (modified) (1 diff)
• Autogen.h (modified) (1 diff)
• Validate.cc (modified) (3 diffs)

src/SymTab/Autogen.cc

@@ -26 +26 @@
 
 namespace SymTab {
+        Type * SizeType = 0;
+
         class AutogenerateRoutines : public Visitor {
                 public:

src/SymTab/Autogen.h

@@ -29 +29 @@
         /// returns true if obj's name is the empty string and it has a bitfield width
         bool isUnnamedBitfield( ObjectDecl * obj );
+
+        /// size_t type - set when size_t typedef is seen. Useful in a few places,
+        /// such as in determining array dimension type
+        extern Type * SizeType;
 
         /// inserts into out a generated call expression to function fname with arguments dstParam and srcParam. Intended to be used with generated ?=?, ?{}, and ^?{} calls.

src/SymTab/Validate.cc

@@ -174 +174 @@
 
                 virtual void visit( FunctionDecl *funcDecl );
-};
+        };
 
         class CompoundLiteral : public GenPoly::DeclMutator {
@@ -490 +490 @@
                 EliminateTypedef eliminator;
                 mutateAll( translationUnit, eliminator );
+                if ( eliminator.typedefNames.count( "size_t" ) ) {
+                        // grab and remember declaration of size_t
+                        SizeType = eliminator.typedefNames["size_t"].first->get_base()->clone();
+                } else {
+                        assert( false && "missing global typedef for size_t" );
+                }
                 filter( translationUnit, isTypedef, true );
+
         }
 
@@ -518 +525 @@
         Declaration *EliminateTypedef::mutate( TypedefDecl * tyDecl ) {
                 Declaration *ret = Mutator::mutate( tyDecl );
+
                 if ( typedefNames.count( tyDecl->get_name() ) == 1 && typedefNames[ tyDecl->get_name() ].second == scopeLevel ) {
                         // typedef to the same name from the same scope