[src/trunk]: src/sys/kern why didn't gcc find the formatting error?

[christos <christos%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/27ac34245bcd
branches:  trunk
changeset: 784762:27ac34245bcd
user:      christos <christos%NetBSD.org@localhost>
date:      Sat Feb 09 00:32:12 2013 +0000

description:
why didn't gcc find the formatting error?

diffstat:

 sys/kern/vfs_wapbl.c |  6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diffs (27 lines):

diff -r ed32f4fb3149 -r 27ac34245bcd sys/kern/vfs_wapbl.c
--- a/sys/kern/vfs_wapbl.c      Sat Feb 09 00:31:21 2013 +0000
+++ b/sys/kern/vfs_wapbl.c      Sat Feb 09 00:32:12 2013 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: vfs_wapbl.c,v 1.54 2012/12/08 07:24:42 hannken Exp $   */
+/*     $NetBSD: vfs_wapbl.c,v 1.55 2013/02/09 00:32:12 christos Exp $  */
 
 /*-
  * Copyright (c) 2003, 2008, 2009 The NetBSD Foundation, Inc.
@@ -36,7 +36,7 @@
 #define WAPBL_INTERNAL
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: vfs_wapbl.c,v 1.54 2012/12/08 07:24:42 hannken Exp $");
+__KERNEL_RCSID(0, "$NetBSD: vfs_wapbl.c,v 1.55 2013/02/09 00:32:12 christos Exp $");
 
 #include <sys/param.h>
 #include <sys/bitops.h>
@@ -1819,7 +1819,7 @@
                                LIST_FOREACH(wi, wih, wi_hash) {
                                        if (wi->wi_ino == 0)
                                                continue;
-                                       (*pr)(" %"PRId32"/0%06"PRIo32",",
+                                       (*pr)(" %"PRIu64"/0%06"PRIo32",",
                                            wi->wi_ino, wi->wi_mode);
                                        if ((++cnt % 4) == 0) {
                                                (*pr)("\n\t");