]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
c++,coroutines: Stabilize names of promoted slot vars [PR101118].
authorIain Sandoe <iain@sandoe.co.uk>
Thu, 30 Mar 2023 07:44:23 +0000 (13:14 +0530)
committerIain Sandoe <iain@sandoe.co.uk>
Tue, 16 May 2023 19:06:57 +0000 (20:06 +0100)
When we need to 'promote' a value (i.e. store it in the coroutine frame) it
is given a frame entry name.  This was based on the DECL_UID for slot vars.
However, when LTO is used, the names from multiple TUs become visible at the
same time, and the DECL_UIDs usually differ between units.  This leads to a
"ODR mismatch" warning for the frame type.

The fix here is to use the current promoted temporaries count to produce
the name, this is stable between TUs and computed per coroutine.

Signed-off-by: Iain Sandoe <iain@sandoe.co.uk>
PR c++/101118

gcc/cp/ChangeLog:

* coroutines.cc (flatten_await_stmt): Use the current count of
promoted temporaries to build a unique name for the frame entries.

(cherry picked from commit fc4cde2e6aa4d6ebdf7f70b7b4359fb59a1915ae)

gcc/cp/coroutines.cc

index b20e773bff68b125b11399951f70affdb40b81ea..4cb0db315aaf78b4c4298ebbde9b399af8138333 100644 (file)
@@ -2874,7 +2874,7 @@ flatten_await_stmt (var_nest_node *n, hash_set<tree> *promoted,
          tree init = t;
          temps_used->add (init);
          tree var_type = TREE_TYPE (init);
-         char *buf = xasprintf ("D.%d", DECL_UID (TREE_OPERAND (init, 0)));
+         char *buf = xasprintf ("T%03u", (unsigned) temps_used->elements ());
          tree var = build_lang_decl (VAR_DECL, get_identifier (buf), var_type);
          DECL_ARTIFICIAL (var) = true;
          free (buf);