On 7/23/24 7:41 PM, Arsen Arsenović wrote:
It is possible to use parameters of a parent function of a lambda in
unevaluated contexts without capturing them. By not capturing them, we
work around the usual mechanism we use to prevent rewriting captured
parameters. Prevent this by simply skipping rewrites in unevaluated
contexts. Those won't mind the value not being present anyway.
gcc/cp/ChangeLog:
PR c++/111728
* coroutines.cc (rewrite_param_uses): Skip unevaluated
subexpressions.
gcc/testsuite/ChangeLog:
PR c++/111728
* g++.dg/coroutines/pr111728.C: New test.
---
Evening!
This 'series' contains two patches for the coroutine implementation to
address two unrelated PRs.
When you're explicitly dividing your description between stuff that goes
in the commit message and stuff that doesn't, the stuff that doesn't go
in the commit message should come first, followed by a "scissors" line,
per git-mailinfo(1):
--scissors
Remove everything in body before a scissors line (e.g. "-- >8 --").
The line
represents scissors and perforation marks, and is used to request
the reader
to cut the message at that line. If that line appears in the body of
the
message before the patch, everything before it (including the
scissors line
itself) is ignored when this option is used.
This is useful if you want to begin your message in a discussion
thread with
comments and suggestions on the message you are responding to, and to
conclude it with a patch submission, separating the discussion and
the
beginning of the proposed commit log message with a scissors line.
The first prevents an ICE during coroutine parameter substitution by not
performing it in unevaluated contexts. Those contexts can contain names
that were not captured by lambdas but *are* parameters to coroutines.
In the testcase from the PR, the rewriting machinery finds a param in
the body of the coroutine, which it did not previously encounter while
processing the coroutine declaration, and that does not have a
DECL_VALUE_EXPR, and fails.
Since it is not really useful to rewrite parameter uses in unevaluated
contexts, we can just ignore those, preventing confusion (and the ICE).
All of the explanation of the change rationale can merge into the commit
message.
Regression tested on x86_64-pc-linux-gnu.
OK for trunk?
TIA, have a lovely night.
gcc/cp/coroutines.cc | 6 +++++
gcc/testsuite/g++.dg/coroutines/pr111728.C | 29 ++++++++++++++++++++++
2 files changed, 35 insertions(+)
create mode 100644 gcc/testsuite/g++.dg/coroutines/pr111728.C
diff --git a/gcc/cp/coroutines.cc b/gcc/cp/coroutines.cc
index e8f028df3ad..fb8f24e6c61 100644
--- a/gcc/cp/coroutines.cc
+++ b/gcc/cp/coroutines.cc
@@ -3755,6 +3755,12 @@ rewrite_param_uses (tree *stmt, int *do_subtree
ATTRIBUTE_UNUSED, void *d)
return cp_walk_tree (&t, rewrite_param_uses, d, NULL);
}
+ if (unevaluated_p (TREE_CODE (*stmt)))
+ {
+ *do_subtree = 0; // Nothing to do.
We tend to avoid C++-style comments; I'm not sure any comment is needed
here, but "/* No odr-uses in unevaluated operands. */" would be clearer
IMO.
OK either way.
Jason