C Instrumentation Framework

Although warnings aren't treated as errors, they may be very crucial. For instance, we run verification although C back-end produces incomplete code:

include/linux/printk.h: In function 'printk_skip_level': 
include/linux/printk.h:33:1: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 3431: neither case nor default is catched [enabled by default] 
include/linux/printk.h:33:1: warning: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 3449: labeled statement wasn't converted [enabled by default] 
include/linux/printk.h:33:1: warning: LDV: ../../aspectator/gcc/c-family/ldv-pretty-print.c: 3195: labeled statement of statement was not printed [enabled by default]

First of all I would like to switch these warnings into errors since C back-end is mature enough to have no warnings.