diff options
| author | Maxime Dénès | 2016-10-25 08:09:24 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-10-25 08:09:24 +0200 |
| commit | b63a5cfa919fc0ebe664bbfb3add0fce387b1491 (patch) | |
| tree | 69662aacaaa7129a6b50805f2653fd96d9e9e04d /kernel/cemitcodes.ml | |
| parent | 014e02e0a7d469d46bf5d8314efe039bea3c0dbe (diff) | |
| parent | 7ba4dee1dd9bf600256827b3517db338d7390566 (diff) | |
Merge remote-tracking branch 'github/pr/329' into v8.5
Was PR#329: Fix #5127 Memory corruption with the VM
Diffstat (limited to 'kernel/cemitcodes.ml')
| -rw-r--r-- | kernel/cemitcodes.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/cemitcodes.ml b/kernel/cemitcodes.ml index 57e32684ad..ccea67e41e 100644 --- a/kernel/cemitcodes.ml +++ b/kernel/cemitcodes.ml @@ -226,6 +226,7 @@ let emit_instr = function else (out opSETFIELD;out_int n) | Ksequence _ -> invalid_arg "Cemitcodes.emit_instr" | Kproj (n,p) -> out opPROJ; out_int n; slot_for_const (Const_proj p) + | Kensurestackcapacity size -> out opENSURESTACKCAPACITY; out_int size (* spiwack *) | Kbranch lbl -> out opBRANCH; out_label lbl | Kaddint31 -> out opADDINT31 |