http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47455
--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> 2011-01-26 10:36:41 UTC --- Created attachment 23130 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=23130 Draft patch, working but failing due to another related bug (In reply to comment #3) [First patch] Works for the test case, but does not regtest. The following makes more sense: Replace "proc_pointer" by "pointer || allocatable" * * * However, the test case - in the attachment - fails due to a different and in principle unrelated reason: find_x2 (struct __class_class_t_T & restrict this) { struct tx * res; res.i.data = 0B; res = 0B; The "res.i.data = 0" is obviously wrong: The pointer "res" should be already be set to NULL - thus the component should in that case never be set.