c++: Add !TYPE_P assert to type_dependent_expression_p [PR99080]
authorMarek Polacek <polacek@redhat.com>
Sat, 14 May 2022 00:09:53 +0000 (20:09 -0400)
committerMarek Polacek <polacek@redhat.com>
Mon, 30 May 2022 21:10:51 +0000 (17:10 -0400)
commitff91735a5b861dd6eaf2c1e511f26a9255898e7d
tree0501a6d8dd808ea0a7b8c10677906464309ddde3
parent1ad584d538d349db13cfa8440222d91d5e9aff3f
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.
gcc/cp/pt.cc
gcc/cp/semantics.cc