File tree 2 files changed +6
-0
lines changed
2 files changed +6
-0
lines changed Original file line number Diff line number Diff line change @@ -75,8 +75,10 @@ void class_hierarchy_grapht::populate(const symbol_tablet &symbol_table)
75
75
{
76
76
const irep_idt &parent = to_symbol_type (base.type ()).get_identifier ();
77
77
if (!parent.empty ())
78
+ {
78
79
add_edge (
79
80
nodes_by_name.at (parent), nodes_by_name.at (symbol_pair.first ));
81
+ }
80
82
}
81
83
}
82
84
}
Original file line number Diff line number Diff line change @@ -45,7 +45,9 @@ void goto_convert_functionst::goto_convert(goto_functionst &functions)
45
45
symbol_pair.second .type .id () == ID_code &&
46
46
(symbol_pair.second .mode == ID_C || symbol_pair.second .mode == ID_cpp ||
47
47
symbol_pair.second .mode == ID_java || symbol_pair.second .mode == " jsil" ))
48
+ {
48
49
symbol_list.push_back (symbol_pair.first );
50
+ }
49
51
}
50
52
51
53
for (const auto &id : symbol_list)
@@ -62,7 +64,9 @@ void goto_convert_functionst::goto_convert(goto_functionst &functions)
62
64
if(!symbol_pair.second.is_type &&
63
65
symbol_pair.second.type.id()==ID_code &&
64
66
symbol_pair.second.value.is_not_nil())
67
+ {
65
68
symbol_pair.second.value=codet();
69
+ }
66
70
}
67
71
#endif
68
72
}
You can’t perform that action at this time.
0 commit comments