Changes in src/SymTab/Validate.cc [956a9c77:40e636a]

File:

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

src/SymTab/Validate.cc

@@ -174 +174 @@
 
                 virtual void visit( FunctionDecl *funcDecl );
-};
+        };
 
         class CompoundLiteral : public GenPoly::DeclMutator {
@@ -191 +191 @@
                 EliminateTypedef::eliminateTypedef( translationUnit );
                 HoistStruct::hoistStruct( translationUnit );
+                autogenerateRoutines( translationUnit ); // moved up, used to be below compoundLiteral - currently needs Pass1
                 acceptAll( translationUnit, pass1 );
                 acceptAll( translationUnit, pass2 );
                 ReturnChecker::checkFunctionReturns( translationUnit );
-                mutateAll( translationUnit, compoundliteral );
-                autogenerateRoutines( translationUnit );
+                compoundliteral.mutateDeclarationList( translationUnit );
                 acceptAll( translationUnit, pass3 );
                 VerifyCtorDtor::verify( translationUnit );
@@ -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 {
+                        // xxx - missing global typedef for size_t - default to long unsigned int, even though that may be wrong
+                        // eventually should have a warning for this case.
+                        SizeType = new BasicType( Type::Qualifiers(), BasicType::LongUnsignedInt );
+                }
                 filter( translationUnit, isTypedef, true );
+
         }
 
@@ -518 +527 @@
         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