bv_utilst::sign_extension and zero_extension can be static

kroening · kroening · commit 971b8ba9984b · 2022-04-26T13:33:14.000+01:00
diff --git a/src/solvers/flattening/bv_utils.h b/src/solvers/flattening/bv_utils.h
@@ -179,12 +179,12 @@ class bv_utilst
   static bvt
   extension(const bvt &bv, std::size_t new_size, representationt rep);
 
-  bvt sign_extension(const bvt &bv, std::size_t new_size)
+  static bvt sign_extension(const bvt &bv, std::size_t new_size)
   {
     return extension(bv, new_size, representationt::SIGNED);
   }
 
-  bvt zero_extension(const bvt &bv, std::size_t new_size)
+  static bvt zero_extension(const bvt &bv, std::size_t new_size)
   {
     return extension(bv, new_size, representationt::UNSIGNED);
   }

Original file line number	Diff line number	Diff line change
`@@ -179,12 +179,12 @@ class bv_utilst`
`179`	`179`	`static bvt`
`180`	`180`	`extension(const bvt &bv, std::size_t new_size, representationt rep);`
`181`	`181`
`182`		`- bvt sign_extension(const bvt &bv, std::size_t new_size)`
	`182`	`+ static bvt sign_extension(const bvt &bv, std::size_t new_size)`
`183`	`183`	`{`
`184`	`184`	`return extension(bv, new_size, representationt::SIGNED);`
`185`	`185`	`}`
`186`	`186`
`187`		`- bvt zero_extension(const bvt &bv, std::size_t new_size)`
	`187`	`+ static bvt zero_extension(const bvt &bv, std::size_t new_size)`
`188`	`188`	`{`
`189`	`189`	`return extension(bv, new_size, representationt::UNSIGNED);`
`190`	`190`	`}`