GCC has been innovating for a while with dmalcolm's -fanalyzer stuff.