Register ansi C language so janalyzer will work

Owen Jones · Owen Jones · commit 4cc978f12a73 · 2019-01-03T11:41:19.000Z
diff --git a/jbmc/src/janalyzer/janalyzer_parse_options.cpp b/jbmc/src/janalyzer/janalyzer_parse_options.cpp
@@ -66,6 +66,8 @@ janalyzer_parse_optionst::janalyzer_parse_optionst(int argc, const char **argv)
 
 void janalyzer_parse_optionst::register_languages()
 {
+  // Need ansi C language for __CPROVER_rounding_mode
+  register_language(new_ansi_c_language);
   register_language(new_java_bytecode_language);
 }
 

Original file line number	Diff line number	Diff line change
`@@ -66,6 +66,8 @@ janalyzer_parse_optionst::janalyzer_parse_optionst(int argc, const char **argv)`
`66`	`66`
`67`	`67`	`void janalyzer_parse_optionst::register_languages()`
`68`	`68`	`{`
	`69`	`+ // Need ansi C language for __CPROVER_rounding_mode`
	`70`	`+ register_language(new_ansi_c_language);`
`69`	`71`	`register_language(new_java_bytecode_language);`
`70`	`72`	`}`
`71`	`73`