public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org> To: gcc-bugs@gcc.gnu.org Subject: [Bug c++/101786] P1143R2 constinit implementation is incomplete (joining with thread_local) Date: Wed, 11 Aug 2021 20:01:34 +0000 [thread overview] Message-ID: <bug-101786-4-Uz2lyiKCub@http.gcc.gnu.org/bugzilla/> (raw) In-Reply-To: <bug-101786-4@http.gcc.gnu.org/bugzilla/> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101786 --- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>: https://gcc.gnu.org/g:ee8f9ff00d79998274c967ad0c23692be9dd3ada commit r12-2861-gee8f9ff00d79998274c967ad0c23692be9dd3ada Author: Jakub Jelinek <jakub@redhat.com> Date: Wed Aug 11 22:00:29 2021 +0200 c++: Optimize constinit thread_local vars [PR101786] The paper that introduced constinit mentioned in rationale that constinit can be used on externs as well and that it can be used to avoid the thread_local initialization wrappers, because the standard requires that if constinit is present on any declaration, it is also present on the initialization declaration, even if it is in some other TU etc. There is a small problem though, we use the tls wrappers not just if the thread_local variable needs dynamic initialization, but also when it has static initialization, but non-trivial destructor, as the "dynamic initialization" in that case needs to register the destructor. So, the following patch optimizes constinit thread_local vars only if we can prove they will not have non-trivial destructors. That includes the case where we have incomplete type where we don't know and need to conservatively assume the type will have non-trivial destructor at the initializing declaration side. 2021-08-11 Jakub Jelinek <jakub@redhat.com> PR c++/101786 * decl2.c (var_defined_without_dynamic_init): Return true for DECL_DECLARED_CONSTINIT_P with complete type and trivial destructor. * g++.dg/cpp2a/constinit16.C: New test.
next prev parent reply other threads:[~2021-08-11 20:01 UTC|newest] Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top 2021-08-05 3:47 [Bug c++/101786] New: " jpegqs at gmail dot com 2021-08-05 3:52 ` [Bug c++/101786] " pinskia at gcc dot gnu.org 2021-08-05 3:54 ` pinskia at gcc dot gnu.org 2021-08-05 14:19 ` jakub at gcc dot gnu.org 2021-08-05 14:24 ` jakub at gcc dot gnu.org 2021-08-11 20:01 ` cvs-commit at gcc dot gnu.org [this message] 2021-08-11 20:02 ` jakub at gcc dot gnu.org
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=bug-101786-4-Uz2lyiKCub@http.gcc.gnu.org/bugzilla/ \ --to=gcc-bugzilla@gcc.gnu.org \ --cc=gcc-bugs@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).