From 15ed9612bb5a84a9d0d4cd4311a7d36223cd7b8a Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Wed, 30 May 2018 16:48:45 +0100 Subject: [PATCH] Note when symbol-table entries are abstract methods --- jbmc/src/java_bytecode/java_bytecode_convert_method.cpp | 3 +++ src/util/irep_ids.def | 1 + 2 files changed, 4 insertions(+) diff --git a/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp b/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp index ee8262f3a64..d76a499eeb6 100644 --- a/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp +++ b/jbmc/src/java_bytecode/java_bytecode_convert_method.cpp @@ -404,6 +404,9 @@ void java_bytecode_convert_method_lazy( } method_symbol.type=member_type; + // Not used in jbmc at present, but other codebases that use jbmc as a library + // use this information. + method_symbol.type.set(ID_C_abstract, m.is_abstract); symbol_table.add(method_symbol); } diff --git a/src/util/irep_ids.def b/src/util/irep_ids.def index 84cd49f0d8b..72a73d31a38 100644 --- a/src/util/irep_ids.def +++ b/src/util/irep_ids.def @@ -665,6 +665,7 @@ IREP_ID_TWO(overlay_method, java::com.diffblue.OverlayMethodImplementation) IREP_ID_TWO(C_annotations, #annotations) IREP_ID_ONE(final) IREP_ID_ONE(bits_per_byte) +IREP_ID_TWO(C_abstract, #abstract) // Projects depending on this code base that wish to extend the list of // available ids should provide a file local_irep_ids.h in their source tree and