Changes in src/Parser/DeclarationNode.cc [d9bad51:67467a3]

File:

• src/Parser/DeclarationNode.cc (modified) (9 diffs)

src/Parser/DeclarationNode.cc

@@ -53 +53 @@
         linkage( ::linkage ) {
 
+//      variable.name = nullptr;
         variable.tyClass = ast::TypeDecl::NUMBER_OF_KINDS;
         variable.assertions = nullptr;
@@ -64 +65 @@
         delete name;
 
+//      delete variable.name;
         delete variable.assertions;
         delete variable.initializer;
 
-        delete type;
+//      delete type;
         delete bitfieldWidth;
 
@@ -98 +100 @@
         newnode->error = error;
 
+//      newnode->variable.name = variable.name ? new string( *variable.name ) : nullptr;
         newnode->variable.tyClass = variable.tyClass;
         newnode->variable.assertions = maybeCopy( variable.assertions );
@@ -225 +228 @@
 } // DeclarationNode::newEnumValueGeneric
 
-DeclarationNode * DeclarationNode::newEnumInLine( const std::string * name ) {
-        DeclarationNode * newnode = newName( name );
+DeclarationNode * DeclarationNode::newEnumInLine( const string name ) {
+        DeclarationNode * newnode = newName( new std::string(name) );
         newnode->enumInLine = true;
         return newnode;
@@ -457 +460 @@
                 SemanticWarning( yylloc, Warning::BadQualifiersZeroOne, TypeData::builtinTypeNames[builtin] );
         } // if
-        type = ::addQualifiers( type, q->type );
+        type = ::addQualifiers( q->type, type );
         q->type = nullptr;
 
@@ -470 +473 @@
         copySpecifiers( o, copyattr );
         if ( o->type ) {
-                type = ::addType( type, o->type, o->attributes );
+                type = ::addType( o->type, type, o->attributes );
                 o->type = nullptr;
         } // if
@@ -581 +584 @@
 DeclarationNode * DeclarationNode::addAssertions( DeclarationNode * assertions ) {
         if ( variable.tyClass != ast::TypeDecl::NUMBER_OF_KINDS ) {
-                extend( variable.assertions, assertions );
+                if ( variable.assertions ) {
+                        variable.assertions->set_last( assertions );
+                } else {
+                        variable.assertions = assertions;
+                } // if
                 return this;
         } // if
 
         assert( type );
-        assert( TypeData::Symbolic == type->kind );
-        extend( type->symbolic.assertions, assertions );
+        switch ( type->kind ) {
+        case TypeData::Symbolic:
+                if ( type->symbolic.assertions ) {
+                        type->symbolic.assertions->set_last( assertions );
+                } else {
+                        type->symbolic.assertions = assertions;
+                } // if
+                break;
+        default:
+                assert( false );
+        } // switch
 
         return this;
@@ -672 +688 @@
 
 DeclarationNode * DeclarationNode::addNewPointer( DeclarationNode * p ) {
-        if ( !p ) return this;
-        assert( p->type->kind == TypeData::Pointer || p->type->kind == TypeData::Reference );
-        if ( type ) {
-                p->type->base = makeNewBase( type );
-                type = nullptr;
-        } // if
-        delete this;
-        return p;
+        if ( p ) {
+                assert( p->type->kind == TypeData::Pointer || p->type->kind == TypeData::Reference );
+                if ( type ) {
+                        p->type->base = makeNewBase( type );
+                        type = nullptr;
+                } // if
+                delete this;
+                return p;
+        } else {
+                return this;
+        } // if
 }
 
 DeclarationNode * DeclarationNode::addNewArray( DeclarationNode * a ) {
-        if ( !a ) return this;
+        if ( ! a ) return this;
         assert( a->type->kind == TypeData::Array );
         if ( type ) {
@@ -755 +774 @@
                         if ( ret->kind == TypeData::Aggregate ) {
                                 newnode->attributes.swap( ret->aggregate.attributes );
-                        } // if
+                        } // if 
                         return newnode;
                 } // if