summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@college-de-france.fr>2019-12-12 16:41:17 +0100
committerGabriel Scherer <gabriel.scherer@gmail.com>2020-12-10 18:52:02 +0100
commite322556b0a9097a2eff2117476193b773e1b947f (patch)
tree385ca5fa62a024ba903c83465f2db1ff02f86360
parent8f80438151031f66bd183a8b1920bb5bff599e20 (diff)
downloadocaml-e322556b0a9097a2eff2117476193b773e1b947f.tar.gz
Avoid duplicate definitions of "common" global variables
The variables are caml_debug_info and caml_atom_table. The multiple definitions look like a cut-and-paste error. They cause problems with C compilers that don't follow the "common" model. Fixes: #9144 (cherry picked from commit 53327d777ddcacf829c77c0bd3569a8ade2c72b8)
-rw-r--r--runtime/backtrace.c3
-rw-r--r--runtime/startup_nat.c1
2 files changed, 0 insertions, 4 deletions
diff --git a/runtime/backtrace.c b/runtime/backtrace.c
index a3c2c08fe1..ddf7af1470 100644
--- a/runtime/backtrace.c
+++ b/runtime/backtrace.c
@@ -27,9 +27,6 @@
#include "caml/backtrace_prim.h"
#include "caml/fail.h"
-/* The table of debug information fragments */
-struct ext_table caml_debug_info;
-
CAMLexport int32_t caml_backtrace_active = 0;
CAMLexport int32_t caml_backtrace_pos = 0;
CAMLexport backtrace_slot * caml_backtrace_buffer = NULL;
diff --git a/runtime/startup_nat.c b/runtime/startup_nat.c
index 43b85e3196..5b200362f7 100644
--- a/runtime/startup_nat.c
+++ b/runtime/startup_nat.c
@@ -44,7 +44,6 @@
#endif
extern int caml_parser_trace;
-CAMLexport header_t caml_atom_table[256];
char * caml_code_area_start, * caml_code_area_end;
struct ext_table caml_code_fragments_table;