------- Comment #5 from bangerth at dealii dot org 2007-09-08 15:25 ------- I think there is very little that can be done here given the gcc extension of taking the address of labels.
-- bangerth at dealii dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution| |WONTFIX http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33176