Remove the "fieldref" id

thk123 · thk123 · commit d2e10af10a5c · 2018-02-23T11:01:43.000Z
Since this was never being read, it adds no value
diff --git a/src/java_bytecode/java_bytecode_parse_tree.h b/src/java_bytecode/java_bytecode_parse_tree.h
@@ -232,7 +232,7 @@ class fieldref_exprt : public exprt
     const typet &type,
     const irep_idt &component_name,
     const irep_idt &class_name)
-    : exprt(ID_fieldref, type)
+    : exprt(ID_empty_string, type)
   {
     set(ID_class, class_name);
     set(ID_component_name, component_name);
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -840,7 +840,6 @@ IREP_ID_TWO(type_variables, #type_variables)
 IREP_ID_ONE(havoc_object)
 IREP_ID_TWO(overflow_shl, overflow-shl)
 IREP_ID_TWO(C_no_initialization_required, #no_initialization_required)
-IREP_ID_ONE(fieldref)
 
 #undef IREP_ID_ONE
 #undef IREP_ID_TWO

Original file line number	Diff line number	Diff line change
`@@ -232,7 +232,7 @@ class fieldref_exprt : public exprt`
`232`	`232`	`const typet &type,`
`233`	`233`	`const irep_idt &component_name,`
`234`	`234`	`const irep_idt &class_name)`
`235`		`- : exprt(ID_fieldref, type)`
	`235`	`+ : exprt(ID_empty_string, type)`
`236`	`236`	`{`
`237`	`237`	`set(ID_class, class_name);`
`238`	`238`	`set(ID_component_name, component_name);`