[Sema] Allow static_cast<T&&>(e) to check explicit conversions for non-reference...
authorEric Fiselier <eric@efcs.ca>
Thu, 3 Nov 2016 02:13:17 +0000 (02:13 +0000)
committerEric Fiselier <eric@efcs.ca>
Thu, 3 Nov 2016 02:13:17 +0000 (02:13 +0000)
commite4e9e281a1fbc915b6567a003fd21cc5492cde65
treed4141b30616dd31be8d6803014f23bda7ce9ed56
parent0515fb8d4b2dbfce4fc960abb08a8d9d2f48fe2b
[Sema] Allow static_cast<T&&>(e) to check explicit conversions for non-reference-related types.

Summary:
[expr.cast.static] states:
> 3. A glvalue of type “cv1 T1” can be cast to type “rvalue reference to cv2 T2” if “cv2 T2” is reference-compatible
> with “cv1 T1”. The result refers to the object or the specified base class subobject thereof. If T2 is
> an inaccessible or ambiguous base class of T1, a program that necessitates such a cast is
> ill-formed.
>
> 4. Otherwise, an expression e can be explicitly converted to a type T using a static_cast of the form static_-
> cast<T>(e) if the declaration T t(e); is well-formed, for some invented temporary variable t. [...]

Currently when checking p3 Clang will diagnose `static_cast<T&&>(e)` as invalid if the argument is not reference compatible with `T`. However I believe the correct behavior is to also check p4 in those cases.  For example:

```
double y = 42;
static_cast<int&&>(y); // this should be OK.  'int&& t(y)' is well formed
```

Note that we still don't check p4 for non-reference-compatible types which are reference-related since  `T&& t(e);` should never be well formed in those cases.

Reviewers: rsmith

Subscribers: cfe-commits

Differential Revision: https://reviews.llvm.org/D26231

llvm-svn: 285872
clang/include/clang/Basic/DiagnosticSemaKinds.td
clang/lib/Sema/SemaCast.cpp
clang/test/CXX/expr/expr.post/expr.static.cast/p3-p4-0x.cpp [new file with mode: 0644]
clang/test/SemaCXX/rval-references.cpp