diff options
| author | Jason Merrill <jason@redhat.com> | 2021-03-02 23:59:00 -0500 |
|---|---|---|
| committer | Jason Merrill <jason@redhat.com> | 2021-03-03 08:47:03 -0500 |
| commit | 74aee6d20872e8d87558eb5bf601042e3ed3fb2a (patch) | |
| tree | 7c77a9a101ce563964138373cf31b0c8a6aa2f2f /gcc/tree-pretty-print.c | |
| parent | 5bc3a2bc8a810e7a9a51d7069463f1f460d6a588 (diff) | |
| download | gcc-74aee6d20872e8d87558eb5bf601042e3ed3fb2a.zip gcc-74aee6d20872e8d87558eb5bf601042e3ed3fb2a.tar.gz gcc-74aee6d20872e8d87558eb5bf601042e3ed3fb2a.tar.bz2 | |
c++: C++17 and decltype of multi-operator expression [PR95675]
A call that is the immediate operand of decltype has special semantics: no
temporary is produced, so it's OK for the return type to be e.g. incomplete.
But we were treating (e | f) the same way, which confused overload
resolution when we then tried to evaluate ... | g.
Fixed by making build_temp do what its name says, and force the C++17
temporary materialization conversion.
gcc/cp/ChangeLog:
PR c++/95675
* call.c (build_temp): Wrap a CALL_EXPR in a TARGET_EXPR
if it didn't get one before.
gcc/testsuite/ChangeLog:
PR c++/95675
* g++.dg/cpp0x/decltype-call5.C: New test.
* g++.dg/cpp0x/decltype-call6.C: New test.
Diffstat (limited to 'gcc/tree-pretty-print.c')
0 files changed, 0 insertions, 0 deletions