use std::size_t

kroening · kroening · commit 5b0fb8e19fb4 · 2016-11-13T13:30:20.000Z
diff --git a/src/ansi-c/c_typecheck_type.cpp b/src/ansi-c/c_typecheck_type.cpp
@@ -1359,7 +1359,7 @@ void c_typecheck_baset::typecheck_c_bit_field_type(c_bit_field_typet &type)
   
   const typet &subtype=follow(type.subtype());
   
-  unsigned sub_width=0;
+  std::size_t sub_width=0;
 
   if(subtype.id()==ID_bool)
   {

Original file line number	Diff line number	Diff line change
`@@ -1359,7 +1359,7 @@ void c_typecheck_baset::typecheck_c_bit_field_type(c_bit_field_typet &type)`
`1359`	`1359`
`1360`	`1360`	`const typet &subtype=follow(type.subtype());`
`1361`	`1361`
`1362`		`- unsigned sub_width=0;`
	`1362`	`+ std::size_t sub_width=0;`
`1363`	`1363`
`1364`	`1364`	`if(subtype.id()==ID_bool)`
`1365`	`1365`	`{`