Handle ID_struct_tag in interpreter get_size()

Joel Allred · Joel Allred · commit d53994072ce6 · 2018-12-05T15:32:38.000Z
diff --git a/src/goto-programs/interpreter.cpp b/src/goto-programs/interpreter.cpp
@@ -1031,7 +1031,7 @@ mp_integer interpretert::get_size(const typet &type)
     }
     return subtype_size;
   }
-  else if(type.id() == ID_symbol_type)
+  else if(type.id() == ID_symbol_type || type.id() == ID_struct_tag)
   {
     return get_size(ns.follow(type));
   }

Original file line number	Diff line number	Diff line change
`@@ -1031,7 +1031,7 @@ mp_integer interpretert::get_size(const typet &type)`
`1031`	`1031`	`}`
`1032`	`1032`	`return subtype_size;`
`1033`	`1033`	`}`
`1034`		`- else if(type.id() == ID_symbol_type)`
	`1034`	`+ else if(type.id() == ID_symbol_type \|\| type.id() == ID_struct_tag)`
`1035`	`1035`	`{`
`1036`	`1036`	`return get_size(ns.follow(type));`
`1037`	`1037`	`}`