Fix implementation of [temp.local]p4.
authorRichard Smith <richard-llvm@metafoo.co.uk>
Fri, 15 Feb 2019 00:29:04 +0000 (00:29 +0000)
committerRichard Smith <richard-llvm@metafoo.co.uk>
Fri, 15 Feb 2019 00:29:04 +0000 (00:29 +0000)
commit40bd10b770813bd1471d46f514545437516aa4ba
tree83b1fcbd4b6eeebc595b3323992c12b05d3ed69e
parenta6e8d5e554080ee5483d95313b2958cd25860990
Fix implementation of [temp.local]p4.

When a template-name is looked up, we need to give injected-class-name
declarations of class templates special treatment, as they denote a
template rather than a type.

Previously we achieved this by applying a filter to the lookup results
after completing name lookup, but that is incorrect in various ways, not
least of which is that it lost all information about access and how
members were named, and the filtering caused us to generally lose
all ambiguity errors between templates and non-templates.

We now preserve the lookup results exactly, and the few places that need
to map from a declaration found by name lookup into a declaration of a
template do so explicitly. Deduplication of repeated lookup results of
the same injected-class-name declaration is done by name lookup instead
of after the fact.

llvm-svn: 354091
clang/include/clang/Sema/Lookup.h
clang/include/clang/Sema/Sema.h
clang/lib/Sema/SemaDecl.cpp
clang/lib/Sema/SemaDeclCXX.cpp
clang/lib/Sema/SemaLookup.cpp
clang/lib/Sema/SemaTemplate.cpp
clang/test/CXX/class.access/p4.cpp
clang/test/CXX/temp/temp.decls/temp.friend/p1.cpp
clang/test/SemaTemplate/temp.cpp