Re: [PATCH] PR c++/48574

[Jason Merrill]

On 04/13/2011 09:40 AM, Dodji Seketeli wrote:
+             if (type_dependent_expression_p (DECL_INITIAL (instance)))
+               {
+                 /* The initializer is type dependent so we cannot
+                    determine the dynamic type of this reference.   */
+                 if (nonnull)
+                   *nonnull = 0;
+                 return NULL_TREE;
+               }

*nonnull should still be true in this case; even if we don't know what 
the reference refers to, we can still assume that it refers to 
something.  Otherwise OK.

Jason