]> granicus.if.org Git - clang/commit
[coroutines] Fix application of NRVO to Coroutine "Gro" or return object.
authorEric Fiselier <eric@efcs.ca>
Mon, 29 Jan 2018 23:52:57 +0000 (23:52 +0000)
committerEric Fiselier <eric@efcs.ca>
Mon, 29 Jan 2018 23:52:57 +0000 (23:52 +0000)
commit82aa86f5d3a79abcdd363475d1509c564c178126
treedf02cb092bbb4c169e12b50344a6295f78b1edc1
parent44c0f4cce21bb2ea020b6dfb45fa8b2682a45278
[coroutines] Fix application of NRVO to Coroutine "Gro" or return object.

Summary:
Fix NRVO for Gro variable.

Previously, we only marked the GRO declaration as an NRVO variable
when its QualType and the function return's QualType matched exactly
(using operator==). However, this was incorrect for two reasons:

1. We were marking non-class types, such as ints, as being NRVO variables.

2. We failed to  handle cases where the canonical types were the same, but the actual `QualType` objects were different. For example, if  one was represented by a typedef. (Example: https://godbolt.org/g/3UFgsL)

This patch fixes these bugs by marking the Gro variable as supporting NRVO only
when `BuildReturnStmt` marks the Gro variable as a coroutine candidate.

Reviewers: rsmith, GorNishanov, nicholas

Reviewed By: GorNishanov

Subscribers: majnemer, cfe-commits

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@323712 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Sema/SemaCoroutine.cpp
test/CodeGenCoroutines/coro-alloc.cpp
test/CodeGenCoroutines/coro-gro-nrvo.cpp [new file with mode: 0644]