Skip to content

Commit f1faa61

Browse files
authored
Merge pull request #8648 from diffblue/use-size_t
Use `std::size_t`
2 parents fc412c7 + 8bc2048 commit f1faa61

File tree

2 files changed

+10
-10
lines changed

2 files changed

+10
-10
lines changed

src/goto-programs/goto_trace.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -351,7 +351,7 @@ void show_state_header(
351351
messaget::mstreamt &out,
352352
const namespacet &ns,
353353
const goto_trace_stept &state,
354-
unsigned step_nr,
354+
std::size_t step_nr,
355355
const trace_optionst &options)
356356
{
357357
out << '\n';
@@ -516,7 +516,7 @@ void show_full_goto_trace(
516516
const goto_tracet &goto_trace,
517517
const trace_optionst &options)
518518
{
519-
unsigned prev_step_nr=0;
519+
std::size_t prev_step_nr = 0;
520520
bool first_step=true;
521521
std::size_t function_depth=0;
522522

src/goto-symex/symex_goto.cpp

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -742,8 +742,8 @@ static void merge_names(
742742
symex_target_equationt &target,
743743
const incremental_dirtyt &dirty,
744744
const ssa_exprt &ssa,
745-
const unsigned goto_count,
746-
const unsigned dest_count)
745+
const std::size_t goto_count,
746+
const std::size_t dest_count)
747747
{
748748
const irep_idt l1_identifier = ssa.get_identifier();
749749
const irep_idt &obj_identifier = ssa.get_object_name();
@@ -876,10 +876,10 @@ void goto_symext::phi_function(
876876
for(const auto &delta_item : delta_view)
877877
{
878878
const ssa_exprt &ssa = delta_item.m.first;
879-
unsigned goto_count = delta_item.m.second;
880-
unsigned dest_count = !delta_item.is_in_both_maps()
881-
? 0
882-
: delta_item.get_other_map_value().second;
879+
std::size_t goto_count = delta_item.m.second;
880+
std::size_t dest_count = !delta_item.is_in_both_maps()
881+
? 0
882+
: delta_item.get_other_map_value().second;
883883

884884
merge_names(
885885
goto_state,
@@ -905,8 +905,8 @@ void goto_symext::phi_function(
905905
continue;
906906

907907
const ssa_exprt &ssa = delta_item.m.first;
908-
unsigned goto_count = 0;
909-
unsigned dest_count = delta_item.m.second;
908+
std::size_t goto_count = 0;
909+
std::size_t dest_count = delta_item.m.second;
910910

911911
merge_names(
912912
goto_state,

0 commit comments

Comments
 (0)