Merge pull request #6051 from tautschnig/unnecessary-cast

tautschnig · web-flow · commit 4a7b0640c051 · 2021-04-23T22:02:55.000+02:00
Remove unnecessary size_t -&gt; unsigned cast
diff --git a/src/goto-symex/goto_symex_state.cpp b/src/goto-symex/goto_symex_state.cpp
@@ -800,7 +800,7 @@ ssa_exprt goto_symex_statet::add_object(
 
   const renamedt<ssa_exprt, L0> renamed = rename_ssa<L0>(ssa_exprt{expr}, ns);
   const irep_idt l0_name = renamed.get_identifier();
-  const auto l1_index = narrow_cast<unsigned>(index_generator(l0_name));
+  const std::size_t l1_index = index_generator(l0_name);
 
   if(const auto old_value = level1.insert_or_replace(renamed, l1_index))
   {

Original file line number	Diff line number	Diff line change
`@@ -800,7 +800,7 @@ ssa_exprt goto_symex_statet::add_object(`
`800`	`800`
`801`	`801`	`const renamedt<ssa_exprt, L0> renamed = rename_ssa<L0>(ssa_exprt{expr}, ns);`
`802`	`802`	`const irep_idt l0_name = renamed.get_identifier();`
`803`		`- const auto l1_index = narrow_cast<unsigned>(index_generator(l0_name));`
	`803`	`+ const std::size_t l1_index = index_generator(l0_name);`
`804`	`804`
`805`	`805`	`if(const auto old_value = level1.insert_or_replace(renamed, l1_index))`
`806`	`806`	`{`