diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-02-22 02:04:18 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2012-02-22 02:04:18 +0000 |
| commit | fd555f6b1fd950eff620e74da887dc37d919a276 (patch) | |
| tree | 3c3ce70944db709410b9c1753550d399b57aae6c /clang/test/CodeGenCXX/thiscall-struct-return.cpp | |
| parent | 3715c691b3f4e88d05ae92d7b831cfceb5865285 (diff) | |
| download | bcm5719-llvm-fd555f6b1fd950eff620e74da887dc37d919a276.tar.gz bcm5719-llvm-fd555f6b1fd950eff620e74da887dc37d919a276.zip | |
Implement C++11 [expr.call]p11: If the operand to a decltype-specifier is a
function call (or a comma expression with a function call on its right-hand
side), possibly parenthesized, then the return type is not required to be
complete and a temporary is not bound. Other subexpressions inside a decltype
expression do not get this treatment.
This is implemented by deferring the relevant checks for all calls immediately
within a decltype expression, then, when the expression is fully-parsed,
checking the relevant constraints and stripping off any top-level temporary
binding.
Deferring the completion of the return type exposed a bug in overload
resolution where completion of the argument types was not attempted, which
is also fixed by this change.
llvm-svn: 151117
Diffstat (limited to 'clang/test/CodeGenCXX/thiscall-struct-return.cpp')
0 files changed, 0 insertions, 0 deletions
