From: Marek Polacek <polacek@redhat.com>
Date: Wed, 17 Mar 2021 23:39:10 +0000 (-0400)
Subject: c++: Add assert to tsubst.
X-Git-Tag: basepoints/gcc-12~534
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c5e55673b486533c4d6d19ac903460f70b48f11a;p=thirdparty%2Fgcc.git

c++: Add assert to tsubst.

As discussed in the r11-7709 patch, we can now make sure that tsubst
never sees a FLOAT_EXPR, much like its counterpart FIX_TRUNC_EXPR.

gcc/cp/ChangeLog:

	* pt.c (tsubst_copy_and_build): Add assert.
---

diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 5e485f10d19f..ea530ef36f45 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -19770,6 +19770,8 @@ tsubst_copy_and_build (tree t,
 				complain|decltype_flag));
 
     case FIX_TRUNC_EXPR:
+    case FLOAT_EXPR:
+      /* convert_like should have created an IMPLICIT_CONV_EXPR.  */
       gcc_unreachable ();
 
     case ADDR_EXPR: