Changeset 0f7a0ea

Timestamp:

Dec 8, 2020, 6:40:10 PM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

48f6252

Parents:

d6089ad

Message:

[fixes #228] delete of 0-sized object always calls destructor; always call free

File:

• libcfa/src/stdlib.hfa (modified) (2 diffs)

libcfa/src/stdlib.hfa

@@ -10 +10 @@
 // Created On       : Thu Jan 28 17:12:35 2016
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Nov 12 20:58:48 2020
-// Update Count     : 520
+// Last Modified On : Tue Dec  8 18:27:22 2020
+// Update Count     : 524
 //
 
@@ -268 +268 @@
 static inline forall( dtype T | { void ^?{}( T & ); } )
 void delete( T * ptr ) {
-        if ( ptr ) {                                                                            // ignore null
+        // special case for 0-sized object => always call destructor
+        if ( ptr || sizeof(ptr) == 0 ) {                                        // ignore null but not 0-sized objects
                 ^(*ptr){};                                                                              // run destructor
-                free( ptr );
         } // if
+        free( ptr );
 } // delete