Store list of runtime exceptions in new variable

The new public variable exception_needed_classes stores a list of Java
exception classes that can be introduced by java_bytecode_instrument.
These five classes can be generated by a Java program without explicitly
using "throw new".

Author: antlechner

src/java_bytecode/java_bytecode_instrument.cpp

@@ -80,6 +80,15 @@ class java_bytecode_instrumentt:public messaget
 };
 
 
+const std::vector<irep_idt> exception_needed_classes =
+{
+  "java.lang.ArithmeticException",
+  "java.lang.ArrayIndexOutOfBoundsException",
+  "java.lang.ClassCastException",
+  "java.lang.NegativeArraySizeException",
+  "java.lang.NullPointerException"
+};
+
 /// Creates a class stub for exc_name and generates a
 ///  conditional GOTO such that exc_name is thrown when
 ///  cond is met.

src/java_bytecode/java_bytecode_instrument.h

@@ -26,4 +26,6 @@ void java_bytecode_instrument(
   const bool throw_runtime_exceptions,
   message_handlert &_message_handler);
 
+extern const std::vector<irep_idt> exception_needed_classes;
+
 #endif