Declare collect_deref_expr as static

thomasspriggs · thomasspriggs · commit 810cc2ad97c8 · 2023-02-21T15:00:45.000Z
This makes it clear from reading the `.cpp` file only that this function
is not part of the external API and is used within this file only.
diff --git a/src/goto-programs/mm_io.cpp b/src/goto-programs/mm_io.cpp
@@ -23,7 +23,7 @@ Date:   April 2017
 
 #include <set>
 
-std::set<dereference_exprt> collect_deref_expr(const exprt &src)
+static std::set<dereference_exprt> collect_deref_expr(const exprt &src)
 {
   std::set<dereference_exprt> collected;
   src.visit_pre([&collected](const exprt &e) {

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ Date: April 2017`
`23`	`23`
`24`	`24`	`#include <set>`
`25`	`25`
`26`		`-std::set<dereference_exprt> collect_deref_expr(const exprt &src)`
	`26`	`+static std::set<dereference_exprt> collect_deref_expr(const exprt &src)`
`27`	`27`	`{`
`28`	`28`	`std::set<dereference_exprt> collected;`
`29`	`29`	`src.visit_pre([&collected](const exprt &e) {`