From: Tom de Vries <tom@codesourcery.com>
Date: Mon, 29 Aug 2016 16:41:42 +0000 (+0000)
Subject: Replace error_at with assert in build_va_arg
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f162d717123453da23ee76c8b2aab1572211fb9c;p=gcc.git

Replace error_at with assert in build_va_arg

2016-08-29  Tom de Vries  <tom@codesourcery.com>

	* c-common.c (build_va_arg): Replace first argument type error
	with assert.

From-SVN: r239828
---

diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog
index b6876d4bae0..157adc91e65 100644
--- a/gcc/c-family/ChangeLog
+++ b/gcc/c-family/ChangeLog
@@ -1,3 +1,8 @@
+2016-08-29  Tom de Vries  <tom@codesourcery.com>
+
+	* c-common.c (build_va_arg): Replace first argument type error
+	with assert.
+
 2016-08-29  Tom de Vries  <tom@codesourcery.com>
 
 	PR c/77398
diff --git a/gcc/c-family/c-common.c b/gcc/c-family/c-common.c
index eef86744038..3d4e97b8f8f 100644
--- a/gcc/c-family/c-common.c
+++ b/gcc/c-family/c-common.c
@@ -5832,12 +5832,7 @@ build_va_arg (location_t loc, tree expr, tree type)
       /* Verify that &ap is still recognized as having va_list type.  */
       tree canon_expr_type
 	= targetm.canonical_va_list_type (TREE_TYPE (expr));
-      if (canon_expr_type == NULL_TREE)
-	{
-	  error_at (loc,
-		    "first argument to %<va_arg%> not of type %<va_list%>");
-	  return error_mark_node;
-	}
+      gcc_assert (canon_expr_type != NULL_TREE);
 
       return build_va_arg_1 (loc, type, expr);
     }
@@ -5905,12 +5900,7 @@ build_va_arg (location_t loc, tree expr, tree type)
       /* Verify that &ap is still recognized as having va_list type.  */
       tree canon_expr_type
 	= targetm.canonical_va_list_type (TREE_TYPE (expr));
-      if (canon_expr_type == NULL_TREE)
-	{
-	  error_at (loc,
-		    "first argument to %<va_arg%> not of type %<va_list%>");
-	  return error_mark_node;
-	}
+      gcc_assert (canon_expr_type != NULL_TREE);
     }
   else
     {