[Bug c++/85695] [8/9 Regression] if constexpr misevaluates typedefed type value

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85695

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org
   Target Milestone|---                         |8.2

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Started with r258756

            PR c++/84854
            * semantics.c (finish_if_stmt_cond): Check if the type of the
condition
            is boolean.

            * g++.dg/cpp1z/constexpr-if15.C: New test.
            * g++.dg/cpp1z/constexpr-if16.C: New test.