]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
d: Generate Object class if it doesn't exist during TypeInfo emission (PR101672)
authorIain Buclaw <ibuclaw@gdcproject.org>
Mon, 26 Jul 2021 18:01:29 +0000 (20:01 +0200)
committerIain Buclaw <ibuclaw@gdcproject.org>
Thu, 29 Jul 2021 15:10:13 +0000 (17:10 +0200)
Having a stub will prevent errors from occuring when compiling D code
with an empty object.d.  Though if it were to actually be used
implicitly then an error should occur.

PR d/101672

gcc/d/ChangeLog:

* typeinfo.cc (make_frontend_typeinfo): Generate Object class if it
doesn't exist.
(check_typeinfo_type): Don't warn if there's no location.

gcc/testsuite/ChangeLog:

* gdc.dg/pr100967.d: Update test.
* gdc.dg/pr101672.d: New test.

gcc/d/typeinfo.cc
gcc/testsuite/gdc.dg/pr100967.d
gcc/testsuite/gdc.dg/pr101672.d [new file with mode: 0644]

index 9d6464deb072e0e0ef9091291cbc14c2ed84e896..a1f0543d58e0e9e26bd7ff6bdefa20465c6086a8 100644 (file)
@@ -205,12 +205,30 @@ make_frontend_typeinfo (Identifier *ident, ClassDeclaration *base = NULL)
   if (!object_module->_scope)
     object_module->importAll (NULL);
 
+  /* Object class doesn't exist, create a stub one that will cause an error if
+     used.  */
+  Loc loc = (object_module->md) ? object_module->md->loc : object_module->loc;
+  if (!base)
+    {
+      if (!ClassDeclaration::object)
+       {
+         ClassDeclaration *object
+           = ClassDeclaration::create (loc, Identifier::idPool ("Object"),
+                                       NULL, NULL, true);
+         object->parent = object_module;
+         object->members = new Dsymbols;
+         object->storage_class |= STCtemp;
+       }
+
+      base = ClassDeclaration::object;
+    }
+
   /* Assignment of global typeinfo variables is managed by the ClassDeclaration
      constructor, so only need to new the declaration here.  */
-  Loc loc = (object_module->md) ? object_module->md->loc : object_module->loc;
   ClassDeclaration *tinfo = ClassDeclaration::create (loc, ident, NULL, NULL,
                                                      true);
   tinfo->parent = object_module;
+  tinfo->members = new Dsymbols;
   dsymbolSemantic (tinfo, object_module->_scope);
   tinfo->baseClass = base;
   /* This is a compiler generated class, and shouldn't be mistaken for being
@@ -1316,6 +1334,7 @@ public:
     tree type = tinfo_types[get_typeinfo_kind (tid->tinfo)];
     gcc_assert (type != NULL_TREE);
 
+    /* Built-in typeinfo will be referenced as one-only.  */
     tid->csym = declare_extern_var (ident, type);
     DECL_LANG_SPECIFIC (tid->csym) = build_lang_decl (tid);
 
@@ -1400,7 +1419,7 @@ check_typeinfo_type (const Loc &loc, Scope *sc)
       /* If TypeInfo has not been declared, warn about each location once.  */
       static Loc warnloc;
 
-      if (!warnloc.equals (loc))
+      if (loc.filename && !warnloc.equals (loc))
        {
          error_at (make_location_t (loc),
                    "%<object.TypeInfo%> could not be found, "
index 582ad58267670f1c8483eaad93bd5357c69be242..bb83c299cedce83cee34e04b8d3b059cbfa5695a 100644 (file)
@@ -1,7 +1,7 @@
 // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100967
 // { dg-do compile }
 
-module object; // { dg-error "class object.TypeInfo missing or corrupt object.d" }
+module object;
 
 extern(C) int main()
 {
diff --git a/gcc/testsuite/gdc.dg/pr101672.d b/gcc/testsuite/gdc.dg/pr101672.d
new file mode 100644 (file)
index 0000000..292fd76
--- /dev/null
@@ -0,0 +1,19 @@
+// https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101672
+// { dg-do compile }
+
+module object;
+
+interface I101672
+{
+    static int i101672;
+}
+
+class A101672 : I101672 // { dg-error "class object.A101672 missing or corrupt object.d" }
+{
+    static int a101672;
+}
+
+class B101672 : A101672
+{
+    static int b101672;
+}