diff options
Diffstat (limited to 'backend/Linearizeaux.ml')
| -rw-r--r-- | backend/Linearizeaux.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/backend/Linearizeaux.ml b/backend/Linearizeaux.ml index 5b3384f2..23ced4c2 100644 --- a/backend/Linearizeaux.ml +++ b/backend/Linearizeaux.ml @@ -168,7 +168,9 @@ let forward_sequences code entry = | Lcond (_, _, ifso, ifnot, info) -> (match info with | None -> begin Printf.printf "STOP Lcond None\n"; ([], [ifso; ifnot]) end | Some false -> let ln, rem = traverse_fallthrough code ifnot in (ln, [ifso] @ rem) - | Some true -> failwith "Inconsistency detected: ifnot is not the preferred branch") + | Some true -> + let errstr = Printf.sprintf ("Inconsistency detected in node %d: ifnot is not the preferred branch") (P.to_int node) in + failwith errstr) | Ljumptable(_, ln) -> begin Printf.printf "STOP Ljumptable\n"; ([], ln) end in ([node] @ ln, rem) end |