Fix cppinit format problems

[Zack Weinberg]

On Tue, May 21, 2002 at 03:05:16PM +0200, Andreas Jaeger wrote:
> 
> On a 64-bit host I got these warnings bootstrapping GCC:
> /sources/gcc/gcc/gcc/cppinit.c:862: warning: unsigned int format, different type arg (arg 4)
> /sources/gcc/gcc/gcc/cppinit.c:862: warning: unsigned int format, different type arg (arg 5)
> /sources/gcc/gcc/gcc/cppinit.c:882: warning: unsigned int format, different type arg (arg 4)
> /sources/gcc/gcc/gcc/cppinit.c:882: warning: unsigned int format, different type arg (arg 5)
> 
> We try to print elements of type size_t.  Ok to commit the appended
> patch?  Bootstrapped/regtested on i686-linux-gnu.
> 
> Andreas
> 
> 2002-05-21  Andreas Jaeger  <aj@suse.de>
> 
> 	* cppinit.c (sanity_checks): Avoid printf mismatch warnings.

OK.

zw