Skip to content

Commit 3b5b849

Browse files
author
martin
committed
Register the json_symtab languauge in symtab2gb
To quote langapi/mode.cpp: "Note: registering a language is required for using the functions in language_util.h" symtab2gb previously failed to do this and so fails in invariant under some obscure and unclear circumstances.
1 parent 4dc2dd5 commit 3b5b849

File tree

2 files changed

+3
-0
lines changed

2 files changed

+3
-0
lines changed

src/symtab2gb/module_dependencies.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
util
22
json-symtab-language
3+
langapi
34
goto-programs

src/symtab2gb/symtab2gb_parse_options.cpp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,7 @@ Author: Diffblue Ltd.
1717
#include <goto-programs/link_goto_model.h>
1818
#include <goto-programs/write_goto_binary.h>
1919
#include <json-symtab-language/json_symtab_language.h>
20+
#include <langapi/mode.h>
2021

2122
#include <util/config.h>
2223
#include <util/exception_utils.h>
@@ -111,6 +112,7 @@ int symtab2gb_parse_optionst::doit()
111112
{
112113
gb_filename = cmdline.get_value(SYMTAB2GB_OUT_FILE_OPT);
113114
}
115+
register_language(new_json_symtab_language);
114116
config.set(cmdline);
115117
run_symtab2gb(symtab_filenames, gb_filename);
116118
return CPROVER_EXIT_SUCCESS;

0 commit comments

Comments
 (0)