Hi Dan Here's some lightly tested patches to check_kernel_printf. 1/9 should go to sparse upstream (I'll send it a little later), but regardless of whether and when they apply it I think it's appropriate for smatch. Rasmus Villemoes (9): sparse: don't warn about unknown attributes check_kernel_printf.c: reorder flag defines check_kernel_printf.c: update struct printf_spec to kernel version check_kernel_printf.c: check for signed char versus %02x issue check_kernel_printf.c: remove some %pIS false positives check_kernel_printf.c: support %pC check_kernel_printf.c: support future %pgX check_kernel_printf.c: actually allow printk level via %c check_kernel_printf.c: check for redundant or confusing 0x prefix check_kernel_printf.c | 185 +++++++++++++++++++++++++++++++++++++++++--------- lib.c | 2 + lib.h | 1 + parse.c | 3 +- 4 files changed, 158 insertions(+), 33 deletions(-) -- 2.6.1 -- To unsubscribe from this list: send the line "unsubscribe smatch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
