Changeset c8a0210 for tests/exceptions/virtual-cast.cfa

Timestamp:

Apr 16, 2021, 2:28:09 PM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

665edf40

Parents:

857a1c6 (diff), 5f6a172 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/exceptions/virtual-cast.cfa (modified) (4 diffs)

tests/exceptions/virtual-cast.cfa

@@ -12 +12 @@
 #include <assert.h>
 
+
+
+// Hand defined alpha virtual type:
+struct __cfatid_struct_alpha {
+        __cfa__parent_vtable const * parent;
+};
+
+__attribute__(( section(".gnu.linkonce.__cfatid_alpha") ))
+struct __cfatid_struct_alpha __cfatid_alpha = {
+        (__cfa__parent_vtable *)0,
+};
+
 struct alpha_vtable {
-        alpha_vtable const * const parent;
+        struct __cfatid_struct_alpha const * const __cfavir_typeid;
         char (*code)(void);
 };
@@ -27 +39 @@
 
 
+// Hand defined beta virtual type:
+struct __cfatid_struct_beta {
+        __cfatid_struct_alpha const * parent;
+};
+
+__attribute__(( section(".gnu.linkonce.__cfatid_beta") ))
+struct __cfatid_struct_beta __cfatid_beta = {
+        &__cfatid_alpha,
+};
+
 struct beta_vtable {
-        alpha_vtable const * const parent;
+        struct __cfatid_struct_beta const * const __cfavir_typeid;
         char (*code)(void);
 };
@@ -42 +64 @@
 
 
+// Hand defined gamma virtual type:
+struct __cfatid_struct_gamma {
+        __cfatid_struct_beta const * parent;
+};
+
+__attribute__(( section(".gnu.linkonce.__cfatid_gamma") ))
+struct __cfatid_struct_gamma __cfatid_gamma = {
+        &__cfatid_beta,
+};
+
 struct gamma_vtable {
-        beta_vtable const * const parent;
+        struct __cfatid_struct_gamma const * const __cfavir_typeid;
         char (*code)(void);
 };
@@ -57 +89 @@
 
 extern "C" {
-        alpha_vtable _alpha_vtable_instance = { 0, ret_a };
-        beta_vtable _beta_vtable_instance = { &_alpha_vtable_instance, ret_b };
-        gamma_vtable _gamma_vtable_instance = { &_beta_vtable_instance, ret_g };
+        alpha_vtable _alpha_vtable_instance = { &__cfatid_alpha, ret_a };
+        beta_vtable _beta_vtable_instance = { &__cfatid_beta, ret_b };
+        gamma_vtable _gamma_vtable_instance = { &__cfatid_gamma, ret_g };
 }