Merge pull request #3008 from tautschnig/no-base-name

Daniel Kroening · web-flow · commit 0e98e1d60639 · 2018-09-21T21:25:20.000+01:00
Do not unnecessarily set ID_base_name
diff --git a/jbmc/src/java_bytecode/java_bytecode_convert_class.cpp b/jbmc/src/java_bytecode/java_bytecode_convert_class.cpp
@@ -303,7 +303,6 @@ void java_bytecode_convert_classt::convert(
   }
 
   class_type.set_tag(c.name);
-  class_type.set(ID_base_name, c.name);
   class_type.set(ID_abstract, c.is_abstract);
   class_type.set(ID_is_annotation, c.is_annotation);
   class_type.set(ID_interface, c.is_interface);
diff --git a/jbmc/src/java_bytecode/java_utils.cpp b/jbmc/src/java_bytecode/java_utils.cpp
@@ -69,8 +69,6 @@ void generate_class_stub(
   java_class_typet class_type;
 
   class_type.set_tag(class_name);
-  class_type.set(ID_base_name, class_name);
-
   class_type.set(ID_incomplete_class, true);
 
   // produce class symbol

Original file line number	Diff line number	Diff line change
`@@ -303,7 +303,6 @@ void java_bytecode_convert_classt::convert(`
`303`	`303`	`}`
`304`	`304`
`305`	`305`	`class_type.set_tag(c.name);`
`306`		`- class_type.set(ID_base_name, c.name);`
`307`	`306`	`class_type.set(ID_abstract, c.is_abstract);`
`308`	`307`	`class_type.set(ID_is_annotation, c.is_annotation);`
`309`	`308`	`class_type.set(ID_interface, c.is_interface);`