Store list of runtime exceptions in new variable

antlechner · antlechner · commit 2f7ee602cdc7 · 2017-12-05T11:19:14.000Z
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".
diff --git a/src/java_bytecode/java_bytecode_instrument.cpp b/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.
diff --git a/src/java_bytecode/java_bytecode_instrument.h b/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
