Skip to content

Commit 0caf828

Browse files
author
Daniel Kroening
committed
remove basic_blocks and goto_program_irep
1 parent d87c2db commit 0caf828

File tree

6 files changed

+0
-287
lines changed

6 files changed

+0
-287
lines changed

src/goto-programs/Makefile

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
SRC = adjust_float_expressions.cpp \
2-
basic_blocks.cpp \
32
builtin_functions.cpp \
43
class_hierarchy.cpp \
54
class_identifier.cpp \
@@ -20,7 +19,6 @@ SRC = adjust_float_expressions.cpp \
2019
goto_inline.cpp \
2120
goto_inline_class.cpp \
2221
goto_program.cpp \
23-
goto_program_irep.cpp \
2422
goto_program_template.cpp \
2523
goto_trace.cpp \
2624
graphml_witness.cpp \

src/goto-programs/basic_blocks.cpp

Lines changed: 0 additions & 94 deletions
This file was deleted.

src/goto-programs/basic_blocks.h

Lines changed: 0 additions & 20 deletions
This file was deleted.

src/goto-programs/goto_program_irep.cpp

Lines changed: 0 additions & 144 deletions
This file was deleted.

src/goto-programs/goto_program_irep.h

Lines changed: 0 additions & 25 deletions
This file was deleted.

src/util/irep_ids.def

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -350,8 +350,6 @@ IREP_ID_ONE(factorial_power)
350350
IREP_ID_ONE(pretty_name)
351351
IREP_ID_TWO(C_class, #class)
352352
IREP_ID_TWO(C_interface, #interface)
353-
IREP_ID_ONE(targets)
354-
IREP_ID_ONE(location)
355353
IREP_ID_ONE(labels)
356354
IREP_ID_ONE(event)
357355
IREP_ID_ONE(guard)

0 commit comments

Comments
 (0)