rsmith added inline comments.
================
Comment at: lib/Sema/SemaExprCXX.cpp:4567
- if (Kind <= BTT_Last)
+ // Evaluate BTT_ReferenceBindsToTemporary along side the IsConstructible
+ // traits to avoid duplication.
----------------
"alongside" is a single word.
================
Comment at: test/SemaCXX/type-traits.cpp:2102-2116
+ using LRef = ConvertsToRef<int, int&>;
+ using RRef = ConvertsToRef<int, int&&>;
+ using CLRef = ConvertsToRef<int, const int&>;
+ using LongRef = ConvertsToRef<long, long&>;
+ { int arr[T((__is_constructible(int&, LRef)))]; }
+ { int arr[F((__reference_binds_to_temporary(int&, LRef)))]; }
+
----------------
Please also check things like:
`__reference_binds_to_temporary(const int&, ConvertsToRef<long, long&>)`
(That is, a user-defined conversion to a reference type followed by converting
and materializing a temporary.)
https://reviews.llvm.org/D29930
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
