Changeset 154fdc8 for src/SymTab/Validate.cc

Timestamp:

Apr 19, 2017, 10:15:45 AM (9 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

cd348e7

Parents:

221c2de7 (diff), de4ce0e (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

File:

• src/SymTab/Validate.cc (modified) (3 diffs)

src/SymTab/Validate.cc

@@ -208 +208 @@
         };
 
+        class ArrayLength : public Visitor {
+        public:
+                /// for array types without an explicit length, compute the length and store it so that it
+                /// is known to the rest of the phases. For example,
+                ///   int x[] = { 1, 2, 3 };
+                ///   int y[][2] = { { 1, 2, 3 }, { 1, 2, 3 } };
+                /// here x and y are known at compile-time to have length 3, so change this into
+                ///   int x[3] = { 1, 2, 3 };
+                ///   int y[3][2] = { { 1, 2, 3 }, { 1, 2, 3 } };
+                static void computeLength( std::list< Declaration * > & translationUnit );
+
+                virtual void visit( ObjectDecl * objDecl );
+        };
+
         class CompoundLiteral final : public GenPoly::DeclMutator {
                 Type::StorageClasses storageClasses;
@@ -235 +249 @@
                 acceptAll( translationUnit, pass3 );
                 VerifyCtorDtorAssign::verify( translationUnit );
+                ArrayLength::computeLength( translationUnit );
         }
 
@@ -869 +884 @@
                 }
         }
+
+        void ArrayLength::computeLength( std::list< Declaration * > & translationUnit ) {
+                ArrayLength len;
+                acceptAll( translationUnit, len );
+        }
+
+        void ArrayLength::visit( ObjectDecl * objDecl ) {
+                if ( ArrayType * at = dynamic_cast< ArrayType * >( objDecl->get_type() ) ) {
+                        if ( at->get_dimension() != nullptr ) return;
+                        if ( ListInit * init = dynamic_cast< ListInit * >( objDecl->get_init() ) ) {
+                                at->set_dimension( new ConstantExpr( Constant::from_ulong( init->get_initializers().size() ) ) );
+                        }
+                }
+        }
 } // namespace SymTab