Changes in src/SymTab/Validate.cc [0d70e0d:c8e4d2f8]

File:

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

src/SymTab/Validate.cc

@@ -76 +76 @@
 #include "SynTree/Visitor.h"           // for Visitor
 #include "Validate/HandleAttributes.h" // for handleAttributes
+#include "Validate/FindSpecialDecls.h" // for FindSpecialDecls
 
 class CompoundStmt;
@@ -288 +289 @@
         };
 
-        FunctionDecl * dereferenceOperator = nullptr;
-        struct FindSpecialDeclarations final {
-                void previsit( FunctionDecl * funcDecl );
-        };
-
         void validate( std::list< Declaration * > &translationUnit, __attribute__((unused)) bool doDebug ) {
                 PassVisitor<EnumAndPointerDecay> epc;
@@ -299 +295 @@
                 PassVisitor<CompoundLiteral> compoundliteral;
                 PassVisitor<ValidateGenericParameters> genericParams;
-                PassVisitor<FindSpecialDeclarations> finder;
                 PassVisitor<LabelAddressFixer> labelAddrFixer;
                 PassVisitor<HoistTypeDecls> hoistDecls;
@@ -378 +373 @@
                         });
                         Stats::Time::TimeBlock("Find Special Declarations", [&]() {
-                                acceptAll( translationUnit, finder ); // xxx - remove this pass soon
+                                Validate::findSpecialDecls( translationUnit );
                         });
                         Stats::Time::TimeBlock("Fix Label Address", [&]() {
@@ -943 +938 @@
                 if ( eliminator.pass.typedefNames.count( "size_t" ) ) {
                         // grab and remember declaration of size_t
-                        SizeType = eliminator.pass.typedefNames["size_t"].first->base->clone();
+                        Validate::SizeType = eliminator.pass.typedefNames["size_t"].first->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 );
+                        Validate::SizeType = new BasicType( Type::Qualifiers(), BasicType::LongUnsignedInt );
                 }
         }
@@ -1335 +1330 @@
                         // need to resolve array dimensions early so that constructor code can correctly determine
                         // if a type is a VLA (and hence whether its elements need to be constructed)
-                        ResolvExpr::findSingleExpression( type->dimension, SymTab::SizeType->clone(), indexer );
+                        ResolvExpr::findSingleExpression( type->dimension, Validate::SizeType->clone(), indexer );
 
                         // must re-evaluate whether a type is a VLA, now that more information is available
@@ -1373 +1368 @@
         }
 
-        void FindSpecialDeclarations::previsit( FunctionDecl * funcDecl ) {
-                if ( ! dereferenceOperator ) {
-                        if ( funcDecl->get_name() == "*?" && funcDecl->get_linkage() == LinkageSpec::Intrinsic ) {
-                                FunctionType * ftype = funcDecl->get_functionType();
-                                if ( ftype->get_parameters().size() == 1 && ftype->get_parameters().front()->get_type()->get_qualifiers() == Type::Qualifiers() ) {
-                                        dereferenceOperator = funcDecl;
-                                }
-                        }
-                }
+        const ast::Type * validateType( const ast::Type * type, const ast::SymbolTable & symtab ) {
+                #warning unimplemented
+                (void)type; (void)symtab;
+                assert(false);
+                return nullptr;
         }
 } // namespace SymTab