71da92d
This patch is an actual bug fix because the implicit declarations in
71da92d
bde/bmem/lib/mem.c to these functions refer to functions, not function
71da92d
pointers, so it's not clear how this could have ever worked.
71da92d
71da92d
Upstream fixed this differently, by rewriting the code:
71da92d
71da92d
commit d315487d6a97ef7b4483e919d1823a408337bd07
71da92d
Author: Manuel Serrano <Manuel.Serrano@inria.fr>
71da92d
Date:   Sun Dec 5 10:31:57 2021 +0100
71da92d
71da92d
    New bmem memory profiler
71da92d
71da92d
diff -ur bde/bmem/lib/bmem.h bde/bmem/lib/bmem.h
71da92d
--- bde/bmem/lib/bmem.h	2022-01-04 08:38:56.000000000 +0100
71da92d
+++ bmem/lib/bmem.h	2022-12-09 19:41:33.804588236 +0100
71da92d
@@ -123,6 +123,12 @@
71da92d
 extern void *(*____string_to_llong)( char * );
71da92d
 extern void *(*____string_to_elong)( char * );
71da92d
 
71da92d
+extern void *(*____create_vector)( int );
71da92d
+extern void *(*____create_vector_uncollectable)( int );
71da92d
+
71da92d
+extern void *(*____make_fx_procedure)( void *(*)(), int, int );
71da92d
+extern void *(*____make_va_procedure)( void *(*)(), int, int );
71da92d
+
71da92d
 extern void *(*____bgl_make_output_port)( void *, bgl_stream_t, int, void *, void *, ssize_t (*)(), long (*)(), int (*)() );
71da92d
                                         
71da92d
 extern void *(*____bgl_output_port_timeout_set)( void *, long );