<rdar://problem/13140795> Transform the scope type of a pseudo-destructor expression...
authorDouglas Gregor <dgregor@apple.com>
Fri, 8 Mar 2013 21:25:01 +0000 (21:25 +0000)
committerDouglas Gregor <dgregor@apple.com>
Fri, 8 Mar 2013 21:25:01 +0000 (21:25 +0000)
commita88c55b571413671e49693797b28da228ad4b41c
tree3d38cf9347a6e2b56e2750790fda3afaa8990dbb
parent74ffc27d257850b4f0d8c01622ec7d24d2f1c53e
<rdar://problem/13140795> Transform the scope type of a pseudo-destructor expression within the object scope.

We were transforming the scope type of a pseudo-destructor expression
(e.g., the first T in x->T::~T()) as a freestanding type, which meant
that dependent template specialization types here would stay dependent
even when no template parameters were named. This would eventually
mean that a dependent expression would end up in what should be
fully-instantiated ASTs, causing IRgen to assert.

llvm-svn: 176723
clang/lib/Sema/TreeTransform.h
clang/test/SemaTemplate/destructor-template.cpp