http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47978
janus at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #6 from janus at gcc dot gnu.org 2011-09-11 20:24:16 UTC ---
Fixed with r178767. In fact we even check some more stuff now in addition to
INTENT.
Thanks for reporting, Salvatore (and sorry that it took so long to fix).
Closing.
