Changeset 974906e2 for src/SynTree

Timestamp:

Jan 11, 2016, 2:48:05 PM (10 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, 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:

a56767c

Parents:

1e9d87b

Message:

propagate maybeConstructed flag through system, begin create constructor/destructor statements for further processing by Resolver

Location:

src/SynTree

Files:

• Declaration.h (modified) (3 diffs)
• Initializer.cc (modified) (5 diffs)
• Initializer.h (modified) (6 diffs)
• ObjectDecl.cc (modified) (7 diffs)

src/SynTree/Declaration.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Declaration.h -- 
+// Declaration.h --
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Dec 09 14:08:22 2015
-// Update Count     : 32
+// Last Modified On : Thu Jan 07 14:48:44 2016
+// Update Count     : 34
 //
 
@@ -91 +91 @@
         Expression *get_bitfieldWidth() const { return bitfieldWidth; }
         void set_bitfieldWidth( Expression *newValue ) { bitfieldWidth = newValue; }
+        ExprStmt * get_ctor() const { return ctor; }
+        void set_ctor( ExprStmt * newValue ) { ctor = newValue; }
 
         virtual ObjectDecl *clone() const { return new ObjectDecl( *this ); }
@@ -101 +103 @@
         Initializer *init;
         Expression *bitfieldWidth;
+        ExprStmt * ctor;
 };
 

src/SynTree/Initializer.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Initializer.cc -- 
+// Initializer.cc --
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Aug 12 14:05:25 2015
-// Update Count     : 14
+// Last Modified On : Thu Jan 07 15:00:18 2016
+// Update Count     : 23
 //
 
@@ -18 +18 @@
 #include "utility.h"
 
-Initializer::Initializer() {}
+Initializer::Initializer( bool maybeConstructed ) : maybeConstructed( maybeConstructed ) {}
 
 Initializer::~Initializer() {}
@@ -31 +31 @@
 void Initializer::print( std::ostream &os, int indent ) {}
 
-SingleInit::SingleInit( Expression *v, std::list< Expression *> &_designators ) : value ( v ), designators( _designators ) { 
+SingleInit::SingleInit( Expression *v, std::list< Expression *> &_designators, bool maybeConstructed ) : Initializer( maybeConstructed ), value ( v ), designators( _designators ) {
 }
 
-SingleInit::SingleInit( const SingleInit &other ) : value ( other.value ) {
+SingleInit::SingleInit( const SingleInit &other ) : Initializer(other), value ( other.value ) {
         cloneAll(other.designators, designators );
 }
@@ -54 +54 @@
 }
 
-ListInit::ListInit( std::list<Initializer*> &_initializers, std::list<Expression *> &_designators )
-        : initializers( _initializers ), designators( _designators ) {
+ListInit::ListInit( std::list<Initializer*> &_initializers, std::list<Expression *> &_designators, bool maybeConstructed )
+        : Initializer( maybeConstructed), initializers( _initializers ), designators( _designators ) {
 }
 
@@ -65 +65 @@
 
 void ListInit::print( std::ostream &os, int indent ) {
-        os << std::endl << std::string(indent, ' ') << "Compound initializer:  "; 
+        os << std::endl << std::string(indent, ' ') << "Compound initializer:  ";
         if ( ! designators.empty() ) {
                 os << std::string(indent + 2, ' ' ) << "designated by: [";
                 for ( std::list < Expression * >::iterator i = designators.begin();
                           i != designators.end(); i++ ) {
-                        ( *i )->print(os, indent + 4 ); 
+                        ( *i )->print(os, indent + 4 );
                 } // for
-        
+
                 os << std::string(indent + 2, ' ' ) << "]";
         } // if
 
-        for ( std::list<Initializer *>::iterator i = initializers.begin(); i != initializers.end(); i++ ) 
+        for ( std::list<Initializer *>::iterator i = initializers.begin(); i != initializers.end(); i++ )
                 (*i)->print( os, indent + 2 );
 }

src/SynTree/Initializer.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// Initializer.h -- 
+// Initializer.h --
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
-// Last Modified By : Peter A. Buhr
-// Last Modified On : Mon May 18 09:03:48 2015
-// Update Count     : 1
+// Last Modified By : Rob Schluntz
+// Last Modified On : Thu Jan 07 13:33:20 2016
+// Update Count     : 5
 //
 
@@ -27 +27 @@
   public:
         //      Initializer( std::string _name = std::string(""), int _pos = 0 );
-        Initializer( );
+        Initializer( bool maybeConstructed );
         virtual ~Initializer();
 
@@ -43 +43 @@
         }
 
+        bool get_maybeConstructed() { return maybeConstructed; }
+
         virtual Initializer *clone() const = 0;
         virtual void accept( Visitor &v ) = 0;
@@ -50 +52 @@
         //      std::string name;
         //      int pos;
+        bool maybeConstructed;
 };
 
