Merge pull request #492 from mgudemann/java_parse_abstract_class_attribute

read ACC_ABSTRACT attribute in Java class files

Author: Daniel Kroening

src/java_bytecode/java_bytecode_parse_tree.cpp

@@ -34,8 +34,8 @@ void java_bytecode_parse_treet::classt::swap(
 {
   other.name.swap(name);
   other.extends.swap(extends);
-  other.is_enum=is_enum;
-  other.enum_elements=enum_elements;
+  std::swap(other.is_enum, is_enum);
+  std::swap(other.enum_elements, enum_elements);
   std::swap(other.is_abstract, is_abstract);
   other.implements.swap(implements);
   other.fields.swap(fields);

src/java_bytecode/java_bytecode_parse_tree.h

@@ -166,8 +166,8 @@ class java_bytecode_parse_treet
   {
   public:
     irep_idt name, extends;
-    bool is_abstract;
-    bool is_enum;
+    bool is_abstract=false;
+    bool is_enum=false;
     size_t enum_elements=0;
 
     typedef std::list<irep_idt> implementst;

src/java_bytecode/java_bytecode_parser.cpp

@@ -300,6 +300,7 @@ void java_bytecode_parsert::rClassFile()
   u2 this_class=read_u2();
   u2 super_class=read_u2();
 
+  parsed_class.is_abstract=(access_flags&ACC_ABSTRACT)!=0;
   parsed_class.is_enum=(access_flags&ACC_ENUM)!=0;
   parsed_class.name=
     constant(this_class).type().get(ID_C_base_name);