fixup! bytecode parsing

Author: jeannielynnmoulton

jbmc/src/java_bytecode/java_bytecode_parser.cpp

@@ -81,7 +81,7 @@ class java_bytecode_parsert : public parsert
 
   std::vector<bytecodet> bytecodes;
 
-  pool_entryt &pool_entry(u2 index) const
+  pool_entryt &pool_entry(u2 index)
   {
     if(index == 0 || index >= constant_pool.size())
     {
@@ -93,7 +93,7 @@ class java_bytecode_parsert : public parsert
     return constant_pool[index];
   }
 
-  exprt &constant(u2 index) const
+  exprt &constant(u2 index)
   {
     return pool_entry(index).expr;
   }
@@ -123,7 +123,7 @@ class java_bytecode_parsert : public parsert
   void rmethod(classt &parsed_class);
   void
   rinner_classes_attribute(classt &parsed_class, const u4 &attribute_length);
-  std::vector<irep_idt> rexceptions_attribute() const;
+  std::vector<irep_idt> rexceptions_attribute();
   void rclass_attribute(classt &parsed_class);
   void rRuntimeAnnotation_attribute(annotationst &);
   void rRuntimeAnnotation(annotationt &);
@@ -141,7 +141,7 @@ class java_bytecode_parsert : public parsert
   parse_method_handle(const class method_handle_infot &entry);
   void read_bootstrapmethods_entry(classt &);
 
-  void skip_bytes(std::size_t bytes) const
+  void skip_bytes(std::size_t bytes)
   {
     for(std::size_t i = 0; i < bytes; i++)
     {
@@ -1689,7 +1689,7 @@ void java_bytecode_parsert::rinner_classes_attribute(
 /// https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html#jvms-4.7.5
 /// Parses the Exceptions attribute for the current method,
 /// and returns a vector of exceptions.
-std::vector<irep_idt> java_bytecode_parsert::rexceptions_attribute() const
+std::vector<irep_idt> java_bytecode_parsert::rexceptions_attribute()
 {
   u2 number_of_exceptions = read_u2();