diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 34aafc2c59d92a6a72d3c0a74b905bf91ee84ef5..b5179a3a714731fb33c61aec8a6f999ab16a15e1 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,9 @@ +2015-10-21 Marek Polacek <polacek@redhat.com> + + PR c/68024 + * c-decl.c (start_function): Warn about vararg functions without + a prototype. + 2015-10-21 Ilya Enkovich <enkovich.gnu@gmail.com> * c-typeck.c (build_conditional_expr): Use boolean vector diff --git a/gcc/c/c-decl.c b/gcc/c/c-decl.c index ce8406a13e47070579a5cc6ac3925ccad689cb96..4a0e090dbd07df4baa16ab276d19fbdea4777cfa 100644 --- a/gcc/c/c-decl.c +++ b/gcc/c/c-decl.c @@ -8328,6 +8328,12 @@ start_function (struct c_declspecs *declspecs, struct c_declarator *declarator, && comptypes (TREE_TYPE (TREE_TYPE (decl1)), TREE_TYPE (TREE_TYPE (old_decl)))) { + if (stdarg_p (TREE_TYPE (old_decl))) + { + warning_at (loc, 0, "%q+D defined as variadic function " + "without prototype", decl1); + locate_old_decl (old_decl); + } TREE_TYPE (decl1) = composite_type (TREE_TYPE (old_decl), TREE_TYPE (decl1)); current_function_prototype_locus = DECL_SOURCE_LOCATION (old_decl); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index db0f89665a29c0ed8cd0c730e58508ec8c3d956e..4f10616178a8b97fe2ab99d0e7bb334996543e9f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2015-10-21 Marek Polacek <polacek@redhat.com> + + PR c/68024 + * gcc.dg/pr68024.c: New test. + 2015-10-21 Nathan Sidwell <nathan@codesourcery.com> * c-c++-common/goacc/clauses-fail.c: Adjust errors. diff --git a/gcc/testsuite/gcc.dg/pr68024.c b/gcc/testsuite/gcc.dg/pr68024.c new file mode 100644 index 0000000000000000000000000000000000000000..a750917702f00277456ad3913df3b0bf8d96ba2e --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr68024.c @@ -0,0 +1,5 @@ +/* PR c/68024 */ +/* { dg-do compile } */ + +void f (int, ...); +void f (a) int a; {} /* { dg-warning "defined as variadic function without prototype" } */