On Tue, Jul 23, 2013 at 01:10:35PM +0100, Gabriel Kerneis wrote: > On Tue, Jul 23, 2013 at 02:05:15PM +0200, Stefan Hajnoczi wrote: > > A built-time check for coroutine_fn would be valuable if we ever hope to > > get disciplined with this annotation. > > > > The check can detect when a coroutine_fn is invoked outside coroutine > > context. I wonder if Coccinelle can detect this, although I never > > figured out how to use it as a grep-like tool instead of just a > > patch-like tool. > > The recent "cps-inference" branch of CPC enables precisely that kind of check. > Charlie is using it to drive his modifications to QEMU and has already > suggested > several improvements that I have implemented. Hopefully we should reach > something fully covering QEMU by the end his GSoC. > > If there is interest, I can post a script showing how to build it and use it > to > check QEMU annotations (it does not require any modifications to QEMU, only a > couple of configure switches).
What is the status of CPC packaging in distros? Stefan
