XXPRUTIL: add error handling

Author: sipma

chb/app/CHVersion.py

@@ -1 +1 @@
-chbversion: str = "0.3.0-20250326"
+chbversion: str = "0.3.0-20250327"

chb/app/InstrXData.py

@@ -483,6 +483,9 @@ def has_branch_conditions(self) -> bool:
     def has_condition_setter(self) -> bool:
         return len(self.tags) == 4 and self.tags[1] == "TF"
 
+    def has_missing_branch_conditions(self) -> bool:
+        return len(self.tags) > 1 and self.tags[1] == "TF:no-x"
+
     def get_condition_setter(self) -> str:
         if len(self.tags) > 2:
             return self.tags[2]

chb/invariants/XXprUtil.py

@@ -1299,6 +1299,22 @@ def default() -> AST.ASTExpr:
             compkey = cast(AST.ASTTypComp, hl_addr_tgttype).compkey
             compinfo = astree.compinfo(compkey)
 
+            if not compinfo.has_fields():
+                if not anonymous:
+                    chklogger.logger.error(
+                        "Struct definition is missing for %s at address %s "
+                        + "(no fields found)",
+                        compinfo.compname, iaddr)
+                return astree.mk_temp_lval_expression()
+
+            if not compinfo.has_field_offsets():
+                if not anonymous:
+                    chklogger.logger.error(
+                        "Struct definition for %s does not have field offsets "
+                        + "at address %s",
+                        compinfo.compname, iaddr)
+                return astree.mk_temp_lval_expression()
+
             (field, _) = compinfo.field_at_offset(0)
             fieldoffset = astree.mk_field_offset(field.fieldname, compkey)
             return astree.mk_memref_expr(
@@ -1341,6 +1357,22 @@ def default() -> AST.ASTExpr:
             compkey = cast(AST.ASTTypComp, exp1tgttype).compkey
             compinfo = astree.compinfo(compkey)
 
+            if not compinfo.has_fields():
+                if not anonymous:
+                    chklogger.logger.error(
+                        "Struct definition is missing for %s at address %s "
+                        + "(no fields found)",
+                        compinfo.compname, iaddr)
+                return astree.mk_temp_lval_expression()
+
+            if not compinfo.has_field_offsets():
+                if not anonymous:
+                    chklogger.logger.error(
+                        "Struct definition for %s does not have field offsets "
+                        + "at address %s",
+                        compinfo.compname, iaddr)
+                return astree.mk_temp_lval_expression()
+
             scalaroffset = cast(AST.ASTIntegerConstant, exp2).cvalue
             (field, rem) = compinfo.field_at_offset(scalaroffset)
             if rem > 0: