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

"tests/libc/oracle/limits_h.8.res.oracle" did not exist on "4bf2c1456cbd62558feb93c72cf77cc8bfb4053d"

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