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/cbytecodes.mli | |
| 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/cbytecodes.mli')
| -rw-r--r-- | kernel/cbytecodes.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/cbytecodes.mli b/kernel/cbytecodes.mli index 6fa0841af9..5a854e717f 100644 --- a/kernel/cbytecodes.mli +++ b/kernel/cbytecodes.mli @@ -39,7 +39,7 @@ val pp_struct_const : structured_constant -> Pp.std_ppcmds type reloc_table = (tag * int) array type annot_switch = - {ci : case_info; rtbl : reloc_table; tailcall : bool} + {ci : case_info; rtbl : reloc_table; tailcall : bool; max_stack_size : int} module Label : sig @@ -84,6 +84,7 @@ type instruction = | Ksequence of bytecodes * bytecodes | Kproj of int * Constant.t (** index of the projected argument, name of projection *) + | Kensurestackcapacity of int (** spiwack: instructions concerning integers *) | Kbranch of Label.t (** jump to label, is it needed ? *) |