[cfe-dev] support for annotations in clang

[Zvonimir Rakamaric]

Hi,

I am looking for a C front-end that has some kind of support for
processing source code annotations in the form of pre- and
post-conditions and loop invariants. So far, I haven't found anything
suitable for the task (if you are aware of any C front-ends that
support annotations, please let me know), and given that clang is a
new project, it might be a good place to start. Exploiting comments,
which was mentioned in a recent thread, would be for instance one of
the ways to go.

Please let me know if anybody is already working on that, or planning
to in the near future...

Also, would you even be interested in adding support for annotations
to clang? I think that would be a very useful feature since many
static analysis tools rely on some sort of user-provided annotations,
and having a uniform support for those would be great.

Thanks!

Cheers,
-- Zvonimir