Changeset 6013bd7 for src/ResolvExpr/Resolver.cc

Timestamp:

Mar 23, 2017, 6:11:52 PM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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:

f20dffa

Parents:

0583064b

Message:

first attempt at named designators

File:

• src/ResolvExpr/Resolver.cc (modified) (3 diffs)

src/ResolvExpr/Resolver.cc

@@ -10 +10 @@
 // Created On       : Sun May 17 12:17:01 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jul 12 17:45:42 2016
-// Update Count     : 204
+// Last Modified On : Thu Mar 23 17:23:14 2017
+// Update Count     : 211
 //
 
@@ -371 +371 @@
         void Resolver::visit( SingleInit *singleInit ) {
                 if ( singleInit->get_value() ) {
-#if 0
-                        if (NameExpr * ne = dynamic_cast<NameExpr*>(singleInit->get_value())) {
-                                string n = ne->get_name();
-                                if (n == "0") {
-                                        initContext = new BasicType(Type::Qualifiers(),
-                                                                                                BasicType::SignedInt);
-                                } else {
-                                        DeclarationWithType * decl = lookupId( n );
-                                        initContext = decl->get_type();
-                                }
-                        } else if (ConstantExpr * e =
-                                           dynamic_cast<ConstantExpr*>(singleInit->get_value())) {
-                                Constant *c = e->get_constant();
-                                initContext = c->get_type();
-                        } else {
-                                assert(0);
-                        }
-#endif
+                        // // find all the d's
+                        // std::list<Expression *> &designators = singleInit->get_designators();
+                        // std::list<Type *> types1{ initContext }, types2;
+                        // for ( Expression * expr: designators ) {
+                        //      cerr << expr << endl;
+                        //      if ( NameExpr * nexpr = dynamic_cast<NameExpr *>( expr ) ) {
+                        //              for ( Type * type: types1 ) {
+                        //                      cerr << type << endl;
+                        //                      ReferenceToType * fred = dynamic_cast<ReferenceToType *>(type);
+                        //                      std::list<Declaration *> members;
+                        //                      if ( fred ) {
+                        //                              fred->lookup( nexpr->get_name(), members ); // concatenate identical field name
+                        //                              for ( Declaration * mem: members ) {
+                        //                                      if ( DeclarationWithType * dwt = dynamic_cast<DeclarationWithType *>(mem) ) {
+                        //                                              types2.push_back( dwt->get_type() );
+                        //                                      } // if
+                        //                              } // for
+                        //                      } // if
+                        //              } // for
+                        //              types1 = types2;
+                        //              types2.clear();
+                        //      } // if
+                        // } // for
+                        // // for ( Type * type: types1 ) {
+                        // //   cerr << type << endl;
+                        // // } // for
+                        
+                        // // O(N^2) checks of d-types with f-types
+                        // // find the minimum cost
                         CastExpr *castExpr = new CastExpr( singleInit->get_value(), initContext->clone() );
                         Expression *newExpr = findSingleExpression( castExpr, *this );
@@ -410 +421 @@
                         }
                 } // if
-//      singleInit->get_value()->accept( *this );
         }