http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57696
--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> --- See also PR 57697; the a similar needs to be also addressed when fixing this bug, namely the case that for: var.foo.bar "foo" is NULL/unallocated while "bar" appears in the defined assignment. See also PR46897 for another missing feature.