Changeset 4559b34 for src/ResolvExpr

Timestamp:

Apr 3, 2022, 8:49:42 PM (3 years ago)

Author:

JiadaL <j82liang@…>

Branches:

ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum

Children:

92538ab

Parents:

3eb1653

Message:

Update the String Enum implementation. The declaration now can handles creating the enum decl. But the compilation fails when trying to create reference to the Enum. Need a way to resolve InstTypes?

File:

• src/ResolvExpr/Resolver.cc (modified) (1 diff)

src/ResolvExpr/Resolver.cc ¶

@@ -1470 +1470 @@
                         // enumerator initializers should not use the enum type to initialize, since the
                         // enum type is still incomplete at this point. Use `int` instead.
-                        objectDecl = fixObjectType(objectDecl, symtab);
-                        currentObject = ast::CurrentObject{
-                                objectDecl->location, new ast::BasicType{ ast::BasicType::SignedInt } };
+
+                        if (dynamic_cast< const ast::EnumInstType * >( objectDecl->get_type() )->base->base) { // const ast::PointerType &
+                                const ast::Type * enumBase =  (dynamic_cast< const ast::EnumInstType * >( objectDecl->get_type() )->base->base.get());
+                                const ast::PointerType * enumBaseAsPtr = dynamic_cast<const ast::PointerType *>(enumBase);
+
+                                if ( enumBaseAsPtr ) {
+                                        const ast::Type * pointerBase = enumBaseAsPtr->base.get();
+                                        if ( dynamic_cast<const ast::BasicType *>(pointerBase) ) {
+                                                objectDecl = fixObjectType(objectDecl, symtab);
+                                                if (dynamic_cast<const ast::BasicType *>(pointerBase)->kind == ast::BasicType::Char)
+                                                currentObject = ast::CurrentObject{
+                                                        objectDecl->location,  new ast::PointerType{ 
+                                                                new ast::BasicType{ ast::BasicType::Char }
+                                                        } };
+                                        } else {
+                                                objectDecl = fixObjectType(objectDecl, symtab);
+                                                currentObject = ast::CurrentObject{objectDecl->location, new ast::BasicType{ ast::BasicType::SignedInt } };
+                                        }
+                                }
+                        } else {
+                                objectDecl = fixObjectType(objectDecl, symtab);
+                                currentObject = ast::CurrentObject{
+                                        objectDecl->location, new ast::BasicType{ ast::BasicType::SignedInt } };
+                        }
+
                 }
                 else {