Changes in src/libcfa/exception.c [ff7ff14a:86d5ba7c]

File:

• src/libcfa/exception.c (modified) (4 diffs)

src/libcfa/exception.c

@@ -10 +10 @@
 // Created On       : Mon Jun 26 15:13:00 2017
 // Last Modified By : Andrew Beach
-// Last Modified On : Mon Jul 31 13:51:00 2017
-// Update Count     : 4
+// Last Modified On : Fri Jul 28 12:41:00 2017
+// Update Count     : 3
 //
 
@@ -109 +109 @@
 
 // MEMORY MANAGEMENT (still for integers)
-// May have to move to cfa for constructors and destructors (references).
-
-struct __cfaehm__node {
-        struct __cfaehm__node * next;
-};
-
-#define NODE_TO_EXCEPT(node) ((exception *)(1 + (node)))
-#define EXCEPT_TO_NODE(except) ((struct __cfaehm__node *)(except) - 1)
+// May have to move to cfa for constructors and destructors.
 
 // Creates a copy of the indicated exception and sets current_exception to it.
@@ -122 +115 @@
         struct exception_context_t * context = this_exception_context();
 
-        // Allocate memory for the exception.
-        struct __cfaehm__node * store = malloc(
-                sizeof( except ) + sizeof( struct __cfaehm__node ) );
-
-        if ( ! store ) {
-                // Failure: cannot allocate exception. Terminate thread.
-                abort(); // <- Although I think it might be the process.
-        }
-
-        // Add the node to the list:
-        store->next = EXCEPT_TO_NODE(context->current_exception);
-        context->current_exception = NODE_TO_EXCEPT(store);
+        // Try to use the context's store, otherwise use the heap.
+        if ( 0 == context->built_in_storage ) {
+                context->current_exception = &context->built_in_storage;
+        } else {
+                exception * new_copy = malloc( sizeof( exception/*int*/ ) );
+                if ( ! new_copy ) {
+                        // Failure: cannot allocate exception. Terminate thread.
+                        exit(1); // <- thread or program?
+                }
+                context->current_exception = new_copy;
+        }
 
         // Copy the exception to storage.
@@ -144 +136 @@
 
         // DEBUG
-        printf( "Deleting Exception %d\n", *except);
-
-        // Remove the exception from the list.
-        struct __cfaehm__node * to_free = EXCEPT_TO_NODE(except);
-        struct __cfaehm__node * node;
+        printf( "Deleting Exception %d (%s)\n", *except,
+                (&context->built_in_storage == except) ? "builtin" : "dynamic" );
 
         if ( context->current_exception == except ) {
-                node = to_free->next;
-                context->current_exception = (node) ? NODE_TO_EXCEPT(node) : 0;
+                // TODO: This should restore it to the last exception.
+                context->current_exception = NULL;
+        }
+        if ( &context->built_in_storage == except ) {
+                // You can't throw the exception '0'.
+                context->built_in_storage = 0;
         } else {
-                node = EXCEPT_TO_NODE(context->current_exception);
-                // It may always be in the first or second position.
-                while( to_free != node->next ) {
-                        node = node->next;
-                }
-                node->next = to_free->next;
-        }
-
-        // Free the old exception node.
-        free( to_free );
+                // Only secondary or too large exceptions are thrown.
+                free( except );
+        }
 }