http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45889
--- Comment #5 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> 2010-10-05 14:28:55 UTC --- Looks like we are being too conservative on this check. If we can give an error if unallocated but not give an error if allocated, then it would be better.
