------- Comment #1 from pinskia at gcc dot gnu dot org 2008-05-06 15:28 ------- I don't think we should do this. There is already a secondary program that does the coloring too. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36150