Dan --
I think it would be interesting to find out how, say, gcc behaves on the pathological code structures you've run into.
Could your compiler spit out a structurally (although not semantically! :) equivalent piece of C code that could be used with a C compiler to see how we do vs. C compilers in these cases?
Regards,
-- Gregor