Flag the method symbol if it has variadic arguments

Author: svorenova

jbmc/src/java_bytecode/java_bytecode_convert_method.cpp

@@ -373,6 +373,7 @@ void java_bytecode_convert_method_lazy(
   if(m.is_static)
     member_type.set(ID_is_static, true);
   member_type.set_native(m.is_native);
+  member_type.set_is_varargs(m.is_varargs);
 
   if(m.is_bridge)
     member_type.set(ID_is_bridge_method, m.is_bridge);

jbmc/src/java_bytecode/java_types.h

@@ -298,6 +298,16 @@ class java_method_typet : public code_typet
   {
     set(ID_is_native_method, is_native);
   }
+
+  bool get_is_varargs() const
+  {
+    return get_bool(ID_is_varargs_method);
+  }
+
+  void set_is_varargs(bool is_varargs)
+  {
+    set(ID_is_varargs_method, is_varargs);
+  }
 };
 
 template <>

src/util/irep_ids.def

@@ -387,6 +387,7 @@ IREP_ID_ONE(is_inline)
 IREP_ID_ONE(is_extern)
 IREP_ID_ONE(is_synchronized)
 IREP_ID_ONE(is_native_method)
+IREP_ID_ONE(is_varargs_method)
 IREP_ID_ONE(is_global)
 IREP_ID_ONE(is_thread_local)
 IREP_ID_ONE(is_parameter)