diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/c-family/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/c-family/c-common.c | 14 |
2 files changed, 7 insertions, 12 deletions
diff --git a/gcc/c-family/ChangeLog b/gcc/c-family/ChangeLog index b6876d4..157adc9 100644 --- a/gcc/c-family/ChangeLog +++ b/gcc/c-family/ChangeLog @@ -1,5 +1,10 @@ 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 * c-common.c (build_va_arg): Add first argument error. Build va_arg with error_mark_node as va_list instead of with illegal va_list. diff --git a/gcc/c-family/c-common.c b/gcc/c-family/c-common.c index eef8674..3d4e97b 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 { |