We are experiencing segmentation faults as a result of stack overflows caused by some large inputs. Need to confirm this for Linux, but in MacOS 11 it is very easy to reproduce, see below.

segfault.ml

let rec stack_overflow x = 1 + stack_overflow (x+1)

let () = 
  stack_overflow 0 |> ignore

% ocamlopt --version
4.12.0
% ocamlopt segfault.ml -o segfault          
% ./segfault 
zsh: segmentation fault  ./segfault