Declare iterator using auto

thomasspriggs · thomasspriggs · commit 45ea5852bf6a · 2023-02-21T14:55:57.000Z
This removes the need for an excessively vebose type, matches C++11
style and is suggested by clang-tidy.
diff --git a/src/goto-programs/mm_io.cpp b/src/goto-programs/mm_io.cpp
@@ -40,9 +40,8 @@ void mm_io(
   goto_functionst::goto_functiont &goto_function,
   const namespacet &ns)
 {
-  for(goto_programt::instructionst::iterator it=
-      goto_function.body.instructions.begin();
-      it!=goto_function.body.instructions.end();
+  for(auto it = goto_function.body.instructions.begin();
+      it != goto_function.body.instructions.end();
       it++)
   {
     if(!it->is_assign())

Original file line number	Diff line number	Diff line change
`@@ -40,9 +40,8 @@ void mm_io(`
`40`	`40`	`goto_functionst::goto_functiont &goto_function,`
`41`	`41`	`const namespacet &ns)`
`42`	`42`	`{`
`43`		`- for(goto_programt::instructionst::iterator it=`
`44`		`- goto_function.body.instructions.begin();`
`45`		`- it!=goto_function.body.instructions.end();`
	`43`	`+ for(auto it = goto_function.body.instructions.begin();`
	`44`	`+ it != goto_function.body.instructions.end();`
`46`	`45`	`it++)`
`47`	`46`	`{`
`48`	`47`	`if(!it->is_assign())`