Whitespace changes to keep clang-format happy.

smowton · Feb 9, 2018 · e3db794 · e3db794
1 parent 1990994
commit e3db794
Show file tree

Hide file tree

Showing 8 changed files with 22 additions and 36 deletions.
diff --git a/src/analyses/ai.h b/src/analyses/ai.h
@@ -53,7 +53,7 @@ class ai_domain_baset
     locationt from,
     locationt to,
     ai_baset &ai,
-    const namespacet &ns)=0;
+    const namespacet &ns) = 0;
 
   virtual void output(
     std::ostream &out,

diff --git a/src/analyses/custom_bitvector_analysis.h b/src/analyses/custom_bitvector_analysis.h
@@ -23,11 +23,9 @@ class custom_bitvector_analysist;
 class custom_bitvector_domaint:public ai_domain_baset
 {
 public:
-  void transform(
-    locationt from,
-    locationt to,
-    ai_baset &ai,
-    const namespacet &ns) final override;
+  void
+  transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)
+    final override;
 
   void output(
     std::ostream &out,

diff --git a/src/analyses/escape_analysis.h b/src/analyses/escape_analysis.h
@@ -28,11 +28,9 @@ class escape_domaint:public ai_domain_baset
   {
   }
 
-  void transform(
-    locationt from,
-    locationt to,
-    ai_baset &ai,
-    const namespacet &ns) final override;
+  void
+  transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)
+    final override;
 
   void output(
     std::ostream &out,

diff --git a/src/analyses/global_may_alias.h b/src/analyses/global_may_alias.h
@@ -28,11 +28,9 @@ class global_may_alias_domaint:public ai_domain_baset
   {
   }
 
-  void transform(
-    locationt from,
-    locationt to,
-    ai_baset &ai,
-    const namespacet &ns) final override;
+  void
+  transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)
+    final override;
 
   void output(
     std::ostream &out,

diff --git a/src/analyses/interval_domain.h b/src/analyses/interval_domain.h
@@ -32,11 +32,9 @@ class interval_domaint:public ai_domain_baset
   {
   }
 
-  void transform(
-    locationt from,
-    locationt to,
-    ai_baset &ai,
-    const namespacet &ns) final override;
+  void
+  transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)
+    final override;
 
   void output(
     std::ostream &out,

diff --git a/src/analyses/is_threaded.cpp b/src/analyses/is_threaded.cpp
@@ -48,11 +48,9 @@ class is_threaded_domaint:public ai_domain_baset
            old_is_threaded!=is_threaded;
   }
 
-  void transform(
-    locationt from,
-    locationt to,
-    ai_baset &ai,
-    const namespacet &ns) final override
+  void
+  transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)
+    final override
   {
     // assert(reachable);
 

diff --git a/src/analyses/reaching_definitions.h b/src/analyses/reaching_definitions.h
@@ -113,11 +113,9 @@ class rd_range_domaint:public ai_domain_baset
     bv_container=&_bv_container;
   }
 
-  void transform(
-    locationt from,
-    locationt to,
-    ai_baset &ai,
-    const namespacet &ns) final override;
+  void
+  transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)
+    final override;
 
   void output(
     std::ostream &out,

diff --git a/src/analyses/uninitialized_domain.h b/src/analyses/uninitialized_domain.h
@@ -29,11 +29,9 @@ class uninitialized_domaint:public ai_domain_baset
   typedef std::set<irep_idt> uninitializedt;
   uninitializedt uninitialized;
 
-  void transform(
-    locationt from,
-    locationt to,
-    ai_baset &ai,
-    const namespacet &ns) final override;
+  void
+  transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)
+    final override;
 
   void output(
     std::ostream &out,