Changes in libcfa/src/stdlib.hfa [09ee131:d1b70d4]

File:

• libcfa/src/stdlib.hfa (modified) (15 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 : Mon Jan 18 21:51:13 2021
-// Update Count     : 569
+// Last Modified On : Thu Jan 21 22:02:13 2021
+// Update Count     : 574
 //
 
@@ -48 +48 @@
         else return (T *)alignment( _Alignof(T), dim, sizeof(T) )
 
-static inline forall( dtype T | sized(T) ) {
+static inline forall( T & | sized(T) ) {
         // CFA safe equivalents, i.e., implicit size specification
 
@@ -108 +108 @@
 
         1. Replace the current forall-block that contains defintions of S_fill and S_realloc with following:
-                forall( dtype T | sized(T) ) {
+                forall( T & | sized(T) ) {
                         union  U_fill           { char c; T * a; T t; };
                         struct S_fill           { char tag; U_fill(T) fill; };
@@ -151 +151 @@
 typedef struct S_resize                 { inline void *;  }     T_resize;
 
-forall( dtype T ) {
+forall( T & ) {
         struct S_fill           { char tag; char c; size_t size; T * at; char t[50]; };
         struct S_realloc        { inline T *; };
@@ -159 +159 @@
 static inline T_resize  ?`resize  ( void * a )  { return (T_resize){a}; }
 
-static inline forall( dtype T | sized(T) ) {
+static inline forall( T & | sized(T) ) {
         S_fill(T) ?`fill ( T t ) {
                 S_fill(T) ret = { 't' };
@@ -195 +195 @@
                                 #pragma GCC diagnostic push
                                 #pragma GCC diagnostic ignored "-Wmaybe-uninitialized"
-                                memcpy( (char *)ptr + i, &Fill.t, sizeof(Fill.t) );
+                                assert( size <= sizeof(Fill.t) );
+                                memcpy( (char *)ptr + i, &Fill.t, size );
                                 #pragma GCC diagnostic pop
                         }
@@ -207 +208 @@
         } // $alloc_internal
 
-        forall( ttype TT | { T * $alloc_internal( void *, T *, size_t, size_t, S_fill(T), TT ); } ) {
+        forall( TT... | { T * $alloc_internal( void *, T *, size_t, size_t, S_fill(T), TT ); } ) {
 
                 T * $alloc_internal( void *       , T * Realloc, size_t Align, size_t Dim, S_fill(T) Fill, T_resize Resize, TT rest) {
@@ -236 +237 @@
 } // distribution T
 
-static inline forall( dtype T | sized(T) ) {
+static inline forall( T & | sized(T) ) {
         // CFA safe initialization/copy, i.e., implicit size specification, non-array types
         T * memset( T * dest, char fill ) {
@@ -257 +258 @@
 
 // CFA deallocation for multiple objects
-static inline forall( dtype T )                                                 // FIX ME, problems with 0p in list
+static inline forall( T & )                                                     // FIX ME, problems with 0p in list
 void free( T * ptr ) {
         free( (void *)ptr );                                                            // C free
 } // free
-static inline forall( dtype T, ttype TT | { void free( TT ); } )
+static inline forall( T &, TT... | { void free( TT ); } )
 void free( T * ptr, TT rest ) {
         free( ptr );
@@ -268 +269 @@
 
 // CFA allocation/deallocation and constructor/destructor, non-array types
-static inline forall( dtype T | sized(T), ttype TT | { void ?{}( T &, TT ); } )
+static inline forall( T & | sized(T), TT... | { void ?{}( T &, TT ); } )
 T * new( TT p ) {
         return &(*(T *)malloc()){ p };                                          // run constructor
 } // new
 
-static inline forall( dtype T | { void ^?{}( T & ); } )
+static inline forall( T & | { void ^?{}( T & ); } )
 void delete( T * ptr ) {
         // special case for 0-sized object => always call destructor
@@ -281 +282 @@
         free( ptr );                                                                            // always call free
 } // delete
-static inline forall( dtype T, ttype TT | { void ^?{}( T & ); void delete( TT ); } )
+static inline forall( T &, TT... | { void ^?{}( T & ); void delete( TT ); } )
 void delete( T * ptr, TT rest ) {
         delete( ptr );
@@ -288 +289 @@
 
 // CFA allocation/deallocation and constructor/destructor, array types
-forall( dtype T | sized(T), ttype TT | { void ?{}( T &, TT ); } ) T * anew( size_t dim, TT p );
-forall( dtype T | sized(T) | { void ^?{}( T & ); } ) void adelete( T arr[] );
-forall( dtype T | sized(T) | { void ^?{}( T & ); }, ttype TT | { void adelete( TT ); } ) void adelete( T arr[], TT rest );
+forall( T & | sized(T), TT... | { void ?{}( T &, TT ); } ) T * anew( size_t dim, TT p );
+forall( T & | sized(T) | { void ^?{}( T & ); } ) void adelete( T arr[] );
+forall( T & | sized(T) | { void ^?{}( T & ); }, TT... | { void adelete( TT ); } ) void adelete( T arr[], TT rest );
 
 //---------------------------------------
@@ -330 +331 @@
 //---------------------------------------
 
-forall( otype E | { int ?<?( E, E ); } ) {
+forall( E | { int ?<?( E, E ); } ) {
         E * bsearch( E key, const E * vals, size_t dim );
         size_t bsearch( E key, const E * vals, size_t dim );
@@ -339 +340 @@
 } // distribution
 
-forall( otype K, otype E | { int ?<?( K, K ); K getKey( const E & ); } ) {
+forall( K, E | { int ?<?( K, K ); K getKey( const E & ); } ) {
         E * bsearch( K key, const E * vals, size_t dim );
         size_t bsearch( K key, const E * vals, size_t dim );
@@ -348 +349 @@
 } // distribution
 
-forall( otype E | { int ?<?( E, E ); } ) {
+forall( E | { int ?<?( E, E ); } ) {
         void qsort( E * vals, size_t dim );
 } // distribution