On Thu, Nov 07, 2019 at 11:46:56PM +0200, Theo Buehler wrote: > > Unfortunately, the binary is stripped so there are no symbols for the > > .openbsd.randomdata segment so we can't confirm the cause. > > Sorry about that. A non-stripped binary should be available under > > cvs:~tb/lean/lean-nonstripped >
I was told that snaps contain a potential fix for this. Using clang the most recent snapshot (installed via sysupgrade) kern.version=OpenBSD 6.6-current (GENERIC.MP) #433: Thu Nov 7 10:41:08 MST 2019 I get the exact same binary when compiling with -g -O0 cvs$ sha256 lean/lean-new lean/lean-nonstripped SHA256 (lean/lean-new) = 7a8113fd2f480b4b46c530547e86a97ed0b687f9347d81d2f5b0d188bfd92010 SHA256 (lean/lean-nonstripped) = 7a8113fd2f480b4b46c530547e86a97ed0b687f9347d81d2f5b0d188bfd92010 It's getting late here in OTP, I'll happily run further experiments tomorrow.
