replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
116,470 Commits 2 Branches 0 Tags 1.8 GiB
Commit Graph

8 Commits

Author SHA1 Message Date
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