Skip to content

Commit 48b00d6

Browse files
mgudemannDaniel Kroening
authored and
Daniel Kroening
committed
change "* "->" *", too
1 parent e3cf2ce commit 48b00d6

File tree

1 file changed

+10
-10
lines changed

1 file changed

+10
-10
lines changed

src/java_bytecode/java_local_variable_table.cpp

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -109,17 +109,17 @@ static bool lt_index(
109109
return a.var.index<b.var.index;
110110
}
111111
static bool lt_startpc(
112-
const local_variable_with_holest* a,
113-
const local_variable_with_holest* b)
112+
const local_variable_with_holest *a,
113+
const local_variable_with_holest *b)
114114
{
115115
return a->var.start_pc<b->var.start_pc;
116116
}
117117

118118
// The predecessor map, and a top-sorting comparator:
119119

120120
typedef std::map<
121-
local_variable_with_holest*,
122-
std::set<local_variable_with_holest*> >
121+
local_variable_with_holest *,
122+
std::set<local_variable_with_holest *> >
123123
predecessor_mapt;
124124

125125
struct is_predecessor_oft
@@ -129,8 +129,8 @@ struct is_predecessor_oft
129129
explicit is_predecessor_oft(const predecessor_mapt &_order) : order(_order) {}
130130

131131
bool operator()(
132-
local_variable_with_holest* a,
133-
local_variable_with_holest* b) const
132+
local_variable_with_holest *a,
133+
local_variable_with_holest *b) const
134134
{
135135
auto findit=order.find(a);
136136
if(findit==order.end())
@@ -483,7 +483,7 @@ static void populate_live_range_holes(
483483
const std::set<local_variable_with_holest *> &merge_vars,
484484
unsigned expanded_live_range_start)
485485
{
486-
std::vector<local_variable_with_holest*> sorted_by_startpc(
486+
std::vector<local_variable_with_holest *> sorted_by_startpc(
487487
merge_vars.begin(), merge_vars.end());
488488
std::sort(sorted_by_startpc.begin(), sorted_by_startpc.end(), lt_startpc);
489489

@@ -591,7 +591,7 @@ void java_bytecode_convert_methodt::find_initialisers_for_slot(
591591
// Build a simple map from instruction PC to the variable
592592
// live in this slot at that PC, and a map from each variable
593593
// to variables that flow into it:
594-
std::vector<local_variable_with_holest*> live_variable_at_address;
594+
std::vector<local_variable_with_holest *> live_variable_at_address;
595595
populate_variable_address_map(firstvar, varlimit, live_variable_at_address);
596596

597597
// Now find variables that flow together by
@@ -612,14 +612,14 @@ void java_bytecode_convert_methodt::find_initialisers_for_slot(
612612
// Take the transitive closure of the predecessor map:
613613
for(auto &kv : predecessor_map)
614614
{
615-
std::set<local_variable_with_holest*> closed_preds;
615+
std::set<local_variable_with_holest *> closed_preds;
616616
gather_transitive_predecessors(kv.first, predecessor_map, closed_preds);
617617
kv.second=std::move(closed_preds);
618618
}
619619

620620
// Top-sort so that we get the bottom variables first:
621621
is_predecessor_oft comp(predecessor_map);
622-
std::vector<local_variable_with_holest*> topsorted_vars;
622+
std::vector<local_variable_with_holest *> topsorted_vars;
623623
for(auto it=firstvar, itend=varlimit; it!=itend; ++it)
624624
topsorted_vars.push_back(&*it);
625625

0 commit comments

Comments
 (0)