diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2016-09-29 21:30:12 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2016-09-29 21:30:12 +0000 |
| commit | c15b46ecb60f8a490cefac945e6cff5280f25cac (patch) | |
| tree | 28591b65104c3e2abef78fc96b66f564f026cded /www | |
| parent | ce09b185b48ab28a787951c1047980fb0d543f3a (diff) | |
Switch to a different workaround for unimplementability of P0145R3 in MS ABIs.
Instead of ignoring the evaluation order rule, ignore the "destroy parameters
in reverse construction order" rule for the small number of problematic cases.
This only causes incorrect behavior in the rare case where both parameters to
an overloaded operator <<, >>, ->*, &&, ||, or comma are of class type with
non-trivial destructor, and the program is depending on those parameters being
destroyed in reverse construction order.
We could do a little better here by reversing the order of parameter
destruction for those functions (and reversing the argument evaluation order
for all direct calls, not just those with operator syntax), but that is not a
complete solution to the problem, as the same situation can be reached by an
indirect function call.
Approach reviewed off-line by rnk.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@282777 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
| -rw-r--r-- | www/cxx_status.html | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/www/cxx_status.html b/www/cxx_status.html index 1fe28d5dcb..170fc6090e 100644 --- a/www/cxx_status.html +++ b/www/cxx_status.html @@ -740,14 +740,12 @@ In Clang 3.7, a warning is emitted for all cases that would change meaning. <span id="p0136">(9): This is the resolution to a Defect Report, so is applied to all language versions supporting inheriting constructors. </span><br> -<span id="p0145">(10): Under the MS ABI, this feature is not fully implementable, -because the calling convention requires that function parameters are destroyed -from left to right in the callee. In order to guarantee that destruction order -is reverse construction order, the operands of overloaded +<span id="p0145">(10): Under the MS ABI, function parameters are destroyed from +left to right in the callee. As a result, function parameters in calls to <tt>operator<<</tt>, <tt>operator>></tt>, <tt>operator->*</tt>, <tt>operator&&</tt>, <tt>operator||</tt>, and <tt>operator,</tt> -functions are evaluated right-to-left under the MS ABI when called using operator -syntax, not left-to-right as P0145R3 requires. +functions using expression syntax are no longer guaranteed to be destroyed in +reverse construction order in that ABI. </span> </p> </details> |