Bug #4401
Updated by Evgeny Novikov about 9 years ago
Although warnings aren't treated as errors, they may be very crucial. For instance, we run verification although C back-end C-backend produces incomplete code: <pre> 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] </pre> First of all I would like to switch these warnings into errors since C back-end C-backend is mature enough to have no warnings.