PR#6939: Segfault with improper use of let-rec.

ocaml · Dec 3, 2015 · fab5144 · fab5144
1 parent 837bcd6
commit fab5144
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/Changes b/Changes
@@ -78,6 +78,7 @@ Compilers:
 - PR#6845: -no-check-prims to tell ocamlc not to check primitives in runtime
 * PR#6865: remove special case for parsing "let _ = expr" in structures
   (Jérémie Dimino, Alain Frisch)
+- PR#6939: Segfault with improper use of let-rec (Alain Frisch)
 - PR#6943: native-code generator for POWER/PowerPC 64 bits, both in
   big-endian (ppc64) and little-endian (ppc64le) configuration.
   (Xavier Leroy, with inspiration from RedHat's unofficial ppc64 and ppc64le

diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml
@@ -486,6 +486,7 @@ let check_recursive_lambda idlist lam =
         check idlist' body
     | Lprim(Pmakeblock(tag, mut), args) ->
         List.for_all (check idlist) args
+    | Lprim (Pmakearray Pfloatarray, _) -> false
     | Lprim(Pmakearray(_), args) ->
         List.for_all (check idlist) args
     | Lsequence (lam1, lam2) -> check idlist lam1 && check idlist lam2