Skip to content

Commit d9ea14b

Browse files
author
martin
committed
Add remove_asm to goto-analyzer to make program processing more consistent
This will change the behaviour of goto-analyzer. I don't think it is currently tested so I suspect it was unable to handle inline assembler.
1 parent 1b58fb7 commit d9ea14b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/goto-analyzer/goto_analyzer_parse_options.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -872,11 +872,11 @@ bool goto_analyzer_parse_optionst::process_goto_program(
872872
::process_goto_program(goto_model, options, log);
873873

874874
{
875-
#if 0
876875
// Remove inline assembler; this needs to happen before
877876
// adding the library.
878877
remove_asm(goto_model);
879878

879+
#if 0
880880
// add the library
881881
log.status() << "Adding CPROVER library (" << config.ansi_c.arch << ")" << messaget::eom;
882882
link_to_library(

0 commit comments

Comments
 (0)