Request for review: 8016302: Change type of the number of GC workers to unsigned int (2)

[Thomas Schatzl]

Hi,

On Thu, 2014-04-03 at 15:41 +0400, Vladimir Kempik wrote:
> Hello
> 
> I've used UINT32_FORMAT because:
> 
> 1) previous format type for worker was INT32_FORMAT, when worker was int
> 
> 2) there is no such thing as UINT_FORMAT,  there is only UINTX_FORMAT
> 
> Do you think UINTX_FORMAT is better than UINT32_FORMAT for this case ?

UINTX_FORMAT or uintx is an unsigned data type that has 32 or 64 bit
size depending on the processes' word size.

I think UINT32_FORMAT is correct here, and used elsewhere for uint
variables. Afaik uint is 32 bits on all platforms we use.

Thanks,
  Thomas