This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [C++ PATCH for 4.0] Fix PR18681 (access checking for typedef types) Part 1 or 2
Mark Mitchell <mark@codesourcery.com> writes:
[...]
| Unfortunately, C++ requires both that (a) we resolve qualification in
| templates when parsing things that are non-dependent, and (b) that we
| preserve the qualification until instantiation time to check access.
| I think that the only solution to this is, ultimately, to keep a list
| of (dependent) things that must be checked at instantiation time, even
| after resolving dependencies.
Also, I think it might make sense to annotate the outcome of the name
resolution (during the parsing time) with their spellings. That
takes care of the T::X vs. XX stuff.
-- Gaby