[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