Actions
Bug #5430
closedC-backend doesn't support case range GNU extension
Start date:
11/14/2014
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
Case ranges GNU extension is described here.
In particular this leads to warnings considered in issue #4401:
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]
Actions