cpplint

Author: marek-trtik

src/taint-slicer/irept_instrument.cpp

@@ -38,9 +38,11 @@ irept instrument(const irept irep, const instrumenter_fnt &instrumenter)
   for(const irept::named_subt::value_type name_sub : irep.get_named_sub())
   {
     const auto it_bool=
-      new_named_sub.insert({
-        name_sub.first,
-        instrument(name_sub.second, instrumenter)});
+      new_named_sub.insert(
+        {
+          name_sub.first,
+          instrument(name_sub.second, instrumenter)
+        });
     assert(it_bool.second);
     if(it_bool.first->second!=name_sub.second)
       modified=true;
@@ -50,9 +52,11 @@ irept instrument(const irept irep, const instrumenter_fnt &instrumenter)
   for(const irept::named_subt::value_type name_sub : irep.get_comments())
   {
     const auto it_bool=
-      new_comments.insert({
-        name_sub.first,
-        instrument(name_sub.second, instrumenter)});
+      new_comments.insert(
+        {
+          name_sub.first,
+          instrument(name_sub.second, instrumenter)
+        });
     assert(it_bool.second);
     if(it_bool.first->second!=name_sub.second)
       modified=true;
@@ -93,9 +97,11 @@ irept instrument_using_pivot(
       ++pit, ++iit)
   {
     const auto it_bool=
-      new_named_sub.insert({
-        iit->first,
-        instrument_using_pivot(pit->second, iit->second, instrumenter)});
+      new_named_sub.insert(
+        {
+          iit->first,
+          instrument_using_pivot(pit->second, iit->second, instrumenter)
+        });
     assert(it_bool.second);
     if(it_bool.first->second!=iit->second)
       modified=true;
@@ -109,9 +115,11 @@ irept instrument_using_pivot(
       ++pit, ++iit)
   {
     const auto it_bool=
-      new_comments.insert({
-        iit->first,
-        instrument_using_pivot(pit->second, iit->second, instrumenter)});
+      new_comments.insert(
+        {
+          iit->first,
+          instrument_using_pivot(pit->second, iit->second, instrumenter)
+        });
     assert(it_bool.second);
     if(it_bool.first->second!=iit->second)
       modified=true;

src/taint-slicer/irept_instrument.h

@@ -13,8 +13,8 @@ proces of "irept" hierarchical and shared data structures.
 
 \*******************************************************************/
 
-#ifndef CPROVER_TAINT_IREPT_INSTRUMENT_H
-#define CPROVER_TAINT_IREPT_INSTRUMENT_H
+#ifndef CPROVER_TAINT_SLICER_IREPT_INSTRUMENT_H
+#define CPROVER_TAINT_SLICER_IREPT_INSTRUMENT_H
 
 #include <util/irep.h>
 #include <functional>