------- 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
