Fix all of the non-ridiculous linting errors.

Author: martin

src/analyses/cfg_dominators.h

@@ -6,8 +6,8 @@ Author: Georg Weissenbacher, [email protected]
 
 \*******************************************************************/
 
-#ifndef CPROVER_ANALYSES_CFG_DOMINATORS_H
-#define CPROVER_ANALYSES_CFG_DOMINATORS_H
+#ifndef CPROVER_SRC_ANALYSES_CFG_DOMINATORS_H
+#define CPROVER_SRC_ANALYSES_CFG_DOMINATORS_H
 
 #include <set>
 #include <list>
@@ -144,13 +144,15 @@ void cfg_dominators_templatet<P, T, post_dom>::fixedpoint(P &program)
     bool changed=false;
     typename cfgt::nodet &node=cfg[cfg.entry_map[current]];
     if(node.dominators.empty())
+    {
       for(const auto & edge : (post_dom?node.out:node.in))
         if(!cfg[edge.first].dominators.empty())
         {
           node.dominators=cfg[edge.first].dominators;
           node.dominators.insert(current);
           changed=true;
         }
+    }
 
     // compute intersection of predecessors
     for(const auto & edge : (post_dom?node.out:node.in))
@@ -165,10 +167,14 @@ void cfg_dominators_templatet<P, T, post_dom>::fixedpoint(P &program)
       // in-place intersection. not safe to use set_intersect
       while(n_it!=node.dominators.end() && o_it!=other.end())
       {
-        if(*n_it==current) ++n_it;
-        else if(*n_it<*o_it) { changed=true; node.dominators.erase(n_it++); }
-        else if(*o_it<*n_it) ++o_it;
-        else { ++n_it; ++o_it; }
+        if(*n_it==current)
+          ++n_it;
+        else if(*n_it<*o_it)
+          { changed=true; node.dominators.erase(n_it++); }
+        else if(*o_it<*n_it)
+          ++o_it;
+        else
+          { ++n_it; ++o_it; }
       }
 
       while(n_it!=node.dominators.end())
@@ -248,10 +254,14 @@ void cfg_dominators_templatet<P, T, post_dom>::output(std::ostream &out) const
   }
 }
 
-typedef cfg_dominators_templatet<const goto_programt, goto_programt::const_targett, false>
+typedef cfg_dominators_templatet<const goto_programt,
+  goto_programt::const_targett,
+  false>
         cfg_dominatorst;
 
-typedef cfg_dominators_templatet<const goto_programt, goto_programt::const_targett, true>
+typedef cfg_dominators_templatet<const goto_programt,
+  goto_programt::const_targett,
+  true>
         cfg_post_dominatorst;
 
 template<>