This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/13092] [3.4 regression] Segfault in convert_nontype_argument
- From: "giovannibajo at libero dot it" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 18 Nov 2003 17:44:26 -0000
- Subject: [Bug c++/13092] [3.4 regression] Segfault in convert_nontype_argument
- References: <20031117223716.13092.giovannibajo@libero.it>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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