From: Nathaniel Shead <nathanieloshead@gmail.com>
To: gcc-patches@gcc.gnu.org
Cc: Patrick Palka <ppalka@redhat.com>
Subject: [PATCH v3 0/3] c++: Track lifetimes in constant evaluation [PR70331,...]
Date: Sat, 1 Jul 2023 13:24:37 +1000 [thread overview]
Message-ID: <ZJ+cdWQ7BSPhrsT1@Thaum.localdomain> (raw)
This is an update of the patch series at
https://gcc.gnu.org/pipermail/gcc-patches/2023-March/614811.html
Changes since v2:
- Use a separate 'hash_set' to track expired variables instead of
adding a flag to 'lang_decl_base'.
- Use 'iloc_sentinel' to propagate location information down to
subexpressions instead of manually saving and falling back to a
parent expression's location.
- Update more tests with improved error location information.
Bootstrapped and regtested on x86_64-pc-linux-gnu.
---
Nathaniel Shead (3):
c++: Track lifetimes in constant evaluation [PR70331,PR96630,PR98675]
c++: Improve constexpr error for dangling local variables
c++: Improve location information in constant evaluation
gcc/cp/constexpr.cc | 158 +++++++++++++++---
gcc/cp/semantics.cc | 5 +-
gcc/cp/typeck.cc | 5 +-
gcc/testsuite/g++.dg/cpp0x/constexpr-48089.C | 10 +-
gcc/testsuite/g++.dg/cpp0x/constexpr-70323.C | 8 +-
gcc/testsuite/g++.dg/cpp0x/constexpr-70323a.C | 8 +-
.../g++.dg/cpp0x/constexpr-delete2.C | 5 +-
gcc/testsuite/g++.dg/cpp0x/constexpr-diag3.C | 2 +-
gcc/testsuite/g++.dg/cpp0x/constexpr-ice20.C | 1 +
.../g++.dg/cpp0x/constexpr-recursion.C | 6 +-
gcc/testsuite/g++.dg/cpp0x/overflow1.C | 2 +-
gcc/testsuite/g++.dg/cpp1y/constexpr-89285.C | 5 +-
gcc/testsuite/g++.dg/cpp1y/constexpr-89481.C | 3 +-
.../g++.dg/cpp1y/constexpr-lifetime1.C | 14 ++
.../g++.dg/cpp1y/constexpr-lifetime2.C | 20 +++
.../g++.dg/cpp1y/constexpr-lifetime3.C | 13 ++
.../g++.dg/cpp1y/constexpr-lifetime4.C | 11 ++
.../g++.dg/cpp1y/constexpr-lifetime5.C | 11 ++
.../g++.dg/cpp1y/constexpr-tracking-const14.C | 3 +-
.../g++.dg/cpp1y/constexpr-tracking-const16.C | 3 +-
.../g++.dg/cpp1y/constexpr-tracking-const18.C | 4 +-
.../g++.dg/cpp1y/constexpr-tracking-const19.C | 4 +-
.../g++.dg/cpp1y/constexpr-tracking-const21.C | 4 +-
.../g++.dg/cpp1y/constexpr-tracking-const22.C | 4 +-
.../g++.dg/cpp1y/constexpr-tracking-const3.C | 3 +-
.../g++.dg/cpp1y/constexpr-tracking-const4.C | 3 +-
.../g++.dg/cpp1y/constexpr-tracking-const7.C | 3 +-
gcc/testsuite/g++.dg/cpp1y/constexpr-union5.C | 4 +-
gcc/testsuite/g++.dg/cpp1y/pr68180.C | 4 +-
.../g++.dg/cpp1z/constexpr-lambda6.C | 4 +-
.../g++.dg/cpp1z/constexpr-lambda8.C | 5 +-
gcc/testsuite/g++.dg/cpp2a/bit-cast11.C | 10 +-
gcc/testsuite/g++.dg/cpp2a/bit-cast12.C | 10 +-
gcc/testsuite/g++.dg/cpp2a/bit-cast14.C | 14 +-
gcc/testsuite/g++.dg/cpp2a/constexpr-98122.C | 4 +-
.../g++.dg/cpp2a/constexpr-dynamic17.C | 5 +-
gcc/testsuite/g++.dg/cpp2a/constexpr-init1.C | 5 +-
gcc/testsuite/g++.dg/cpp2a/constexpr-new12.C | 6 +-
gcc/testsuite/g++.dg/cpp2a/constexpr-new3.C | 10 +-
gcc/testsuite/g++.dg/cpp2a/constinit10.C | 5 +-
.../g++.dg/cpp2a/is-corresponding-member4.C | 4 +-
gcc/testsuite/g++.dg/ext/constexpr-vla2.C | 4 +-
gcc/testsuite/g++.dg/ext/constexpr-vla3.C | 4 +-
gcc/testsuite/g++.dg/ubsan/pr63956.C | 23 +--
.../g++.dg/warn/Wreturn-local-addr-6.C | 3 -
.../25_algorithms/equal/constexpr_neg.cc | 7 +-
.../testsuite/26_numerics/gcd/105844.cc | 10 +-
.../testsuite/26_numerics/lcm/105844.cc | 14 +-
48 files changed, 330 insertions(+), 143 deletions(-)
create mode 100644 gcc/testsuite/g++.dg/cpp1y/constexpr-lifetime1.C
create mode 100644 gcc/testsuite/g++.dg/cpp1y/constexpr-lifetime2.C
create mode 100644 gcc/testsuite/g++.dg/cpp1y/constexpr-lifetime3.C
create mode 100644 gcc/testsuite/g++.dg/cpp1y/constexpr-lifetime4.C
create mode 100644 gcc/testsuite/g++.dg/cpp1y/constexpr-lifetime5.C
--
2.41.0
next reply other threads:[~2023-07-01 3:24 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-07-01 3:24 Nathaniel Shead [this message]
2023-07-01 3:28 ` [PATCH v3 1/3] c++: Track lifetimes in constant evaluation [PR70331,PR96630,PR98675] Nathaniel Shead
2023-07-14 15:16 ` Jason Merrill
2023-07-14 22:40 ` Jason Merrill
2023-07-16 13:47 ` Nathaniel Shead
2023-07-17 16:04 ` Jason Merrill
2023-07-01 3:30 ` [PATCH v3 2/3] c++: Improve constexpr error for dangling local variables Nathaniel Shead
2023-07-01 3:30 ` [PATCH v3 3/3] c++: Improve location information in constant evaluation Nathaniel Shead
2023-07-10 19:23 ` [PATCH v3 0/3] c++: Track lifetimes in constant evaluation [PR70331,...] Patrick Palka
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=ZJ+cdWQ7BSPhrsT1@Thaum.localdomain \
--to=nathanieloshead@gmail.com \
--cc=gcc-patches@gcc.gnu.org \
--cc=ppalka@redhat.com \
/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: link
Be 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).