As I said, personally, I don't feel like putting QEMU_IN_COROUTINE()
assertions into every coroutine_fn is a useful thing to do. Static
analysis (maybe even with something vrc based in 'make check'? Paolo,
would this be realistic?)
Yes, using pyclang just to build the call graph should be much much faster than doing all the static analysis. So it should be feasible to integrate it with "make check". We can decide whether to bundle vrc, which is just a dozen files, or install it from pypi (sooner or later configure will have to be taught about that, too).
Paolo