diff options
author | Stephen Dolan <sdolan@janestreet.com> | 2020-05-25 09:11:45 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-25 10:11:45 +0200 |
commit | 9e09fde7350d1afc8db6b2a5d2625fb2a0b8d21d (patch) | |
tree | af61f69938a0c3536641da6a6e6c80971c04c0df /asmcomp/cmmgen.ml | |
parent | 3d63a106b678f54c47698f11db7d810d91d442ec (diff) | |
download | ocaml-9e09fde7350d1afc8db6b2a5d2625fb2a0b8d21d.tar.gz |
Avoid creating ill-formed blocks in Cmm letrec (#9577)
Use "1" (integer 0) as filler value instead of "0" (null pointer).
Fixes: 7718
Diffstat (limited to 'asmcomp/cmmgen.ml')
-rw-r--r-- | asmcomp/cmmgen.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml index 131c1145dd..8503351167 100644 --- a/asmcomp/cmmgen.ml +++ b/asmcomp/cmmgen.ml @@ -1334,7 +1334,7 @@ and transl_letrec env bindings cont = Clet(id, op_alloc "caml_alloc_dummy_float" [int_const dbg sz], init_blocks rem) | (id, _exp, RHS_nonrec) :: rem -> - Clet (id, Cconst_int (0, dbg), init_blocks rem) + Clet (id, Cconst_int (1, dbg), init_blocks rem) and fill_nonrec = function | [] -> fill_blocks bsz | (_id, _exp, |