http://gcc.gnu.org/bugzilla/show_bug.cgi?id=46350
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ebotcazou at gcc dot | |gnu.org --- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-06-21 10:40:41 UTC --- Try to remove the cast to System.Interrupt_Management.Interrupt_ID in the call.