tests/syntax/anon_enum_libc.h · d66660ba11a703d8947302e57adbcd4111b58ea3 · pub / frama-c

5 years ago

[typing] avoid name clashes when generating names for anonymous enum · a1e97978

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

a1e97978

History

[typing] avoid name clashes when generating names for anonymous enum

Virgile Prevosto authored 5 years ago

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