On Tue, Jun 28 2016, Steven Rostedt <[email protected]> wrote: > But people don't usually run "make smatch" on debug kernels. > trace_printk() currently is not allowed to be used in the kernel. When > it is used, a big ugly banner is posted on boot up saying that the > kernel is in "debug mode" and is "unstable" (even though it isn't) just > to scare people enough to never compile with a trace_printk() in their > code. If they need a permanent trace_printk() then they need to use > tracepoints.
But don't tracepoints also pass through vbin_printf? IOW, are there no print-like function calls in the kernel where a static checker warning for %pX would be worthwhile? Rasmus
