From aa9d2bf893a9c40141a4bdc6838df5ce4892d8a7 Mon Sep 17 00:00:00 2001 From: Thomas Arts Date: Mon, 27 May 2019 15:24:11 +0200 Subject: [PATCH] Do not allow empty code blocks --- src/aeb_fate_code.erl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/aeb_fate_code.erl b/src/aeb_fate_code.erl index 01359d9..c8eba2d 100644 --- a/src/aeb_fate_code.erl +++ b/src/aeb_fate_code.erl @@ -154,6 +154,8 @@ serialize_bbs(BBs, N, Acc) -> false -> error({not_contiguous_labels, lists:sort(maps:keys(BBs))}) end; + [] -> + error({empty_code_block, N}); BB -> serialize_bbs(BBs, N + 1, [serialize_bb(BB, [])|Acc]) end.