Just warn about unimplemented types - they can be safely skipped.

diff --git a/cil-tools/bitmatch_import_c.ml b/cil-tools/bitmatch_import_c.ml
index dc4e520..6936fac 100644 (file)
--- a/cil-tools/bitmatch_import_c.ml
+++ b/cil-tools/bitmatch_import_c.ml
@@ -293,7 +293,7 @@ OPTIONS" in
            [] (* XXX *)
 
        | t ->
-           Errormsg.unimp "to_fields: %a: unhandled type: %a"
+           Errormsg.warn "pattern_of_struct: %a: unhandled type: %a"
              d_loc loc d_type t;
            []