[cfe-dev] Parsing VCC annotations with clang

[Chris Lattner]

On May 30, 2011, at 1:46 AM, Florian Merz wrote:

> What would be necessary to make clang able to parse VCC [1] annotations like 
> _(requires ...), _(ensures ...) and _(invariant)  in the example above. I'd 
> like to be able to turn these into run time checks for these properties.

Hi Florian,

I'm not familiar with the extension, but this would likely rewrite a lot of parser work, as well as AST and code generation work.  This is an interesting research extension, but not likely something we'd take back into mainline.

-Chris