Read the bride flag for methods

This is used for compiler generated methods to deal with type erasure.

Author: thk123

jbmc/src/java_bytecode/java_bytecode_convert_method.cpp

@@ -371,6 +371,9 @@ void java_bytecode_convert_method_lazy(
   if(m.is_static)
     member_type.set(ID_is_static, true);
 
+  if(m.is_bridge)
+    member_type.set(ID_is_bridge_method, m.is_bridge);
+
   // do we need to add 'this' as a parameter?
   if(!m.is_static)
   {

jbmc/src/java_bytecode/java_bytecode_parse_tree.h

@@ -95,7 +95,7 @@ class java_bytecode_parse_treet
   {
   public:
     irep_idt base_name;
-    bool is_native, is_abstract, is_synchronized;
+    bool is_native, is_abstract, is_synchronized, is_bridge;
     source_locationt source_location;
 
     typedef std::vector<instructiont> instructionst;
@@ -177,10 +177,11 @@ class java_bytecode_parse_treet
 
     virtual void output(std::ostream &out) const;
 
-    methodt():
-      is_native(false),
-      is_abstract(false),
-      is_synchronized(false)
+    methodt()
+      : is_native(false),
+        is_abstract(false),
+        is_synchronized(false),
+        is_bridge(false)
     {
     }
 

jbmc/src/java_bytecode/java_bytecode_parser.cpp

@@ -1765,6 +1765,7 @@ void java_bytecode_parsert::rmethod(classt &parsed_class)
   method.is_private=(access_flags&ACC_PRIVATE)!=0;
   method.is_synchronized=(access_flags&ACC_SYNCHRONIZED)!=0;
   method.is_native=(access_flags&ACC_NATIVE)!=0;
+  method.is_bridge = (access_flags & ACC_BRIDGE) != 0;
   method.name=pool_entry(name_index).s;
   method.base_name=pool_entry(name_index).s;
   method.descriptor=id2string(pool_entry(descriptor_index).s);

src/util/irep_ids.def

@@ -675,6 +675,7 @@ IREP_ID_ONE(interface)
 IREP_ID_TWO(C_must_not_throw, #must_not_throw)
 IREP_ID_ONE(is_inner_class)
 IREP_ID_ONE(is_anonymous)
+IREP_ID_ONE(is_bridge_method)
 
 // Projects depending on this code base that wish to extend the list of
 // available ids should provide a file local_irep_ids.h in their source tree and