maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
173,268 Commits 23 Branches 0 Tags 2.2 GiB
Commit Graph

9 Commits

Author SHA1 Message Date
Richard Smith 40c180db13 When rebuilding a DependentScopeDeclRefExpr, perform a lookup into the scope 
even if it's dependent, in case it now names a member of the current instantiation.

llvm-svn: 166496
 2012-10-23 19:56:01 +00:00
Douglas Gregor 041b084f73 When declaring an out-of-line template, attempt to rebuild any types 
within the template parameter list that may have changed now that we
know the current instantiation. Fixes <rdar://problem/10194295>.

llvm-svn: 141954
 2011-10-14 15:31:12 +00:00
Douglas Gregor bf2b26d805 The member classes of a current instantiation aren't necessarily a 
current instantiation, even though we have a RecordDecl describing
them. Fixes PR9255.

Amusingly, I've had this patch sitting around for a month or two
because it was "obviously" wrong, but hadn't gotten around to writing
a test case to submit the fix :)

llvm-svn: 126038
 2011-02-19 19:24:40 +00:00
Douglas Gregor bbfd2c0a86 Enable expression transformations in the current-instantiation 
rebuilder, i.e., remove a silly short-sighted hack from long
ago. Thanks to Abramo Bagnara for the test case/bug report!

llvm-svn: 109583
 2010-07-28 15:14:14 +00:00
Douglas Gregor 112de35e5b Static data members intialized in-class that have constant values are 
value-dependent if their initializers are value-dependent; my recent
tweak to these dependent rules overstepped by taking away this
value-dependents. Fixes a Boost.GIL regression.

llvm-svn: 103476
 2010-05-11 16:41:27 +00:00
Daniel Dunbar 8fbe78f6fc Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. 
- This is designed to make it obvious that %clang_cc1 is a "test variable"
   which is substituted. It is '%clang_cc1' instead of '%clang -cc1' because it
   can be useful to redefine what gets run as 'clang -cc1' (for example, to set
   a default target).

llvm-svn: 91446
 2009-12-15 20:14:24 +00:00
Douglas Gregor 601f4f0b07 Improve type-checking of templates by distinguishing between members 
of the current instantiation and members of an unknown specialization
when type-checking a qualified-if expression.

llvm-svn: 89653
 2009-11-23 12:39:54 +00:00
Douglas Gregor 833834fcab What luck! Clang obtains support for refering to members of the 
current instantiation when that current instantiation is a class
template partial specialization.

llvm-svn: 77609
 2009-07-30 17:50:56 +00:00
Douglas Gregor c9f9b86732 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
  };

llvm-svn: 71471
 2009-05-11 19:58:34 +00:00