Merge pull request #4633 from forejtv/forejtv/concat-int

Vojtěch Forejt · web-flow · commit a34c58425618 · 2019-05-09T15:32:15.000+01:00
Remove unused int concatenation irep_id
diff --git a/jbmc/src/java_bytecode/java_string_library_preprocess.cpp b/jbmc/src/java_bytecode/java_string_library_preprocess.cpp
@@ -1750,9 +1750,6 @@ void java_string_library_preprocesst::initialize_conversion_table()
   cprover_equivalent_to_java_assign_and_return_function
     ["java::java.lang.StringBuffer.append:(F)Ljava/lang/StringBuffer;"]=
       ID_cprover_string_concat_float_func;
-  cprover_equivalent_to_java_assign_and_return_function
-    ["java::java.lang.StringBuffer.append:(I)Ljava/lang/StringBuffer;"]=
-      ID_cprover_string_concat_int_func;
   cprover_equivalent_to_java_assign_and_return_function
     ["java::java.lang.StringBuffer.append:(J)Ljava/lang/StringBuffer;"]=
       ID_cprover_string_concat_long_func;
diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def
@@ -594,7 +594,6 @@ IREP_ID_ONE(cprover_string_code_point_count_func)
 IREP_ID_ONE(cprover_string_offset_by_code_point_func)
 IREP_ID_ONE(cprover_string_compare_to_func)
 IREP_ID_ONE(cprover_string_concat_func)
-IREP_ID_ONE(cprover_string_concat_int_func)
 IREP_ID_ONE(cprover_string_concat_long_func)
 IREP_ID_ONE(cprover_string_concat_char_func)
 IREP_ID_ONE(cprover_string_concat_double_func)
