Merge pull request diffblue#2208 from diffblue/cleanout-goto-programs

remove basic_blocks and goto_program_irep

Author: tautschnig

src/goto-programs/Makefile

@@ -1,5 +1,4 @@
 SRC = adjust_float_expressions.cpp \
-      basic_blocks.cpp \
       builtin_functions.cpp \
       class_hierarchy.cpp \
       class_identifier.cpp \
@@ -20,7 +19,6 @@ SRC = adjust_float_expressions.cpp \
       goto_inline.cpp \
       goto_inline_class.cpp \
       goto_program.cpp \
-      goto_program_irep.cpp \
       goto_program_template.cpp \
       goto_trace.cpp \
       graphml_witness.cpp \

src/goto-programs/basic_blocks.cpp

@@ -350,11 +350,7 @@ IREP_ID_ONE(factorial_power)
 IREP_ID_ONE(pretty_name)
 IREP_ID_TWO(C_class, #class)
 IREP_ID_TWO(C_interface, #interface)
-IREP_ID_ONE(targets)
-IREP_ID_ONE(location)
-IREP_ID_ONE(labels)
 IREP_ID_ONE(event)
-IREP_ID_ONE(guard)
 IREP_ID_ONE(designated_initializer)
 IREP_ID_ONE(designator)
 IREP_ID_ONE(member_designator)