Changes in libcfa/prelude/builtins.c [bf71cfd:b867278]

File:

• libcfa/prelude/builtins.c (modified) (2 diffs)

libcfa/prelude/builtins.c

@@ -10 +10 @@
 // Created On       : Fri Jul 21 16:21:03 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Feb  8 12:47:59 2018
-// Update Count     : 19
+// Last Modified On : Sun Aug  5 21:40:38 2018
+// Update Count     : 20
 //
+
+// 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
@@ -22 +46 @@
 
 void exit( int status, const char fmt[], ... ) __attribute__ (( format(printf, 2, 3), __nothrow__, __leaf__, __noreturn__ ));
-void abort ( const char fmt[], ... ) __attribute__ (( format(printf, 1, 2), __nothrow__, __leaf__, __noreturn__ ));
+void abort( const char fmt[], ... ) __attribute__ (( format(printf, 1, 2), __nothrow__, __leaf__, __noreturn__ ));
 
 // increment/decrement unification