]> granicus.if.org Git - clang/commit
Implement the notions of the "current instantiation" and "unknown
authorDouglas Gregor <dgregor@apple.com>
Mon, 11 May 2009 19:58:34 +0000 (19:58 +0000)
committerDouglas Gregor <dgregor@apple.com>
Mon, 11 May 2009 19:58:34 +0000 (19:58 +0000)
commit42af25f865a82022a04bedeb483ac251c4412e29
tree579ef3cff4425baa0298aab2b3495d56ace030ba
parent8c8b0ad9601d6ccf3d7b2a3f77a896ef4fb4e6e9
Implement the notions of the "current instantiation" and "unknown
specialization" within a C++ template, and permit name lookup into the
current instantiation. For example, given:

  template<typename T, typename U>
  struct X {
    typedef T type;

    X* x1;  // current instantiation
    X<T, U> *x2; // current instantiation
    X<U, T> *x3; // not current instantiation
    ::X<type, U> *x4; // current instantiation
    X<typename X<type, U>::type, U>: *x5; // current instantiation
  };

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@71471 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/AST/DeclCXX.h
lib/AST/Decl.cpp
lib/Sema/Sema.h
lib/Sema/SemaCXXScopeSpec.cpp
lib/Sema/SemaDecl.cpp
lib/Sema/SemaDeclCXX.cpp
lib/Sema/SemaLookup.cpp
lib/Sema/SemaTemplate.cpp
test/SemaTemplate/current-instantiation.cpp [new file with mode: 0644]
test/SemaTemplate/dependent-type-identity.cpp