Skip to content

Commit e501a05

Browse files
tautschnigtautschnig
committed
Remove space following reference-to (&)
1 parent 959f618 commit e501a05

File tree

130 files changed

+736
-736
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

130 files changed

+736
-736
lines changed

‎src/aa-path-symex/path_symex_state.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -83,7 +83,7 @@ class path_symex_statet
8383

8484
// like initial state except that branches are copied from "other"
8585
// and history will be 'nil'
86-
static path_symex_statet lazy_copy(path_symex_statet& other)
86+
static path_symex_statet lazy_copy(path_symex_statet &other)
8787
{
8888
// allow compiler to use RVO
8989
return path_symex_statet(
@@ -281,7 +281,7 @@ class path_symex_statet
281281

282282
// On first call, O(N) where N is the length of the execution path
283283
// leading to this state. Subsequent calls run in constant time.
284-
const branchest& get_branches()
284+
const branchest &get_branches()
285285
{
286286
if(!branches.empty() || history.is_nil())
287287
return branches;

‎src/analyses/cfg_dominators.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -275,8 +275,8 @@ typedef cfg_dominators_templatet<
275275

276276
template<>
277277
inline void dominators_pretty_print_node(
278-
const goto_programt::const_targett& node,
279-
std::ostream& out)
278+
const goto_programt::const_targett &node,
279+
std::ostream &out)
280280
{
281281
out << node->location_number;
282282
}

‎src/analyses/constant_propagator.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ void constant_propagator_domaint::assign_rec(
3535
const exprt &lhs, const exprt &rhs,
3636
const namespacet &ns)
3737
{
38-
const typet & rhs_type = ns.follow(rhs.type());
38+
const typet &rhs_type = ns.follow(rhs.type());
3939

4040
#ifdef DEBUG
4141
std::cout << "assign: " << from_expr(ns, "", lhs)

‎src/analyses/dirty.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ class dirtyt
4545
return operator()(expr.get_identifier());
4646
}
4747

48-
const id_sett& get_dirty_ids() const
48+
const id_sett &get_dirty_ids() const
4949
{
5050
return dirty;
5151
}

‎src/analyses/flow_insensitive_analysis.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,7 +80,7 @@ class flow_insensitive_analysis_baset
8080

8181
std::map<locationt, unsigned> statistics;
8282

83-
bool seen(const locationt& l)
83+
bool seen(const locationt &l)
8484
{
8585
return (seen_locations.find(l)!=seen_locations.end());
8686
}

‎src/analyses/goto_rw.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -553,7 +553,7 @@ void rw_range_sett::get_objects_typecast(
553553
const range_spect &range_start,
554554
const range_spect &size)
555555
{
556-
const exprt& op=tc.op();
556+
const exprt &op=tc.op();
557557

558558
range_spect new_size=
559559
to_range_spect(pointer_offset_bits(op.type(), ns));

‎src/analyses/goto_rw.h

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -95,17 +95,17 @@ class rw_range_sett
9595
{
9696
}
9797

98-
const objectst & get_r_set() const
98+
const objectst &get_r_set() const
9999
{
100100
return r_range_set;
101101
}
102102

103-
const objectst & get_w_set() const
103+
const objectst &get_w_set() const
104104
{
105105
return w_range_set;
106106
}
107107

108-
const range_domaint& get_ranges(objectst::const_iterator it) const
108+
const range_domaint &get_ranges(objectst::const_iterator it) const
109109
{
110110
assert(dynamic_cast<range_domaint*>(it->second)!=0);
111111
return *static_cast<range_domaint*>(it->second);
@@ -211,7 +211,7 @@ class rw_range_sett
211211
const range_spect &range_end);
212212
};
213213

214-
inline std::ostream & operator << (
214+
inline std::ostream &operator << (
215215
std::ostream &out,
216216
const rw_range_sett &rw_set)
217217
{
@@ -274,7 +274,7 @@ class rw_guarded_range_set_value_sett:public rw_range_set_value_sett
274274
{
275275
}
276276

277-
const guarded_range_domaint& get_ranges(objectst::const_iterator it) const
277+
const guarded_range_domaint &get_ranges(objectst::const_iterator it) const
278278
{
279279
assert(dynamic_cast<guarded_range_domaint*>(it->second)!=0);
280280
return *static_cast<guarded_range_domaint*>(it->second);

‎src/analyses/local_may_alias.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@ class local_may_alias_factoryt
112112
target_map[i_it]=f_it->first;
113113
}
114114

115-
local_may_aliast & operator()(const irep_idt &fkt)
115+
local_may_aliast &operator()(const irep_idt &fkt)
116116
{
117117
assert(goto_functions!=NULL);
118118
fkt_mapt::iterator f_it=fkt_map.find(fkt);
@@ -126,7 +126,7 @@ class local_may_alias_factoryt
126126
new local_may_aliast(f_it2->second)));
127127
}
128128

129-
local_may_aliast & operator()(goto_programt::const_targett t)
129+
local_may_aliast &operator()(goto_programt::const_targett t)
130130
{
131131
target_mapt::const_iterator t_it=
132132
target_map.find(t);

‎src/analyses/reaching_definitions.cpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -145,7 +145,7 @@ void rd_range_domaint::transform_dead(
145145
const namespacet &ns,
146146
locationt from)
147147
{
148-
const irep_idt& identifier=
148+
const irep_idt &identifier=
149149
to_symbol_expr(to_code_dead(from->code).symbol()).get_identifier();
150150

151151
valuest::iterator entry=values.find(identifier);
@@ -243,7 +243,7 @@ void rd_range_domaint::transform_function_call(
243243
++it;
244244
}
245245

246-
const symbol_exprt& fn_symbol_expr=to_symbol_expr(code.function());
246+
const symbol_exprt &fn_symbol_expr=to_symbol_expr(code.function());
247247
const code_typet &code_type=
248248
to_code_type(ns.lookup(fn_symbol_expr.get_identifier()).type);
249249

@@ -869,7 +869,7 @@ Function: rd_range_domaint::get
869869
870870
\*******************************************************************/
871871

872-
const rd_range_domaint::ranges_at_loct& rd_range_domaint::get(
872+
const rd_range_domaint::ranges_at_loct &rd_range_domaint::get(
873873
const irep_idt &identifier) const
874874
{
875875
populate_cache(identifier);

‎src/analyses/reaching_definitions.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -27,13 +27,13 @@ template<typename V>
2727
class sparse_bitvector_analysist
2828
{
2929
public:
30-
const V& get(const std::size_t value_index) const
30+
const V &get(const std::size_t value_index) const
3131
{
3232
assert(value_index<values.size());
3333
return values[value_index]->first;
3434
}
3535

36-
std::size_t add(const V& value)
36+
std::size_t add(const V &value)
3737
{
3838
inner_mapt &m=value_map[value.identifier];
3939

@@ -159,7 +159,7 @@ class rd_range_domaint:public ai_domain_baset
159159
typedef std::multimap<range_spect, range_spect> rangest;
160160
typedef std::map<locationt, rangest> ranges_at_loct;
161161

162-
const ranges_at_loct& get(const irep_idt &identifier) const;
162+
const ranges_at_loct &get(const irep_idt &identifier) const;
163163
const void clear_cache(const irep_idt &identifier) const
164164
{
165165
export_cache[identifier].clear();

‎src/ansi-c/library/cegis.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,7 @@ void __CPROVER_danger_execute(struct __CPROVER_cegis_instructiont *program,
6565
else if (opcode < 2)
6666
__CPROVER_cegis_opcode_1: result=op0 * op1;
6767
else
68-
__CPROVER_cegis_opcode_2: result=op0 & op1;
68+
__CPROVER_cegis_opcode_2: result=op0 &op1;
6969
else
7070
if (opcode < 5)
7171
if (opcode < 4)

‎src/ansi-c/library/pthread_lib.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -448,7 +448,7 @@ inline int pthread_rwlock_tryrdlock(pthread_rwlock_t *lock)
448448
{
449449
__CPROVER_HIDE:;
450450
__CPROVER_atomic_begin();
451-
if((*(signed char *)lock & 2)!=0) { __CPROVER_atomic_end(); return 1; }
451+
if((*(signed char *)lock &2)!=0) { __CPROVER_atomic_end(); return 1; }
452452
(*(signed char *)lock)|=1;
453453
__CPROVER_atomic_end();
454454
return 0;

‎src/cbmc/bmc.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ class bmct:public safety_checkert
3333
const optionst &_options,
3434
const symbol_tablet &_symbol_table,
3535
message_handlert &_message_handler,
36-
prop_convt& _prop_conv):
36+
prop_convt &_prop_conv):
3737
safety_checkert(ns, _message_handler),
3838
options(_options),
3939
ns(_symbol_table, new_symbol_table),

‎src/cbmc/fault_localization.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -120,7 +120,7 @@ Function: fault_localizationt::check
120120
\*******************************************************************/
121121

122122
bool fault_localizationt::check(const lpointst &lpoints,
123-
const lpoints_valuet& value)
123+
const lpoints_valuet &value)
124124
{
125125
assert(value.size()==lpoints.size());
126126
bvt assumptions;
@@ -158,7 +158,7 @@ Function: fault_localizationt::update_scores
158158
\*******************************************************************/
159159

160160
void fault_localizationt::update_scores(lpointst &lpoints,
161-
const lpoints_valuet& value)
161+
const lpoints_valuet &value)
162162
{
163163
for(auto &l : lpoints)
164164
{

‎src/cbmc/fault_localization.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -69,9 +69,9 @@ class fault_localizationt:
6969

7070
// specify an lpoint combination to check
7171
typedef std::vector<tvt> lpoints_valuet;
72-
bool check(const lpointst &lpoints, const lpoints_valuet& value);
72+
bool check(const lpointst &lpoints, const lpoints_valuet &value);
7373
void update_scores(lpointst &lpoints,
74-
const lpoints_valuet& value);
74+
const lpoints_valuet &value);
7575

7676
// localization method: flip each point
7777
void localize_linear(lpointst &lpoints);

‎src/cegis/jsa/learn/extract_candidate.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ namespace
2424
typedef std::pair<size_t, array_exprt> encoded_programt;
2525
typedef std::vector<encoded_programt> encoded_programst;
2626

27-
inline bool is_integer(const std::string & s)
27+
inline bool is_integer(const std::string &s)
2828
{
2929
if (s.empty() || (!isdigit(s[0]) && s[0] != '-' && s[0] != '+')) return false;
3030
char *p;

‎src/cegis/jsa/value/jsa_types.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -44,7 +44,7 @@ symbol_typet jsa_invariant_instruction_type()
4444
return symbol_typet(INV_INSTR_TYPE);
4545
}
4646

47-
array_typet jsa_invariant_type(const exprt & size)
47+
array_typet jsa_invariant_type(const exprt &size)
4848
{
4949
return array_typet(jsa_invariant_instruction_type(), size);
5050
}

‎src/cegis/jsa/value/jsa_types.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,7 @@ symbol_typet jsa_invariant_instruction_type();
7777
*
7878
* @return
7979
*/
80-
array_typet jsa_invariant_type(const exprt & size);
80+
array_typet jsa_invariant_type(const exprt &size);
8181

8282
/**
8383
* @brief
@@ -97,7 +97,7 @@ symbol_typet jsa_query_instruction_type();
9797
*
9898
* @return
9999
*/
100-
array_typet jsa_query_type(const exprt & size);
100+
array_typet jsa_query_type(const exprt &size);
101101

102102
/**
103103
* @brief

‎src/cpp/cpp_typecast.h

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ class cpp_typecastt:public c_typecastt
4747
bool subtype_typecast(
4848
const typet &from,
4949
const typet &to,
50-
std::string& err);
50+
std::string &err);
5151

5252
bool integral_conversion(
5353
const typet &src_type,
@@ -59,8 +59,8 @@ class cpp_typecastt:public c_typecastt
5959

6060
void make_ptr_typecast(
6161
exprt &expr,
62-
const typet & src_type,
63-
const typet & dest_type);
62+
const typet &src_type,
63+
const typet &dest_type);
6464

6565
cpp_typecheckt &cpp_typecheck;
6666
};

‎src/cpp/cpp_typecheck.h

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -118,7 +118,7 @@ class cpp_typecheckt:public c_typecheck_baset
118118
void convert_initializer(symbolt &symbol);
119119
void convert_function(symbolt &symbol);
120120

121-
void convert_pmop(exprt& expr);
121+
void convert_pmop(exprt &expr);
122122

123123
void convert_anonymous_union(
124124
cpp_declarationt &declaration,
@@ -253,15 +253,15 @@ class cpp_typecheckt:public c_typecheck_baset
253253
cpp_declarationt &ctor) const;
254254

255255
void default_cpctor(
256-
const symbolt&, cpp_declarationt& cpctor) const;
256+
const symbolt&, cpp_declarationt &cpctor) const;
257257

258258
void default_assignop(
259-
const symbolt& symbol, cpp_declarationt& cpctor);
259+
const symbolt &symbol, cpp_declarationt &cpctor);
260260

261261
void default_assignop_value(
262-
const symbolt& symbol, cpp_declaratort& declarator);
262+
const symbolt &symbol, cpp_declaratort &declarator);
263263

264-
void default_dtor(const symbolt& symb, cpp_declarationt& dtor);
264+
void default_dtor(const symbolt &symb, cpp_declarationt &dtor);
265265

266266
codet dtor(const symbolt &symb);
267267

@@ -278,20 +278,20 @@ class cpp_typecheckt:public c_typecheck_baset
278278
const struct_union_typet &struct_union_type,
279279
irept &initializers);
280280

281-
bool find_cpctor(const symbolt& symbol)const;
282-
bool find_assignop(const symbolt& symbol)const;
283-
bool find_dtor(const symbolt& symbol)const;
281+
bool find_cpctor(const symbolt &symbol)const;
282+
bool find_assignop(const symbolt &symbol)const;
283+
bool find_dtor(const symbolt &symbol)const;
284284

285285
bool find_parent(
286-
const symbolt& symb,
286+
const symbolt &symb,
287287
const irep_idt &base_name,
288288
irep_idt &identifier);
289289

290290
bool get_component(
291291
const source_locationt &source_location,
292-
const exprt& object,
293-
const irep_idt& component_name,
294-
exprt& member);
292+
const exprt &object,
293+
const irep_idt &component_name,
294+
exprt &member);
295295

296296
void new_temporary(const source_locationt &source_location,
297297
const typet &,
@@ -309,16 +309,16 @@ class cpp_typecheckt:public c_typecheck_baset
309309

310310
void add_base_components(
311311
const struct_typet &from,
312-
const irep_idt& access,
312+
const irep_idt &access,
313313
struct_typet &to,
314-
std::set<irep_idt>& bases,
315-
std::set<irep_idt>& vbases,
314+
std::set<irep_idt> &bases,
315+
std::set<irep_idt> &vbases,
316316
bool is_virtual);
317317

318318
bool cast_away_constness(const typet &t1,
319319
const typet &t2) const;
320320

321-
void do_virtual_table(const symbolt& symbol);
321+
void do_virtual_table(const symbolt &symbol);
322322

323323
// we need to be able to delay the typechecking
324324
// of method bodies to handle methods with
@@ -568,7 +568,7 @@ class cpp_typecheckt:public c_typecheck_baset
568568

569569
void make_ptr_typecast(
570570
exprt &expr,
571-
const typet & dest_type);
571+
const typet &dest_type);
572572

573573
// the C++ typecasts
574574

0 commit comments

Comments
 (0)