Re: Help needed for debugging OCaml failure on m68k

Hi Stéphane,

On Wed, 2024-06-19 at 13:28 +0200, Stéphane Glondu wrote:
> > Can you maybe try passing "-malign-int" to CFLAGS/CXXFLAGS when building OCaml on m68k
> > to verify this hypothesis? Please note that this also breaks the SysV ABI, so it's not
> > possible to easily do this on a per-package basis.
> 
> I observe the same behaviour with "-malign-int": the address of 
> caml_state (a thread local variable) changes unexpectedly (goes from 
> 0x402e5fac to 0x402e7454) after the following goto:
> 
>  
> https://salsa.debian.org/ocaml-team/ocaml/-/blob/debian/experimental/runtime/interp.c?ref_type=heads#L295
> 
> which leads to:
> 
>  
> https://salsa.debian.org/ocaml-team/ocaml/-/blob/debian/experimental/runtime/interp.c?ref_type=heads#L819
> 
> ...confirmed by adding:
> 
>    fprintf(stderr, "&caml_state = %p\n", &caml_state);
> 
> before the goto and after the "Instruct(BRANCH):".

Hmm, I guess then maybe Andreas Schwab or Geert Uytterhoeven might have an idea what
the problem with the TLS variable is. I'll CC both.

Adrian

-- 
 .''`.  John Paul Adrian Glaubitz
: :' :  Debian Developer
`. `'   Physicist
  `-    GPG: 62FF 8A75 84E0 2956 9546  0006 7426 3B37 F5B5 F913