Hi, Ian I found a gcc plugin called gcc-vcg-plugin (http://code.google.com/p/gcc-vcg-plugin/). I am not sure if this can be a start point.
Any comments? Thanks. Regards, chenwj -- Wei-Ren Chen (陳韋任) Computer Systems Lab, Institute of Information Science, Academia Sinica, Taiwan (R.O.C.) Tel:886-2-2788-3799 #1667