From 0b87becbf354bed4e5a91bc77642f675a50c12f0 Mon Sep 17 00:00:00 2001
From: nofiv <41523109+nofiv@users.noreply.github.com>
Date: Tue, 16 Jun 2020 12:52:51 +0200
Subject: [PATCH] Sanity check for empty AsmBlocks

---
 miasm/core/asmblock.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/miasm/core/asmblock.py b/miasm/core/asmblock.py
index f412de869..a0fee580d 100644
--- a/miasm/core/asmblock.py
+++ b/miasm/core/asmblock.py
@@ -623,6 +623,11 @@ def sanity_check(self):
         for loc_key in self._nodes:
             if loc_key not in self._loc_key_to_block:
                 raise RuntimeError("Not supported yet: every node must have a corresponding AsmBlock")
+
+            block = self.loc_key_to_block(loc_key)
+            if not block.lines and not isinstance(block, AsmBlockBad):
+                raise RuntimeError("Blocks cannot be empty")
+
             # No next constraint to self
             if (loc_key, loc_key) in next_edges:
                 raise RuntimeError('Bad constraint: self in next')