+2002-07-02 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
+
+ * c-parse.in (parsing_iso_function_signature): New variable.
+ (extdef_1): New, copied from...
+ (extdef): ... here. Reset parsing_iso_function_signature.
+ (old_style_parm_decls): Reset parsing_iso_function_signature.
+ (old_style_parm_decls_1): New, copied from old_style_parm_decls.
+ Warn about ISO C style function definitions.
+ (nested_function, notype_nested_function): Reset
+ parsing_iso_function_signature.
+ (parmlist_2): Set parsing_iso_function_signature.
+
+ * doc/invoke.texi (-Wtraditional): Document new behavior.
+
2002-07-02 Chris Demetriou <cgd@broadcom.com>
* config.gcc (mips*el-*-*): Use tm_defines to set
#define OBJC_NEED_RAW_IDENTIFIER(VAL) /* nothing */
end ifc
+static bool parsing_iso_function_signature;
+
/* Tell yyparse how to print a token's value, if yydebug is set. */
#define YYPRINT(FILE,YYCHAR,YYLVAL) yyprint(FILE,YYCHAR,YYLVAL)
;
extdef:
+ extdef_1
+ { parsing_iso_function_signature = false; } /* Reset after any external definition. */
+
+extdef_1:
fndef
| datadef
ifobjc
end ifobjc
old_style_parm_decls:
+ old_style_parm_decls_1
+ {
+ parsing_iso_function_signature = false; /* Reset after decls. */
+ }
+
+old_style_parm_decls_1:
/* empty */
+ {
+ if (warn_traditional && !in_system_header
+ && parsing_iso_function_signature)
+ warning ("traditional C rejects ISO C style function definitions");
+ parsing_iso_function_signature = false; /* Reset after warning. */
+ }
| datadecls
| datadecls ELLIPSIS
/* ... is used here to indicate a varargs function. */
pop_function_context ();
YYERROR1;
}
+ parsing_iso_function_signature = false; /* Don't warn about nested functions. */
}
old_style_parm_decls
{ store_parm_decls (); }
pop_function_context ();
YYERROR1;
}
+ parsing_iso_function_signature = false; /* Don't warn about nested functions. */
}
old_style_parm_decls
{ store_parm_decls (); }
error ("ISO C requires a named argument before `...'");
}
| parms
- { $$ = get_parm_info (1); }
+ { $$ = get_parm_info (1);
+ parsing_iso_function_signature = true;
+ }
| parms ',' ELLIPSIS
{ $$ = get_parm_info (0); }
;
versa. The absence of these prototypes when compiling with traditional
C would cause serious problems. This is a subset of the possible
conversion warnings, for the full set use @option{-Wconversion}.
+
+@item
+Use of ISO C style function definitions. This warning intentionally is
+@emph{not} issued for prototype declarations or variadic functions
+because these ISO C features will appear in your code when using
+libiberty's traditional C compatibility macros, @code{PARAMS} and
+@code{VPARAMS}. This warning is also bypassed for nested functions
+because that feature is already a gcc extension and thus not relevant to
+traditional C compatibility.
@end itemize
@item -Wundef
+2002-07-02 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
+
+ * gcc.dg/cpp/tr-warn2.c: Use traditional C style function definitions.
+ * gcc.dg/wtr-aggr-init-1.c: Likewise.
+ * gcc.dg/wtr-conversion-1.c: Likewise.
+ * gcc.dg/wtr-escape-1.c: Likewise.
+ * gcc.dg/wtr-int-type-1.c: Likewise.
+ * gcc.dg/wtr-label-1.c: Likewise.
+ * gcc.dg/wtr-static-1.c: Likewise.
+ * gcc.dg/wtr-strcat-1.c: Likewise.
+ * gcc.dg/wtr-suffix-1.c: Likewise.
+ * gcc.dg/wtr-switch-1.c: Likewise.
+ * gcc.dg/wtr-unary-plus-1.c: Likewise.
+ * gcc.dg/wtr-union-init-1.c: Likewise.
+ * gcc.dg/wtr-union-init-2.c: Likewise.
+ * gcc.dg/wtr-union-init-3.c: Likewise.
+
+ * gcc.dg/wtr-func-def-1.c: New test.
+
2002-07-02 Devang Patel <dpatel@apple.com>
* objc.dg/param-1.m: New test.
#define SIGN_EXTEND(v) (((v) < 0) ? -1 : 0)
-int fun(void)
+int fun()
{
return SIGN_EXTEND; /* { dg-warning "must be used with arguments" } */
}
static struct foo f1 = { 0, 0 };
void
-testfunc1 (void)
+testfunc1 ()
{
struct foo f3 = { 0, 0 }; /* { dg-warning "traditional C rejects automatic" "automatic aggregate initialization" } */
static struct foo f4 = { 0, 0 };
static struct foo f8 = { 0, 0 };
void
-testfunc2 (void)
+testfunc2 ()
{
struct foo f9 = { 0, 0 };
static struct foo f10 = { 0, 0 };
extern __complex__ double cd;
void
-testfunc1 (void)
+testfunc1 ()
{
foo_i (i);
foo_i (f); /* { dg-warning "as integer rather than floating" "prototype conversion warning" } */
/* We are in system headers now, no -Wtraditional warnings should issue. */
void
-testfunc2 (void)
+testfunc2 ()
{
foo_i (i);
foo_i (f);
/* { dg-options "-Wtraditional" } */
void
-testfunc (void)
+testfunc ()
{
char c;
--- /dev/null
+/* Test for -Wtraditional warnings on ISO C function definitions.
+ Note, gcc should omit these warnings in system header files.
+ Origin: Kaveh R. Ghazi <ghazi@caip.rutgers.edu> 6/30/2002. */
+/* { dg-do compile } */
+/* { dg-options "-Wtraditional" } */
+
+/* Test some simple cases. */
+
+void f_void1 (void)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ return;
+}
+
+void f_void2 ()
+{
+ return;
+}
+
+void f_int1 (int f)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ return;
+}
+
+void f_int2 (f)
+ int f;
+{
+ return;
+}
+
+/* Test that we don't ever warn about nested functions. */
+
+void f_int3 (int f)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ void f3a (void) { return; }
+ void f3b () { return; }
+ void f3c (int f) { return; }
+ void f3d (f) int f; { return; }
+ void f3e (const char *f, ...) { return; }
+ return;
+}
+
+void f_int4 (int f)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ void f4a (void) { return; }
+ void f4b () { return; }
+ void f4c (int f) { return; }
+ void f4d (f) int f; { return; }
+ void f4e (const char *f, ...) { return; }
+ auto f4f (void) { return 0; }
+ return;
+}
+
+void f_int5 (f)
+ int f;
+{
+ void f5a (void) { return; }
+ void f5b () { return; }
+ void f5c (int f) { return; }
+ void f5d (f) int f; { return; }
+ void f5e (const char *f, ...) { return; }
+ return;
+}
+
+void f_int6 (f)
+ int f;
+{
+ void f6a (void) { return; }
+ void f6b () { return; }
+ void f6c (int f) { return; }
+ void f6d (f) int f; { return; }
+ void f6e (const char *f, ...) { return; }
+ auto f6f (void) { return 0; }
+ return;
+}
+
+/* Test that prototypes are silently accepted and function definitions
+ are still warned about. */
+
+extern void f_int_p1 (int);
+void f_int_p1 (int f)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ return;
+}
+
+extern void f_int_p2 (int f);
+void f_int_p2 (int f)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ return;
+}
+
+extern void f_int_p3 (int);
+void f_int_p3 (f)
+ int f;
+{
+ return;
+}
+
+extern void f_int_p4 (int f);
+void f_int_p4 (f)
+ int f;
+{
+ return;
+}
+
+extern void f_void_p1 ();
+void f_void_p1 (void)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ return;
+}
+
+extern void f_void_p2 (void);
+void f_void_p2 (void)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ return;
+}
+
+extern void f_blank_p1 ();
+void f_blank_p1 ()
+{
+ return;
+}
+
+extern void f_blank_p2 (void);
+void f_blank_p2 ()
+{
+ return;
+}
+
+/* Test some implicit int functions. */
+
+f_impl1()
+{
+ return 0;
+}
+
+f_impl2(void)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ return 0;
+}
+
+f_impl3(int f)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ return 0;
+}
+
+/* Test that we don't warn about stdarg functions. */
+
+f_stdarg1(const char *s, ...)
+{
+ return 0;
+}
+
+void f_stdarg2(const char *s, ...)
+{
+ return;
+}
+
+extern void f_stdarg3(const char *, ...);
+void f_stdarg3(const char *s, ...)
+{
+ return;
+}
+
+/* Test handling function pointer parameters. */
+
+void f_fnptr1 (int f, int (*fp)(int));
+void f_fnptr1 (int f, int (*fp)(int))
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ return;
+}
+
+void f_fnptr2 (int f, int (*fp)(int));
+void f_fnptr2 (f, fp)
+ int f;
+ int (*fp)(int);
+{
+ return;
+}
+
+/* Test for main. */
+
+int
+main (int argc, char **argv)
+{ /* { dg-warning "traditional C rejects ISO C style" } */
+ return 0;
+}
+
+# 182 "sys-header.h" 3
+/* We are in system headers now, no -Wtraditional warnings should issue. */
+
+void fsys1 (void)
+{
+ return;
+}
+
+void fsys2 (int f)
+{
+ return;
+}
+
+void fsys3 (const char *f, ...)
+{
+ return;
+}
/* { dg-options "-std=c99 -Wtraditional" } */
void
-testfunc (void)
+testfunc ()
{
long long i;
typedef int foo5;
void
-testfunc1 (int foo6)
+testfunc1 (foo6)
+ int foo6;
{
int foo7;
/* We are in system headers now, no -Wtraditional warnings should issue. */
void
-testfunc2 (int foo6)
+testfunc2 (foo6)
+ int foo6;
{
int foo7;
/* { dg-options "-Wtraditional" } */
static void testfunc1(void);
-void testfunc1(void) {} /* { dg-warning "non-static.*follows static" "non-static follows static" } */
+void testfunc1() {} /* { dg-warning "non-static.*follows static" "non-static follows static" } */
# 11 "sys-header.h" 3
/* We are in system headers now, no -Wtraditional warnings should issue. */
static void testfunc2(void);
-void testfunc2(void) {}
+void testfunc2() {}
/* { dg-options "-Wtraditional" } */
void
-testfunc (void)
+testfunc ()
{
const char *foo;
/* { dg-options "-Wtraditional" } */
void
-testfunc (void)
+testfunc ()
{
int i;
double f;
/* { dg-options "-Wtraditional" } */
void
-testfunc (long l)
+testfunc (l)
+ long l;
{
switch (l) /* { dg-warning "switch expression" "switch expression" } */
{
/* { dg-options "-Wtraditional" } */
void
-testfunc (void)
+testfunc ()
{
int i;
};
void
-testfunc (void)
+testfunc ()
{
/* Note we only warn for non-zero initializers. */
static union foo f1 = { 0 };
};
void
-testfunc (void)
+testfunc ()
{
/* Note we only warn for non-zero initializers. */
static union foo1 f1 = {0};
};
void
-testfunc (void)
+testfunc ()
{
/* Note we only warn for non-zero initializers. Xfail on substructures. */
static union foo f1 = {{0,0}}; /* { dg-bogus "traditional C rejects initialization of unions" "initialization of unions" { xfail *-*-* } } */
projects / gcc.git / commitdiff