public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r13-860] c++: Add !TYPE_P assert to type_dependent_expression_p [PR99080]
@ 2022-05-30 21:17 Marek Polacek
0 siblings, 0 replies; only message in thread
From: Marek Polacek @ 2022-05-30 21:17 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:ff91735a5b861dd6eaf2c1e511f26a9255898e7d
commit r13-860-gff91735a5b861dd6eaf2c1e511f26a9255898e7d
Author: Marek Polacek <polacek@redhat.com>
Date: Fri May 13 20:09:53 2022 -0400
c++: Add !TYPE_P assert to type_dependent_expression_p [PR99080]
As discussed here:
<https://gcc.gnu.org/pipermail/gcc-patches/2021-February/564629.html>,
type_dependent_expression_p should not be called with a type argument.
I promised I'd add an assert so here it is. One place needed adjusting.
PR c++/99080
gcc/cp/ChangeLog:
* pt.cc (type_dependent_expression_p): Assert !TYPE_P.
* semantics.cc (finish_id_expression_1): Handle UNBOUND_CLASS_TEMPLATE
specifically.
Diff:
---
gcc/cp/pt.cc | 2 ++
gcc/cp/semantics.cc | 9 +++++++++
2 files changed, 11 insertions(+)
diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc
index f1f080531a6..f573ca834b2 100644
--- a/gcc/cp/pt.cc
+++ b/gcc/cp/pt.cc
@@ -27734,6 +27734,8 @@ type_dependent_expression_p (tree expression)
if (expression == NULL_TREE || expression == error_mark_node)
return false;
+ gcc_checking_assert (!TYPE_P (expression));
+
STRIP_ANY_LOCATION_WRAPPER (expression);
/* An unresolved name is always dependent. */
diff --git a/gcc/cp/semantics.cc b/gcc/cp/semantics.cc
index cdc91a38e25..1d012d60724 100644
--- a/gcc/cp/semantics.cc
+++ b/gcc/cp/semantics.cc
@@ -4139,6 +4139,15 @@ finish_id_expression_1 (tree id_expression,
}
return r;
}
+ else if (TREE_CODE (decl) == UNBOUND_CLASS_TEMPLATE)
+ {
+ gcc_checking_assert (scope);
+ *idk = CP_ID_KIND_QUALIFIED;
+ cp_warn_deprecated_use_scopes (scope);
+ decl = finish_qualified_id_expr (scope, decl, done, address_p,
+ template_p, template_arg_p,
+ tf_warning_or_error);
+ }
else
{
bool dependent_p = type_dependent_expression_p (decl);
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-05-30 21:17 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-30 21:17 [gcc r13-860] c++: Add !TYPE_P assert to type_dependent_expression_p [PR99080] Marek Polacek
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).