Changeset f57dd25 for libcfa/prelude/builtins.c

Timestamp:

May 29, 2019, 3:45:00 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

0aedb01

Parents:

157a816 (diff), ebc0a85 (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 'cleanup-dtors'

File:

• libcfa/prelude/builtins.c (modified) (1 diff)

libcfa/prelude/builtins.c

@@ -13 +13 @@
 // Update Count     : 95
 //
+
+// type that wraps a pointer and a destructor-like function - used in generating implicit destructor calls for struct members in user-defined functions
+// Note: needs to occur early, because it is used to generate destructor calls during code generation
+forall(dtype T)
+struct __Destructor {
+        T * object;
+        void (*dtor)(T *);
+};
+
+// defined destructor in the case that non-generated code wants to use __Destructor
+forall(dtype T)
+static inline void ^?{}(__Destructor(T) & x) {
+        if (x.object && x.dtor) {
+                x.dtor(x.object);
+        }
+}
+
+// easy interface into __Destructor's destructor for easy codegen purposes
+extern "C" {
+        forall(dtype T)
+        static inline void __destroy_Destructor(__Destructor(T) * dtor) {
+                ^(*dtor){};
+        }
+}
 
 // exception implementation