Whitespace changes to keep clang-format happy.

martin · martin · commit e3db794d801a · 2018-02-09T00:04:26.000Z
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,

Original file line number	Diff line number	Diff line change
`@@ -28,11 +28,9 @@ class escape_domaint:public ai_domain_baset`
`28`	`28`	`{`
`29`	`29`	`}`
`30`	`30`
`31`		`- void transform(`
`32`		`- locationt from,`
`33`		`- locationt to,`
`34`		`- ai_baset &ai,`
`35`		`- const namespacet &ns) final override;`
	`31`	`+ void`
	`32`	`+ transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)`
	`33`	`+ final override;`
`36`	`34`
`37`	`35`	`void output(`
`38`	`36`	`std::ostream &out,`
Original file line number	Diff line number	Diff line change
`@@ -28,11 +28,9 @@ class global_may_alias_domaint:public ai_domain_baset`
`28`	`28`	`{`
`29`	`29`	`}`
`30`	`30`
`31`		`- void transform(`
`32`		`- locationt from,`
`33`		`- locationt to,`
`34`		`- ai_baset &ai,`
`35`		`- const namespacet &ns) final override;`
	`31`	`+ void`
	`32`	`+ transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)`
	`33`	`+ final override;`
`36`	`34`
`37`	`35`	`void output(`
`38`	`36`	`std::ostream &out,`
Original file line number	Diff line number	Diff line change
`@@ -32,11 +32,9 @@ class interval_domaint:public ai_domain_baset`
`32`	`32`	`{`
`33`	`33`	`}`
`34`	`34`
`35`		`- void transform(`
`36`		`- locationt from,`
`37`		`- locationt to,`
`38`		`- ai_baset &ai,`
`39`		`- const namespacet &ns) final override;`
	`35`	`+ void`
	`36`	`+ transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)`
	`37`	`+ final override;`
`40`	`38`
`41`	`39`	`void output(`
`42`	`40`	`std::ostream &out,`
Original file line number	Diff line number	Diff line change
`@@ -48,11 +48,9 @@ class is_threaded_domaint:public ai_domain_baset`
`48`	`48`	`old_is_threaded!=is_threaded;`
`49`	`49`	`}`
`50`	`50`
`51`		`- void transform(`
`52`		`- locationt from,`
`53`		`- locationt to,`
`54`		`- ai_baset &ai,`
`55`		`- const namespacet &ns) final override`
	`51`	`+ void`
	`52`	`+ transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns)`
	`53`	`+ final override`
`56`	`54`	`{`
`57`	`55`	`// assert(reachable);`
`58`	`56`