Currently, printing a "void *" works fine, and printing a "volatile void *" fails with a very unclear error. This appears to be due to the nonexistence of a function that can handle a volatile pointer. While I am guessing that it is not covered by the standard, would GCC folks consider having a GCC extension that can properly print it?
