Original bug ID: 6770
Reporter: @damiendoligez
Assigned to: @mshinwell
Status: closed (set by @mshinwell on 2015-02-04T08:07:50Z)
Resolution: open
Priority: normal
Severity: major
Version: 4.03.0+dev / +beta1
Target version: 4.02.2+dev / +rc1
Category: back end (clambda to assembly)
Duplicate of: #6686

Bug description

When you compile the attached file with ocamlopt and any inlining level greater than 1, you get a compiler crash with the following message:

Fatal error: Selection.emit_expr: unbound var match_1020
Fatal error: exception Misc.Fatal_error

I tracked it down to commit 14444 from March 2014.

Note: the problem disappears as soon as you remove one or both of the "ignore" lines.

Steps to reproduce

cat >problems.ml <<EOF
type t =
| Constant of float
| Exponent of (float * float)

let to_string = function
| Exponent (_b, _e) ->
ignore _b;
ignore _e;
""
| Constant _ -> ""

let _ = to_string (Constant 4.)
EOF

ocamlopt -inline 20 problems.ml

File attachments

• problems.ml