Changeset f855545 for src/Parser/TypeData.cc

Timestamp:

Nov 2, 2018, 7:46:19 AM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

aaron-thesis, arm-eh, cleanup-dtors, deferred_resn, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

c45b304

Parents:

30ee9ef

Message:

more basetypeof changes

File:

• src/Parser/TypeData.cc (modified) (8 diffs)

src/Parser/TypeData.cc

@@ -10 +10 @@
 // Created On       : Sat May 16 15:12:51 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Jul 20 14:39:31 2018
-// Update Count     : 622
+// Last Modified On : Thu Nov  1 20:56:14 2018
+// Update Count     : 623
 //
 
@@ -96 +96 @@
                 break;
           case Typeof:
+          case Basetypeof:
                 // typeexpr = new Typeof_t;
                 typeexpr = nullptr;
@@ -166 +167 @@
                 break;
           case Typeof:
+          case Basetypeof:
                 // delete typeexpr->expr;
                 delete typeexpr;
@@ -245 +247 @@
                 break;
           case Typeof:
+          case Basetypeof:
                 newtype->typeexpr = maybeClone( typeexpr );
                 break;
@@ -419 +422 @@
                 } // if
                 break;
+          case Basetypeof:
+                os << "base-";
+                __attribute__((fallthrough));
           case Typeof:
                 os << "type-of expression ";
@@ -457 +463 @@
           case Tuple:
           case Typeof:
+          case Basetypeof:
           case Builtin:
                 assertf(false, "Tried to get leaf name from kind without a name: %d", kind);
@@ -535 +542 @@
                 return buildTuple( td );
           case TypeData::Typeof:
+          case TypeData::Basetypeof:
                 return buildTypeof( td );
           case TypeData::Builtin:
@@ -929 +937 @@
 
 TypeofType * buildTypeof( const TypeData * td ) {
-        assert( td->kind == TypeData::Typeof );
+        assert( td->kind == TypeData::Typeof || td->kind == TypeData::Basetypeof );
         assert( td->typeexpr );
         // assert( td->typeexpr->expr );
-        return new TypeofType( buildQualifiers( td ), td->typeexpr->build() );
+        return new TypeofType( td->kind == TypeData::Basetypeof ? Type::Qualifiers{} : buildQualifiers( td ), td->typeexpr->build() );
 } // buildTypeof