@@ -55 +58 @@
 class SingleInit : public Initializer {
   public:
-        SingleInit( Expression *value, std::list< Expression *> &designators );
+        SingleInit( Expression *value, std::list< Expression *> &designators, bool maybeConstructed );
         SingleInit( const SingleInit &other );
         virtual ~SingleInit();
-        
+
         Expression *get_value() { return value; }
         void set_value( Expression *newValue ) { value = newValue; }
@@ -79 +82 @@
 class ListInit : public Initializer {
   public:
-        ListInit( std::list<Initializer*> &, 
-                          std::list<Expression *> &designators = *(new std::list<Expression *>()) );
+        ListInit( std::list<Initializer*> &,
+                          std::list<Expression *> &designators, bool maybeConstructed );
         virtual ~ListInit();
 

src/SynTree/ObjectDecl.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ObjectDecl.cc -- 
+// ObjectDecl.cc --
 //
 // Author           : Richard C. Bilson
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Tue Sep 29 14:13:01 2015
-// Update Count     : 18
+// Last Modified On : Fri Jan 08 15:29:10 2016
+// Update Count     : 27
 //
 
@@ -19 +19 @@
 #include "Expression.h"
 #include "utility.h"
+#include "Statement.h"
 
 ObjectDecl::ObjectDecl( const std::string &name, DeclarationNode::StorageClass sc, LinkageSpec::Type linkage, Expression *bitfieldWidth, Type *type, Initializer *init, bool isInline, bool isNoreturn )
@@ -24 +25 @@
         set_isInline( isInline );
         set_isNoreturn( isNoreturn );
+        set_ctor( NULL );
 }
 
 ObjectDecl::ObjectDecl( const ObjectDecl &other )
-        : Parent( other ), type( maybeClone( other.type ) ), init( maybeClone( other.init ) ), bitfieldWidth( maybeClone( other.bitfieldWidth ) ) {
+        : Parent( other ), type( maybeClone( other.type ) ), init( maybeClone( other.init ) ), bitfieldWidth( maybeClone( other.bitfieldWidth ) ), ctor( maybeClone( other.ctor ) ) {
 }
 
@@ -34 +36 @@
         delete init;
         delete bitfieldWidth;
+        delete ctor;
 }
 
@@ -58 +61 @@
                 os << " with initializer ";
                 init->print( os, indent );
+                os << std::string(indent, ' ') << "maybeConstructed? " << init->get_maybeConstructed();
         } // if
 
@@ -64 +68 @@
                 bitfieldWidth->print( os );
         } // if
+
+        if ( ctor ) {
+                os << " initially constructed with ";
+                ctor->print( os, indent );
+        } // if
 }
 
@@ -69 +78 @@
 #if 0
         if ( get_mangleName() != "") {
-                os << get_mangleName() << ": "; 
-        } else 
+                os << get_mangleName() << ": ";
+        } else
 #endif
         if ( get_name() != "" ) {