[typing] avoid name clashes when generating names for anonymous enum
More specifically, mark explicitely anonymous symbols from Frama-C's stdlib as such if there's no other meaningful suffix to append to __anon{kind} Fixes #672
Showing
- src/kernel_internals/typing/cabs2cil.ml 5 additions, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- tests/syntax/anon_enum_libc.c 13 additions, 0 deletionstests/syntax/anon_enum_libc.c
- tests/syntax/anon_enum_libc.h 5 additions, 0 deletionstests/syntax/anon_enum_libc.h
- tests/syntax/oracle/anon_enum_libc.res.oracle 28 additions, 0 deletionstests/syntax/oracle/anon_enum_libc.res.oracle
Loading
Please register or sign in to comment