http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40931
--- Comment #5 from Alexander Basov <coopht at gmail dot com> 2011-08-10 11:11:04 UTC --- Fixed on 4.7.0 trunk. Checked on gcc revision 177554. gnatmake p gcc -c p.adb p.adb:15:07: warning: variable "A" is never read and never assigned p.adb:22:07: warning: variable "A" is never read and never assigned