c++: gcc_assert(false) replaced with gcc_unreachable()

gcc/cp/ChangeLog:
	* pt.cc (tsubst_expr): Use gcc_unreachable, not gcc_assert.
	* parser.cc (cp_parser_template_id): Likewise.
	* reflect.cc (eval_template_of): Likewise.

Signed-off-by: Yang Kun <yangkun@disroot.org>

diff --git a/gcc/cp/parser.cc b/gcc/cp/parser.cc
index 7496a32f6c7d1aba3a5dd0f8145ef11031d319d0..62ae24f559bdab1605713c017acdd9b517889de8 100644 (file)
--- a/gcc/cp/parser.cc
+++ b/gcc/cp/parser.cc
@@ -21337,7 +21337,7 @@ cp_parser_template_id (cp_parser *parser,
          return error_mark_node;
        }
       else
-       gcc_assert (false);
+       gcc_unreachable ();
 
       template_id = lookup_template_function (templ, arguments);
       if (TREE_CODE (template_id) == TEMPLATE_ID_EXPR)

diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc
index 70418e05f9150476b66f3ac52e31bbfb7616d855..c10ca09cdb166d1f9bb26d7843c7cdac76669dea 100644 (file)
--- a/gcc/cp/pt.cc
+++ b/gcc/cp/pt.cc
@@ -22367,7 +22367,7 @@ tsubst_expr (tree t, tree args, tsubst_flags_t complain, tree in_decl)
                                                 complain);
        else if (concept_check_p (function))
          /* Calls to concepts should have been previously diagnosed.  */
-         gcc_assert (false);
+         gcc_unreachable ();
        else
          ret = finish_call_expr (function, &call_args,
                                  /*disallow_virtual=*/qualified_p,

diff --git a/gcc/cp/reflect.cc b/gcc/cp/reflect.cc
index 2baeced1e96227ac272901ae31949f19ef69e9f5..3c0e029975d94f64d5d2ec2769cdb8831b32df20 100644 (file)
--- a/gcc/cp/reflect.cc
+++ b/gcc/cp/reflect.cc
@@ -2912,7 +2912,7 @@ eval_template_of (location_t loc, const constexpr_ctx *ctx, tree r,
   else if (VAR_OR_FUNCTION_DECL_P (r) && DECL_TEMPLATE_INFO (r))
     r = DECL_TI_TEMPLATE (r);
   else
-    gcc_assert (false);
+    gcc_unreachable ();
 
   gcc_assert (TREE_CODE (r) == TEMPLATE_DECL);
   return get_reflection_raw (loc, r);