use size_t

kroening · kroening · commit b0ecd3e42545 · 2016-11-13T13:04:03.000Z
diff --git a/src/util/simplify_expr_struct.cpp b/src/util/simplify_expr_struct.cpp
@@ -143,7 +143,7 @@ bool simplify_exprt::simplify_member(exprt &expr)
       const struct_typet &struct_type=to_struct_type(op_type);
       if(struct_type.has_component(component_name))
       {
-        unsigned number=struct_type.component_number(component_name);
+        std::size_t number=struct_type.component_number(component_name);
         exprt tmp;
         tmp.swap(op.operands()[number]);
         expr.swap(tmp);

Original file line number	Diff line number	Diff line change
`@@ -143,7 +143,7 @@ bool simplify_exprt::simplify_member(exprt &expr)`
`143`	`143`	`const struct_typet &struct_type=to_struct_type(op_type);`
`144`	`144`	`if(struct_type.has_component(component_name))`
`145`	`145`	`{`
`146`		`- unsigned number=struct_type.component_number(component_name);`
	`146`	`+ std::size_t number=struct_type.component_number(component_name);`
`147`	`147`	`exprt tmp;`
`148`	`148`	`tmp.swap(op.operands()[number]);`
`149`	`149`	`expr.swap(tmp);`