Merge pull request diffblue#3085 from diffblue/endianness_mapt_build_big_endian_struct_tag

Daniel Kroening · web-flow · commit 09f6eb360b72 · 2018-10-03T08:31:56.000+01:00
endianness_mapt::build_big_endian now does struct_tag types
diff --git a/src/util/endianness_map.cpp b/src/util/endianness_map.cpp
@@ -83,6 +83,10 @@ void endianness_mapt::build_big_endian(const typet &src)
       build_big_endian(c.type());
     }
   }
+  else if(src.id() == ID_struct_tag)
+  {
+    build_big_endian(ns.follow_tag(to_struct_tag_type(src)));
+  }
   else if(src.id()==ID_array)
   {
     const array_typet &array_type=to_array_type(src);

Original file line number	Diff line number	Diff line change
`@@ -83,6 +83,10 @@ void endianness_mapt::build_big_endian(const typet &src)`
`83`	`83`	`build_big_endian(c.type());`
`84`	`84`	`}`
`85`	`85`	`}`
	`86`	`+ else if(src.id() == ID_struct_tag)`
	`87`	`+ {`
	`88`	`+ build_big_endian(ns.follow_tag(to_struct_tag_type(src)));`
	`89`	`+ }`
`86`	`90`	`else if(src.id()==ID_array)`
`87`	`91`	`{`
`88`	`92`	`const array_typet &array_type=to_array_type(src);`