[Kernel] allow parsing of enums with attributes
This syntax is authorized by GCC/Clang and used in some libraries, such as glib. For now, we simply discard these attributes with a warning, since the examples found so far are currently useless for Frama-C (e.g. 'deprecated').
Showing
- src/kernel_internals/parsing/cparser.mly 18 additions, 0 deletionssrc/kernel_internals/parsing/cparser.mly
- src/kernel_services/plugin_entry_points/kernel.ml 2 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 3 additions, 0 deletionssrc/kernel_services/plugin_entry_points/kernel.mli
- tests/misc/oracle/audit-out.json 3 additions, 2 deletionstests/misc/oracle/audit-out.json
- tests/syntax/enum-attr-init.i 10 additions, 0 deletionstests/syntax/enum-attr-init.i
- tests/syntax/oracle/enum-attr-init.res.oracle 12 additions, 0 deletionstests/syntax/oracle/enum-attr-init.res.oracle
Loading
Please register or sign in to comment