Fixing C++ code-style issues.

Author: marek-trtik

cbmc/regression/goto-instrument/slice24/main.c

@@ -3,24 +3,24 @@
 
 struct rrr
 {
-    char j;
-    int y;
+  char j;
+  int y;
 };
 
 void foo(struct rrr *r)
 {
-    r->j = 1;
+  r->j = 1;
 }
 
 int main(int argc, char* argv[])
 {
-    struct rrr* r=malloc(sizeof(struct rrr));
-    foo(r);
-    if (r->j==1)
-    {
-        assert(1);
-        return 0;
-    }
-    return -1;
+  struct rrr* r=malloc(sizeof(struct rrr));
+  foo(r);
+  if (r->j==1)
+  {
+    assert(1);
+    return 0;
+  }
+  return -1;
 }
 

cbmc/src/analyses/goto_rw.cpp

@@ -621,7 +621,7 @@ void rw_range_set_value_sett::get_objects_dereference(
       mode,
       to_symbol_expr(object).get_identifier(),
       range_start,
-      range_start + new_size);
+      range_start+new_size);
   }
 
   // value_set_dereferencet::build_reference_to will turn *p into

cbmc/src/analyses/reaching_definitions.cpp

@@ -320,7 +320,7 @@ void rd_range_domaint::transform_assign(
     }
     else
     {
-      do_kill = do_kill &&
+      do_kill=do_kill &&
        (!rd.get_is_threaded()(from) ||
         (!symbol_ptr->is_shared() &&
          !rd.get_is_dirty()(identifier)));

cbmc/src/pointer-analysis/value_set_dereference.cpp

@@ -351,7 +351,7 @@ value_set_dereferencet::valuet value_set_dereferencet::build_reference_to(
 
     // can't remove here, turn into *p
     result.value=symbol_exprt(
-      get_vsderef_dynamic_object_prefix() + from_expr(root_object),
+      get_vsderef_dynamic_object_prefix()+from_expr(root_object),
       ns.follow(dereference_type));
 
     if(options.get_bool_option("pointer-check"))