diff options
| author | Alasdair Armstrong | 2019-04-01 14:25:05 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-04-01 14:25:05 +0100 |
| commit | d9d0a6d064a26f19b4daa5b7a267b0b89926f338 (patch) | |
| tree | 24b70d5b6505f91a478b93a32a4716e76af44e1f /src/jib | |
| parent | bee510755ecd32c600a27b9741c18cce1bd2ea4d (diff) | |
C: Fix end instr usage in jib_optimize
Diffstat (limited to 'src/jib')
| -rw-r--r-- | src/jib/jib_optimize.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/jib/jib_optimize.ml b/src/jib/jib_optimize.ml index d2b7d908..e4891970 100644 --- a/src/jib/jib_optimize.ml +++ b/src/jib/jib_optimize.ml @@ -192,7 +192,7 @@ let rec instrs_subst id subst = | I_clear (clexp, id') -> I_clear (clexp, id') | I_undefined ctyp -> I_undefined ctyp | I_match_failure -> I_match_failure - | I_end -> I_end + | I_end id' -> I_end id' | I_if (cval, then_instrs, else_instrs, ctyp) -> I_if (cval_subst id subst cval, instrs_subst id subst then_instrs, instrs_subst id subst else_instrs, ctyp) | I_block instrs -> I_block (instrs_subst id subst instrs) @@ -238,7 +238,7 @@ let inline cdefs should_inline instrs = in let replace_end label = function - | I_aux (I_end, aux) -> I_aux (I_goto label, aux) + | I_aux (I_end _, aux) -> I_aux (I_goto label, aux) | I_aux (I_undefined _, aux) -> I_aux (I_goto label, aux) | instr -> instr in |