diff options
author | Marek Polacek <polacek@redhat.com> | 2022-05-13 20:09:53 -0400 |
---|---|---|
committer | Marek Polacek <polacek@redhat.com> | 2022-05-30 17:10:51 -0400 |
commit | ff91735a5b861dd6eaf2c1e511f26a9255898e7d (patch) | |
tree | 0501a6d8dd808ea0a7b8c10677906464309ddde3 /gcc/cp/pt.cc | |
parent | 1ad584d538d349db13cfa8440222d91d5e9aff3f (diff) | |
download | gcc-ff91735a5b861dd6eaf2c1e511f26a9255898e7d.zip gcc-ff91735a5b861dd6eaf2c1e511f26a9255898e7d.tar.gz gcc-ff91735a5b861dd6eaf2c1e511f26a9255898e7d.tar.bz2 |
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.
Diffstat (limited to 'gcc/cp/pt.cc')
-rw-r--r-- | gcc/cp/pt.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc index f1f0805..f573ca8 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. */ |