Remove space following reference-to (&)

Author: tautschnig

src/aa-path-symex/path_symex_state.h

@@ -83,7 +83,7 @@ class path_symex_statet
 
   // like initial state except that branches are copied from "other"
   // and history will be 'nil'
-  static path_symex_statet lazy_copy(path_symex_statet& other)
+  static path_symex_statet lazy_copy(path_symex_statet &other)
   {
     // allow compiler to use RVO
     return path_symex_statet(
@@ -281,7 +281,7 @@ class path_symex_statet
 
   // On first call, O(N) where N is the length of the execution path
   // leading to this state. Subsequent calls run in constant time.
-  const branchest& get_branches()
+  const branchest &get_branches()
   {
     if(!branches.empty() || history.is_nil())
       return branches;

src/analyses/cfg_dominators.h

@@ -275,8 +275,8 @@ typedef cfg_dominators_templatet<
 
 template<>
 inline void dominators_pretty_print_node(
-  const goto_programt::const_targett& node,
-  std::ostream& out)
+  const goto_programt::const_targett &node,
+  std::ostream &out)
 {
   out << node->location_number;
 }

src/analyses/constant_propagator.cpp

@@ -35,7 +35,7 @@ void constant_propagator_domaint::assign_rec(
   const exprt &lhs, const exprt &rhs,
   const namespacet &ns)
 {
-  const typet & rhs_type = ns.follow(rhs.type());
+  const typet &rhs_type = ns.follow(rhs.type());
 
 #ifdef DEBUG
   std::cout << "assign: " << from_expr(ns, "", lhs)

src/analyses/dirty.h

@@ -45,7 +45,7 @@ class dirtyt
     return operator()(expr.get_identifier());
   }
 
-  const id_sett& get_dirty_ids() const
+  const id_sett &get_dirty_ids() const
   {
     return dirty;
   }

src/analyses/flow_insensitive_analysis.h

@@ -80,7 +80,7 @@ class flow_insensitive_analysis_baset
 
   std::map<locationt, unsigned> statistics;
 
-  bool seen(const locationt& l)
+  bool seen(const locationt &l)
   {
     return (seen_locations.find(l)!=seen_locations.end());
   }

src/analyses/goto_rw.cpp

@@ -553,7 +553,7 @@ void rw_range_sett::get_objects_typecast(
   const range_spect &range_start,
   const range_spect &size)
 {
-  const exprt& op=tc.op();
+  const exprt &op=tc.op();
 
   range_spect new_size=
     to_range_spect(pointer_offset_bits(op.type(), ns));

src/analyses/goto_rw.h

@@ -95,17 +95,17 @@ class rw_range_sett
   {
   }
 
-  const objectst & get_r_set() const
+  const objectst &get_r_set() const
   {
     return r_range_set;
   }
 
-  const objectst & get_w_set() const
+  const objectst &get_w_set() const
   {
     return w_range_set;
   }
 
-  const range_domaint& get_ranges(objectst::const_iterator it) const
+  const range_domaint &get_ranges(objectst::const_iterator it) const
   {
     assert(dynamic_cast<range_domaint*>(it->second)!=0);
     return *static_cast<range_domaint*>(it->second);
@@ -211,7 +211,7 @@ class rw_range_sett
     const range_spect &range_end);
 };
 
-inline std::ostream & operator << (
+inline std::ostream &operator << (
   std::ostream &out,
   const rw_range_sett &rw_set)
 {
@@ -274,7 +274,7 @@ class rw_guarded_range_set_value_sett:public rw_range_set_value_sett
   {
   }
 
-  const guarded_range_domaint& get_ranges(objectst::const_iterator it) const
+  const guarded_range_domaint &get_ranges(objectst::const_iterator it) const
   {
     assert(dynamic_cast<guarded_range_domaint*>(it->second)!=0);
     return *static_cast<guarded_range_domaint*>(it->second);

src/analyses/local_may_alias.h

@@ -112,7 +112,7 @@ class local_may_alias_factoryt
         target_map[i_it]=f_it->first;
   }
 
-  local_may_aliast & operator()(const irep_idt &fkt)
+  local_may_aliast &operator()(const irep_idt &fkt)
   {
     assert(goto_functions!=NULL);
     fkt_mapt::iterator f_it=fkt_map.find(fkt);
@@ -126,7 +126,7 @@ class local_may_alias_factoryt
               new local_may_aliast(f_it2->second)));
   }
 
-  local_may_aliast & operator()(goto_programt::const_targett t)
+  local_may_aliast &operator()(goto_programt::const_targett t)
   {
     target_mapt::const_iterator t_it=
       target_map.find(t);

src/analyses/reaching_definitions.cpp

@@ -145,7 +145,7 @@ void rd_range_domaint::transform_dead(
   const namespacet &ns,
   locationt from)
 {
-  const irep_idt& identifier=
+  const irep_idt &identifier=
     to_symbol_expr(to_code_dead(from->code).symbol()).get_identifier();
 
   valuest::iterator entry=values.find(identifier);
@@ -243,7 +243,7 @@ void rd_range_domaint::transform_function_call(
         ++it;
     }
 
-    const symbol_exprt& fn_symbol_expr=to_symbol_expr(code.function());
+    const symbol_exprt &fn_symbol_expr=to_symbol_expr(code.function());
     const code_typet &code_type=
       to_code_type(ns.lookup(fn_symbol_expr.get_identifier()).type);
 
@@ -869,7 +869,7 @@ Function: rd_range_domaint::get
 
 \*******************************************************************/
 
-const rd_range_domaint::ranges_at_loct& rd_range_domaint::get(
+const rd_range_domaint::ranges_at_loct &rd_range_domaint::get(
   const irep_idt &identifier) const
 {
   populate_cache(identifier);

src/analyses/reaching_definitions.h

@@ -27,13 +27,13 @@ template<typename V>
 class sparse_bitvector_analysist
 {
 public:
-  const V& get(const std::size_t value_index) const
+  const V &get(const std::size_t value_index) const
   {
     assert(value_index<values.size());
     return values[value_index]->first;
   }
 
-  std::size_t add(const V& value)
+  std::size_t add(const V &value)
   {
     inner_mapt &m=value_map[value.identifier];
 
@@ -159,7 +159,7 @@ class rd_range_domaint:public ai_domain_baset
   typedef std::multimap<range_spect, range_spect> rangest;
   typedef std::map<locationt, rangest> ranges_at_loct;
 
-  const ranges_at_loct& get(const irep_idt &identifier) const;
+  const ranges_at_loct &get(const irep_idt &identifier) const;
   const void clear_cache(const irep_idt &identifier) const
   {
     export_cache[identifier].clear();

src/ansi-c/library/cegis.c

@@ -65,7 +65,7 @@ void __CPROVER_danger_execute(struct __CPROVER_cegis_instructiont *program,
           else if (opcode < 2)
     __CPROVER_cegis_opcode_1: result=op0 * op1;
           else
-    __CPROVER_cegis_opcode_2: result=op0 & op1;
+    __CPROVER_cegis_opcode_2: result=op0 &op1;
         else
           if (opcode < 5)
             if  (opcode < 4)

src/ansi-c/library/pthread_lib.c

@@ -448,7 +448,7 @@ inline int pthread_rwlock_tryrdlock(pthread_rwlock_t *lock)
 {
   __CPROVER_HIDE:;
   __CPROVER_atomic_begin();
-  if((*(signed char *)lock & 2)!=0) { __CPROVER_atomic_end(); return 1; }
+  if((*(signed char *)lock &2)!=0) { __CPROVER_atomic_end(); return 1; }
   (*(signed char *)lock)|=1;
   __CPROVER_atomic_end();
   return 0;

src/cbmc/bmc.h

@@ -33,7 +33,7 @@ class bmct:public safety_checkert
     const optionst &_options,
     const symbol_tablet &_symbol_table,
     message_handlert &_message_handler,
-    prop_convt& _prop_conv):
+    prop_convt &_prop_conv):
     safety_checkert(ns, _message_handler),
     options(_options),
     ns(_symbol_table, new_symbol_table),

src/cbmc/fault_localization.cpp

@@ -120,7 +120,7 @@ Function: fault_localizationt::check
 \*******************************************************************/
 
 bool fault_localizationt::check(const lpointst &lpoints,
-                                const lpoints_valuet& value)
+                                const lpoints_valuet &value)
 {
   assert(value.size()==lpoints.size());
   bvt assumptions;
@@ -158,7 +158,7 @@ Function: fault_localizationt::update_scores
 \*******************************************************************/
 
 void fault_localizationt::update_scores(lpointst &lpoints,
-                                        const lpoints_valuet& value)
+                                        const lpoints_valuet &value)
 {
   for(auto &l : lpoints)
   {

src/cbmc/fault_localization.h

@@ -69,9 +69,9 @@ class fault_localizationt:
 
   // specify an lpoint combination to check
   typedef std::vector<tvt> lpoints_valuet;
-  bool check(const lpointst &lpoints, const lpoints_valuet& value);
+  bool check(const lpointst &lpoints, const lpoints_valuet &value);
   void update_scores(lpointst &lpoints,
-                     const lpoints_valuet& value);
+                     const lpoints_valuet &value);
 
   // localization method: flip each point
   void localize_linear(lpointst &lpoints);

src/cegis/jsa/learn/extract_candidate.cpp

@@ -24,7 +24,7 @@ namespace
 typedef std::pair<size_t, array_exprt> encoded_programt;
 typedef std::vector<encoded_programt> encoded_programst;
 
-inline bool is_integer(const std::string & s)
+inline bool is_integer(const std::string &s)
 {
   if (s.empty() || (!isdigit(s[0]) && s[0] != '-' && s[0] != '+')) return false;
   char *p;

src/cegis/jsa/value/jsa_types.cpp

@@ -44,7 +44,7 @@ symbol_typet jsa_invariant_instruction_type()
   return symbol_typet(INV_INSTR_TYPE);
 }
 
-array_typet jsa_invariant_type(const exprt & size)
+array_typet jsa_invariant_type(const exprt &size)
 {
   return array_typet(jsa_invariant_instruction_type(), size);
 }

src/cegis/jsa/value/jsa_types.h

@@ -77,7 +77,7 @@ symbol_typet jsa_invariant_instruction_type();
  *
  * @return
  */
-array_typet jsa_invariant_type(const exprt & size);
+array_typet jsa_invariant_type(const exprt &size);
 
 /**
  * @brief
@@ -97,7 +97,7 @@ symbol_typet jsa_query_instruction_type();
  *
  * @return
  */
-array_typet jsa_query_type(const exprt & size);
+array_typet jsa_query_type(const exprt &size);
 
 /**
  * @brief

src/cpp/cpp_typecast.h

@@ -47,7 +47,7 @@ class cpp_typecastt:public c_typecastt
   bool subtype_typecast(
     const typet &from,
     const typet &to,
-    std::string& err);
+    std::string &err);
 
   bool integral_conversion(
     const typet &src_type,
@@ -59,8 +59,8 @@ class cpp_typecastt:public c_typecastt
 
   void make_ptr_typecast(
     exprt &expr,
-    const typet & src_type,
-    const typet & dest_type);
+    const typet &src_type,
+    const typet &dest_type);
 
   cpp_typecheckt &cpp_typecheck;
 };

src/cpp/cpp_typecheck.h

@@ -118,7 +118,7 @@ class cpp_typecheckt:public c_typecheck_baset
   void convert_initializer(symbolt &symbol);
   void convert_function(symbolt &symbol);
 
-  void convert_pmop(exprt& expr);
+  void convert_pmop(exprt &expr);
 
   void convert_anonymous_union(
     cpp_declarationt &declaration,
@@ -253,15 +253,15 @@ class cpp_typecheckt:public c_typecheck_baset
     cpp_declarationt &ctor) const;
 
   void default_cpctor(
-    const symbolt&, cpp_declarationt& cpctor) const;
+    const symbolt&, cpp_declarationt &cpctor) const;
 
   void default_assignop(
-      const symbolt& symbol, cpp_declarationt& cpctor);
+      const symbolt &symbol, cpp_declarationt &cpctor);
 
   void default_assignop_value(
-      const symbolt& symbol, cpp_declaratort& declarator);
+      const symbolt &symbol, cpp_declaratort &declarator);
 
-  void default_dtor(const symbolt& symb, cpp_declarationt& dtor);
+  void default_dtor(const symbolt &symb, cpp_declarationt &dtor);
 
   codet dtor(const symbolt &symb);
 
@@ -278,20 +278,20 @@ class cpp_typecheckt:public c_typecheck_baset
     const struct_union_typet &struct_union_type,
     irept &initializers);
 
-  bool find_cpctor(const symbolt& symbol)const;
-  bool find_assignop(const symbolt& symbol)const;
-  bool find_dtor(const symbolt& symbol)const;
+  bool find_cpctor(const symbolt &symbol)const;
+  bool find_assignop(const symbolt &symbol)const;
+  bool find_dtor(const symbolt &symbol)const;
 
   bool find_parent(
-    const symbolt& symb,
+    const symbolt &symb,
     const irep_idt &base_name,
     irep_idt &identifier);
 
   bool get_component(
     const source_locationt &source_location,
-    const exprt& object,
-    const irep_idt& component_name,
-    exprt& member);
+    const exprt &object,
+    const irep_idt &component_name,
+    exprt &member);
 
   void new_temporary(const source_locationt &source_location,
                      const typet &,
@@ -309,16 +309,16 @@ class cpp_typecheckt:public c_typecheck_baset
 
   void add_base_components(
         const struct_typet &from,
-        const irep_idt& access,
+        const irep_idt &access,
         struct_typet &to,
-        std::set<irep_idt>& bases,
-        std::set<irep_idt>& vbases,
+        std::set<irep_idt> &bases,
+        std::set<irep_idt> &vbases,
         bool is_virtual);
 
   bool cast_away_constness(const typet &t1,
                            const typet &t2) const;
 
-  void do_virtual_table(const symbolt& symbol);
+  void do_virtual_table(const symbolt &symbol);
 
   // we need to be able to delay the typechecking
   // of method bodies to handle methods with
@@ -568,7 +568,7 @@ class cpp_typecheckt:public c_typecheck_baset
 
   void make_ptr_typecast(
     exprt &expr,
-    const typet & dest_type);
+    const typet &dest_type);
 
   // the C++ typecasts