Format null pointers as 0x0.

diff --git a/src/lib/stdio.c b/src/lib/stdio.c
index 6a03f5388966260d375fc7c77b975986f9c0713e..95dfdbe66273b8c8557813e0064b9f60b08afd0f 100644 (file)
--- a/src/lib/stdio.c
+++ b/src/lib/stdio.c
@@ -293,14 +293,11 @@ __vprintf (const char *format, va_list args,
         case 'p':
           {
             /* Pointer conversion.
-               Format non-null pointers as %#x. */
+               Format pointers as %#x. */
             void *p = va_arg (args, void *);
 
             c.flags = POUND;
-            if (p != NULL) 
-              format_integer ((uintptr_t) p, false, &base_x, &c, output, aux);
-            else
-              format_string ("(nil)", 5, &c, output, aux); 
+            format_integer ((uintptr_t) p, false, &base_x, &c, output, aux);
           }
           break;