AST: avoid crash for aggregate MOV instructions

Author: sipma

chb/app/InstrXData.py

@@ -327,6 +327,10 @@ def _expand(self) -> None:
             return
         if self.tags[0] == "nop":
             return
+        if self.tags[0] == "subsumes":
+            chklogger.logger.error(
+                "InstrXData: subsumes tag not yet supported")
+            return
         key = self.tags[0]
         if key.startswith("a:"):
             keyletters = key[2:]

chb/arm/opcodes/ARMMove.py

@@ -220,6 +220,12 @@ def ast_prov(
         if xdata.instruction_is_subsumed():
             return self.ast_prov_subsumed(astree, iaddr, bytestring, xdata)
 
+        if xdata.instruction_subsumes():
+            chklogger.logger.warning(
+                "MOV instruction at %s is part of an aggregate that is not yet supported",
+                iaddr)
+            return ([], [])
+
         # low-level assignment
 
         (ll_lhs, _, _) = self.opargs[0].ast_lvalue(astree)