Use auto to declare iterators in goto_convertt::finish_goto

diffblue · Dec 22, 2023 · 0c6a593 · 0c6a593
1 parent c90f690
commit 0c6a593
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/src/goto-programs/goto_convert.cpp b/src/goto-programs/goto_convert.cpp
@@ -251,9 +251,7 @@ void goto_convertt::finish_gotos(goto_programt &dest, const irep_idt &mode)
     if(i.is_start_thread())
     {
       const irep_idt &goto_label = i.code().get(ID_destination);
-
-      labelst::const_iterator l_it=
-        targets.labels.find(goto_label);
+      const auto l_it = targets.labels.find(goto_label);
 
       if(l_it == targets.labels.end())
       {
@@ -267,8 +265,7 @@ void goto_convertt::finish_gotos(goto_programt &dest, const irep_idt &mode)
     else if(i.is_incomplete_goto())
     {
       const irep_idt &goto_label = i.code().get(ID_destination);
-
-      labelst::const_iterator l_it=targets.labels.find(goto_label);
+      const auto l_it = targets.labels.find(goto_label);
 
       if(l_it == targets.labels.end())
       {