* gcc.dg/pr65901.c (foo): Adjust dg-error.
* gcc.c-torture/compile/pr48767.c (foo): Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@222626
138bc75d-0d04-0410-961f-
82ee72b054a4
* c-typeck.c (c_incomplete_type_error): Refactor to use %qT. Print
the type of a decl.
+ * c-typeck.c (c_build_va_arg): Clarify the error message.
+
2015-04-29 Thomas Schwinge <thomas@codesourcery.com>
* c-parser.c (c_parser_oacc_enter_exit_data): Use
tree
c_build_va_arg (location_t loc, tree expr, tree type)
{
- if (warn_cxx_compat && TREE_CODE (type) == ENUMERAL_TYPE)
- warning_at (loc, OPT_Wc___compat,
- "C++ requires promoted type, not enum type, in %<va_arg%>");
- if (type == error_mark_node || !COMPLETE_TYPE_P (type))
+ if (error_operand_p (type))
+ return error_mark_node;
+ else if (!COMPLETE_TYPE_P (type))
{
- c_incomplete_type_error (NULL_TREE, type);
+ error_at (loc, "second argument to %<va_arg%> is of incomplete "
+ "type %qT", type);
return error_mark_node;
}
+ else if (warn_cxx_compat && TREE_CODE (type) == ENUMERAL_TYPE)
+ warning_at (loc, OPT_Wc___compat,
+ "C++ requires promoted type, not enum type, in %<va_arg%>");
return build_va_arg (loc, expr, type);
}
* c-c++-common/Wbool-compare-3.c: New test.
+ * gcc.dg/pr65901.c (foo): Adjust dg-error.
+ * gcc.c-torture/compile/pr48767.c (foo): Likewise.
+
2015-04-30 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/57610
void
foo (__builtin_va_list ap)
{
- __builtin_va_arg (ap, void); /* { dg-error "invalid use of void expression" } */
+ __builtin_va_arg (ap, void); /* { dg-error "second argument to .va_arg. is of incomplete type .void." } */
}
void
foo (__builtin_va_list ap)
{
- __builtin_va_arg (ap, void); /* { dg-error "invalid use of void expression" } */
- __builtin_va_arg (ap, struct S); /* { dg-error "invalid use of undefined type" } */
- __builtin_va_arg (ap, enum E); /* { dg-error "invalid use of undefined type" } */
- __builtin_va_arg (ap, union U); /* { dg-error "invalid use of undefined type" } */
+ __builtin_va_arg (ap, void); /* { dg-error "second argument to .va_arg. is of incomplete type .void." } */
+ __builtin_va_arg (ap, struct S); /* { dg-error "second argument to .va_arg. is of incomplete type .struct S." } */
+ __builtin_va_arg (ap, enum E); /* { dg-error "second argument to .va_arg. is of incomplete type .enum E." } */
+ __builtin_va_arg (ap, union U); /* { dg-error "second argument to .va_arg. is of incomplete type .union U." } */
}