[Bug c++/13092] [3.4 regression] Segfault in convert_nontype_argument

[giovannibajo at libero dot it]

------- Additional Comments From giovannibajo at libero dot it  2003-11-18 17:44 -------
(In reply to comment #4)
> I think we should preserve the SCOPE_REF because correct
> access checking of members in class hierarchy requires this.
> My idea would be putting the type information into it when 
> it's not a dependent name.  

But since the whole expression "&S::i" is non-dependent, we could/should 
perform access checking at parsing time (following the two-stage lookup rules) 
and construct an OFFSET_REF directly, just like we do outside a template. Where 
am I wrong?

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13092