From: Joseph Myers Date: Sun, 6 Aug 2000 18:12:49 +0000 (+0100) Subject: c-common.h (enum c_tree_index): Add CTI_SIGNED_SIZE_TYPE and CTI_UNSIGNED_PTRDIFF_TYPE. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cd7324181ab0c926357153f8031abfebc1dc8659;p=gcc.git c-common.h (enum c_tree_index): Add CTI_SIGNED_SIZE_TYPE and CTI_UNSIGNED_PTRDIFF_TYPE. * c-common.h (enum c_tree_index): Add CTI_SIGNED_SIZE_TYPE and CTI_UNSIGNED_PTRDIFF_TYPE. (signed_size_type_node): Define. (unsigned_ptrdiff_type_node): Define. * c-decl.c (init_decl_processing): Create the signed_size_type_node and unsigned_ptrdiff_type_node types. * c-common.c (T_SC): Define. (T_SST): Define. (T_UPD): Define. (print_char_table): Use T_SST for %zd, %zi, %zn. Use T_UPD for %to, %tu, %tx, %tX. Allow %hhn (T_SC). Add "c" to the flags for %s and %p. (scan_char_table): Use T_SC for %hhd, %hhi, %hhn. Use T_SST for %zd, %zi, %zn. Use T_UPD for %to, %tu, %tx, %tX. Add "c" to the flags for %c, %s and %[. (check_format_info): Only allow leniency for signedness of targets of character pointers (when pedantic) for formats flagged with "c", so for strings but not for %hh formats. When pedantic, don't allow character pointers to substitute for void pointers if a second level of indirection is present. testsuite: * gcc.dg/c99-printf-1.c: New test. From-SVN: r35530 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 580c70fdcdd..3c28983c1c7 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,26 @@ +2000-08-06 Joseph S. Myers + + * c-common.h (enum c_tree_index): Add CTI_SIGNED_SIZE_TYPE and + CTI_UNSIGNED_PTRDIFF_TYPE. + (signed_size_type_node): Define. + (unsigned_ptrdiff_type_node): Define. + * c-decl.c (init_decl_processing): Create the + signed_size_type_node and unsigned_ptrdiff_type_node types. + * c-common.c (T_SC): Define. + (T_SST): Define. + (T_UPD): Define. + (print_char_table): Use T_SST for %zd, %zi, %zn. Use T_UPD for + %to, %tu, %tx, %tX. Allow %hhn (T_SC). Add "c" to the flags for + %s and %p. + (scan_char_table): Use T_SC for %hhd, %hhi, %hhn. Use T_SST for + %zd, %zi, %zn. Use T_UPD for %to, %tu, %tx, %tX. Add "c" to the + flags for %c, %s and %[. + (check_format_info): Only allow leniency for signedness of targets + of character pointers (when pedantic) for formats flagged with + "c", so for strings but not for %hh formats. When pedantic, don't + allow character pointers to substitute for void pointers if a + second level of indirection is present. + 2000-08-06 Kazu Hirata * invoke.texi (Options for Debugging Your Program or GCC): Update diff --git a/gcc/c-common.c b/gcc/c-common.c index 64df897524f..b72f8f1cde8 100644 --- a/gcc/c-common.c +++ b/gcc/c-common.c @@ -1190,12 +1190,15 @@ strip_attrs (specs_attrs) #define T_D &double_type_node #define T_LD &long_double_type_node #define T_C &char_type_node +#define T_SC &signed_char_type_node #define T_UC &unsigned_char_type_node #define T_V &void_type_node #define T_W &wchar_type_node #define T_WI &wint_type_node #define T_ST &sizetype +#define T_SST &signed_size_type_node #define T_PD &ptrdiff_type_node +#define T_UPD &unsigned_ptrdiff_type_node #define T_IM NULL /* intmax_t not yet implemented. */ #define T_UIM NULL /* uintmax_t not yet implemented. */ @@ -1233,33 +1236,33 @@ typedef struct { } format_char_info; static format_char_info print_char_table[] = { - { "di", 0, T_I, T_I, T_I, T_L, T_LL, T_LL, T_ST, T_PD, T_IM, "-wp0 +'" }, - { "oxX", 0, T_UI, T_UI, T_UI, T_UL, T_ULL, T_ULL, T_ST, T_PD, T_UIM, "-wp0#" }, - { "u", 0, T_UI, T_UI, T_UI, T_UL, T_ULL, T_ULL, T_ST, T_PD, T_UIM, "-wp0'" }, + { "di", 0, T_I, T_I, T_I, T_L, T_LL, T_LL, T_SST, T_PD, T_IM, "-wp0 +'" }, + { "oxX", 0, T_UI, T_UI, T_UI, T_UL, T_ULL, T_ULL, T_ST, T_UPD, T_UIM, "-wp0#" }, + { "u", 0, T_UI, T_UI, T_UI, T_UL, T_ULL, T_ULL, T_ST, T_UPD, T_UIM, "-wp0'" }, /* A GNU extension. */ { "m", 0, T_V, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, "-wp" }, { "fFgG", 0, T_D, NULL, NULL, T_D, NULL, T_LD, NULL, NULL, NULL, "-wp0 +#'" }, { "eEaA", 0, T_D, NULL, NULL, T_D, NULL, T_LD, NULL, NULL, NULL, "-wp0 +#" }, { "c", 0, T_I, NULL, NULL, T_WI, NULL, NULL, NULL, NULL, NULL, "-w" }, { "C", 0, T_WI, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, "-w" }, - { "s", 1, T_C, NULL, NULL, T_W, NULL, NULL, NULL, NULL, NULL, "-wp" }, + { "s", 1, T_C, NULL, NULL, T_W, NULL, NULL, NULL, NULL, NULL, "-wpc" }, { "S", 1, T_W, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, "-wp" }, - { "p", 1, T_V, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, "-w" }, - { "n", 1, T_I, NULL, T_S, T_L, T_LL, NULL, T_ST, T_PD, T_IM, "" }, + { "p", 1, T_V, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, "-wc" }, + { "n", 1, T_I, T_SC, T_S, T_L, T_LL, NULL, T_SST, T_PD, T_IM, "" }, { NULL, 0, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL } }; static format_char_info scan_char_table[] = { - { "di", 1, T_I, T_C, T_S, T_L, T_LL, T_LL, T_ST, T_PD, T_IM, "*" }, - { "ouxX", 1, T_UI, T_UC, T_US, T_UL, T_ULL, T_ULL, T_ST, T_PD, T_UIM, "*" }, + { "di", 1, T_I, T_SC, T_S, T_L, T_LL, T_LL, T_SST, T_PD, T_IM, "*" }, + { "ouxX", 1, T_UI, T_UC, T_US, T_UL, T_ULL, T_ULL, T_ST, T_UPD, T_UIM, "*" }, { "efFgEGaA", 1, T_F, NULL, NULL, T_D, NULL, T_LD, NULL, NULL, NULL, "*" }, - { "c", 1, T_C, NULL, NULL, T_W, NULL, NULL, NULL, NULL, NULL, "*" }, - { "s", 1, T_C, NULL, NULL, T_W, NULL, NULL, NULL, NULL, NULL, "*a" }, - { "[", 1, T_C, NULL, NULL, T_W, NULL, NULL, NULL, NULL, NULL, "*a" }, + { "c", 1, T_C, NULL, NULL, T_W, NULL, NULL, NULL, NULL, NULL, "*c" }, + { "s", 1, T_C, NULL, NULL, T_W, NULL, NULL, NULL, NULL, NULL, "*ac" }, + { "[", 1, T_C, NULL, NULL, T_W, NULL, NULL, NULL, NULL, NULL, "*ac" }, { "C", 1, T_W, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, "*" }, { "S", 1, T_W, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, "*a" }, { "p", 2, T_V, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, "*" }, - { "n", 1, T_I, T_C, T_S, T_L, T_LL, NULL, T_ST, T_PD, T_IM, "" }, + { "n", 1, T_I, T_SC, T_S, T_L, T_LL, NULL, T_SST, T_PD, T_IM, "" }, { NULL, 0, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL } }; @@ -2074,8 +2077,10 @@ check_format_info (info, params) || (DECL_P (cur_param) && TREE_READONLY (cur_param)))))) warning ("writing into constant object (arg %d)", arg_num); - /* Check whether the argument type is a character type. */ - if (TREE_CODE (cur_type) != ERROR_MARK) + /* Check whether the argument type is a character type. This leniency + only applies to certain formats, flagged with 'c'. + */ + if (TREE_CODE (cur_type) != ERROR_MARK && index (fci->flag_chars, 'c') != 0) char_type_flag = (TYPE_MAIN_VARIANT (cur_type) == char_type_node || TYPE_MAIN_VARIANT (cur_type) == signed_char_type_node || TYPE_MAIN_VARIANT (cur_type) == unsigned_char_type_node); @@ -2093,7 +2098,7 @@ check_format_info (info, params) && fci->pointer_count > 0 && (! pedantic || TYPE_MAIN_VARIANT (cur_type) == void_type_node - || char_type_flag)) + || (i == 1 && char_type_flag))) /* Don't warn about differences merely in signedness, unless -pedantic. With -pedantic, warn if the type is a pointer target and not a character type, and for character types at @@ -2109,8 +2114,7 @@ check_format_info (info, params) equivalent but the above test won't consider them equivalent. */ && ! (wanted_type == char_type_node && (! pedantic || i < 2) - && (TYPE_MAIN_VARIANT (cur_type) == signed_char_type_node - || TYPE_MAIN_VARIANT (cur_type) == unsigned_char_type_node))) + && char_type_flag)) { register const char *this; register const char *that; diff --git a/gcc/c-common.h b/gcc/c-common.h index 9033a3ada39..50823df10f7 100644 --- a/gcc/c-common.h +++ b/gcc/c-common.h @@ -92,6 +92,8 @@ enum c_tree_index CTI_SIGNED_WCHAR_TYPE, CTI_UNSIGNED_WCHAR_TYPE, CTI_WINT_TYPE, + CTI_SIGNED_SIZE_TYPE, /* For format checking only. */ + CTI_UNSIGNED_PTRDIFF_TYPE, /* For format checking only. */ CTI_WIDEST_INT_LIT_TYPE, CTI_WIDEST_UINT_LIT_TYPE, @@ -124,6 +126,8 @@ enum c_tree_index #define signed_wchar_type_node c_global_trees[CTI_SIGNED_WCHAR_TYPE] #define unsigned_wchar_type_node c_global_trees[CTI_UNSIGNED_WCHAR_TYPE] #define wint_type_node c_global_trees[CTI_WINT_TYPE] +#define signed_size_type_node c_global_trees[CTI_SIGNED_SIZE_TYPE] +#define unsigned_ptrdiff_type_node c_global_trees[CTI_UNSIGNED_PTRDIFF_TYPE] #define widest_integer_literal_type_node c_global_trees[CTI_WIDEST_INT_LIT_TYPE] #define widest_unsigned_literal_type_node c_global_trees[CTI_WIDEST_UINT_LIT_TYPE] diff --git a/gcc/c-decl.c b/gcc/c-decl.c index 6d08dfc2502..1f773d92107 100644 --- a/gcc/c-decl.c +++ b/gcc/c-decl.c @@ -3003,6 +3003,7 @@ init_decl_processing () Note that stddef.h uses `unsigned long', and this must agree, even if long and int are the same size. */ t = TREE_TYPE (IDENTIFIER_GLOBAL_VALUE (get_identifier (SIZE_TYPE))); + signed_size_type_node = signed_type (t); if (flag_traditional && TREE_UNSIGNED (t)) t = signed_type (t); @@ -3086,6 +3087,7 @@ init_decl_processing () = build_function_type (integer_type_node, NULL_TREE); ptrdiff_type_node = TREE_TYPE (IDENTIFIER_GLOBAL_VALUE (get_identifier (PTRDIFF_TYPE))); + unsigned_ptrdiff_type_node = unsigned_type (ptrdiff_type_node); c_common_nodes_and_builtins (0, flag_no_builtin, flag_no_nonansi_builtin); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3581df5476a..ac887f68f5a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2000-08-06 Joseph S. Myers + + * gcc.dg/c99-printf-1.c: New test. + 2000-08-06 Joseph S. Myers * gcc.c-torture/execute/20000801-4.x: Only xfail on x86. diff --git a/gcc/testsuite/gcc.dg/c99-printf-1.c b/gcc/testsuite/gcc.dg/c99-printf-1.c new file mode 100644 index 00000000000..2e69399a633 --- /dev/null +++ b/gcc/testsuite/gcc.dg/c99-printf-1.c @@ -0,0 +1,217 @@ +/* Test for printf formats. Formats using C99 features, including cases + where C99 specifies some aspect of the format to be ignored or where + the behaviour is undefined. +*/ +/* Origin: Joseph Myers */ +/* { dg-do compile } */ +/* { dg-options "-std=iso9899:1999 -pedantic -Wformat" } */ + +typedef __WCHAR_TYPE__ wchar_t; +typedef __WINT_TYPE__ wint_t; +typedef __SIZE_TYPE__ size_t; +typedef __PTRDIFF_TYPE__ ptrdiff_t; + +/* Kludge to get signed type corresponding to size_t. */ +#define unsigned signed +typedef __SIZE_TYPE__ signed_size_t; +#undef unsigned + +/* These next definitions are broken. When GCC has a and + an internal understanding of intmax_t and uintmax_t, they should be + replaced by an include of or by definitions for internal + macros or typedefs, and the corresponding xfails removed. +*/ +typedef long long int intmax_t; +typedef unsigned long long int uintmax_t; + +extern int printf (const char *, ...); + +#define NULL ((void *)0) + +void +foo (int i, unsigned int u, double d, char *s, void *p, int *n, + long double ld, wint_t lc, wchar_t *ls, long long int ll, + unsigned long long int ull, signed char *ss, unsigned char *us, + long long int *lln, intmax_t j, uintmax_t uj, intmax_t *jn, + size_t z, signed_size_t sz, signed_size_t *zn, + ptrdiff_t t, ptrdiff_t *tn) +{ + /* See ISO/IEC 9899:1999 (E) subclause 7.19.6.1 (pages 273-281). + We do not repeat here most of the checks for correct C90 formats + or completely broken formats. + */ + /* Valid and invalid %h, %hh, %l, %ll, %j, %z, %t, %L constructions. */ + printf ("%hf", d); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%hF", d); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%he", d); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%hE", d); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%hg", d); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%hG", d); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%ha", d); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%hA", d); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%hc", i); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%hs", s); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%hp", p); /* { dg-warning "length character" "bad use of %h" } */ + printf ("%hhd%hhi%hho%hhu%hhx%hhX", i, i, u, u, u, u); + printf ("%hhn", ss); + printf ("%hhf", d); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%hhF", d); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%hhe", d); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%hhE", d); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%hhg", d); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%hhG", d); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%hha", d); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%hhA", d); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%hhc", i); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%hhs", s); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%hhp", p); /* { dg-warning "length character" "bad use of %hh" } */ + printf ("%lc", lc); + printf ("%ls", ls); + printf ("%lf%lF%le%lE%lg%lG%la%lA", d, d, d, d, d, d, d, d); + printf ("%lp", p); /* { dg-warning "length character|C" "bad use of %l" } */ + printf ("%lld%lli%llo%llu%llx%llX", ll, ll, ull, ull, ull, ull); + printf ("%lln", lln); + printf ("%llf", d); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%llF", d); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%lle", d); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%llE", d); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%llg", d); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%llG", d); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%lla", d); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%llA", d); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%llc", i); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%lls", s); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%llp", p); /* { dg-warning "length character" "bad use of %ll" } */ + printf ("%jd%ji%jo%ju%jx%jX", j, j, uj, uj, uj, uj); /* { dg-bogus "length character" "bogus %j warning" { xfail *-*-* } } */ + printf ("%jn", jn); /* { dg-bogus "length character" "bogus %j warning" { xfail *-*-* } } */ + printf ("%jf", d); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%jF", d); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%je", d); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%jE", d); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%jg", d); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%jG", d); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%ja", d); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%jA", d); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%jc", i); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%js", s); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%jp", p); /* { dg-warning "length character" "bad use of %j" } */ + printf ("%zd%zi%zo%zu%zx%zX", sz, sz, z, z, z, z); + printf ("%zn", zn); + printf ("%zf", d); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%zF", d); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%ze", d); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%zE", d); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%zg", d); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%zG", d); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%za", d); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%zA", d); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%zc", i); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%zs", s); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%zp", p); /* { dg-warning "length character" "bad use of %z" } */ + printf ("%td%ti%to%tu%tx%tX", t, t, t, t, t, t); + printf ("%tn", tn); + printf ("%tf", d); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%tF", d); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%te", d); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%tE", d); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%tg", d); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%tG", d); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%ta", d); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%tA", d); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%tc", i); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%ts", s); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%tp", p); /* { dg-warning "length character" "bad use of %t" } */ + printf ("%Le%LE%Lf%LF%Lg%LG%La%LA", ld, ld, ld, ld, ld, ld, ld, ld); + /* These next six are accepted by GCC as referring to long long, + but -pedantic correctly warns. + */ + printf ("%Ld", ll); /* { dg-warning "does not support" "bad use of %L" } */ + printf ("%Li", ll); /* { dg-warning "does not support" "bad use of %L" } */ + printf ("%Lo", ull); /* { dg-warning "does not support" "bad use of %L" } */ + printf ("%Lu", ull); /* { dg-warning "does not support" "bad use of %L" } */ + printf ("%Lx", ull); /* { dg-warning "does not support" "bad use of %L" } */ + printf ("%LX", ull); /* { dg-warning "does not support" "bad use of %L" } */ + printf ("%Lc", i); /* { dg-warning "length character" "bad use of %L" } */ + printf ("%Ls", s); /* { dg-warning "length character" "bad use of %L" } */ + printf ("%Lp", p); /* { dg-warning "length character" "bad use of %L" } */ + printf ("%Ln", n); /* { dg-warning "length character" "bad use of %L" } */ + /* Valid uses of each bare conversion. */ + printf ("%d%i%o%u%x%X%f%F%e%E%g%G%a%A%c%s%p%n%%", i, i, u, u, u, u, + d, d, d, d, d, d, d, d, i, s, p, n); + /* Uses of the - flag (valid on all non-%, non-n conversions). */ + printf ("%-d%-i%-o%-u%-x%-X%-f%-F%-e%-E%-g%-G%-a%-A%-c%-s%-p", i, i, + u, u, u, u, d, d, d, d, d, d, d, d, i, s, p); + printf ("%-n", n); /* { dg-warning "flag" "bad use of %-n" } */ + /* Uses of the + flag (valid on signed conversions only). */ + printf ("%+d%+i%+f%+F%+e%+E%+g%+G%+a%+A\n", i, i, d, d, d, d, d, d, d, d); + printf ("%+o", u); /* { dg-warning "flag" "bad use of + flag" } */ + printf ("%+u", u); /* { dg-warning "flag" "bad use of + flag" } */ + printf ("%+x", u); /* { dg-warning "flag" "bad use of + flag" } */ + printf ("%+X", u); /* { dg-warning "flag" "bad use of + flag" } */ + printf ("%+c", i); /* { dg-warning "flag" "bad use of + flag" } */ + printf ("%+s", s); /* { dg-warning "flag" "bad use of + flag" } */ + printf ("%+p", p); /* { dg-warning "flag" "bad use of + flag" } */ + printf ("%+n", n); /* { dg-warning "flag" "bad use of + flag" } */ + /* Uses of the space flag (valid on signed conversions only, and ignored + with +). + */ + printf ("% +d", i); /* { dg-warning "use of both" "use of space and + flags" } */ + printf ("%+ d", i); /* { dg-warning "use of both" "use of space and + flags" } */ + printf ("% d% i% f% F% e% E% g% G% a% A\n", i, i, d, d, d, d, d, d, d, d); + printf ("% o", u); /* { dg-warning "flag" "bad use of space flag" } */ + printf ("% u", u); /* { dg-warning "flag" "bad use of space flag" } */ + printf ("% x", u); /* { dg-warning "flag" "bad use of space flag" } */ + printf ("% X", u); /* { dg-warning "flag" "bad use of space flag" } */ + printf ("% c", i); /* { dg-warning "flag" "bad use of space flag" } */ + printf ("% s", s); /* { dg-warning "flag" "bad use of space flag" } */ + printf ("% p", p); /* { dg-warning "flag" "bad use of space flag" } */ + printf ("% n", n); /* { dg-warning "flag" "bad use of space flag" } */ + /* Uses of the # flag. */ + printf ("%#o%#x%#X%#e%#E%#f%#F%#g%#G%#a%#A", u, u, u, d, d, d, d, + d, d, d, d); + printf ("%#d", i); /* { dg-warning "flag" "bad use of # flag" } */ + printf ("%#i", i); /* { dg-warning "flag" "bad use of # flag" } */ + printf ("%#u", u); /* { dg-warning "flag" "bad use of # flag" } */ + printf ("%#c", i); /* { dg-warning "flag" "bad use of # flag" } */ + printf ("%#s", s); /* { dg-warning "flag" "bad use of # flag" } */ + printf ("%#p", p); /* { dg-warning "flag" "bad use of # flag" } */ + printf ("%#n", n); /* { dg-warning "flag" "bad use of # flag" } */ + /* Uses of the 0 flag. */ + printf ("%08d%08i%08o%08u%08x%08X%08e%08E%08f%08F%08g%08G%08a%08A", i, i, + u, u, u, u, d, d, d, d, d, d, d, d); + printf ("%0c", i); /* { dg-warning "flag" "bad use of 0 flag" } */ + printf ("%0s", s); /* { dg-warning "flag" "bad use of 0 flag" } */ + printf ("%0p", p); /* { dg-warning "flag" "bad use of 0 flag" } */ + printf ("%0n", n); /* { dg-warning "flag" "bad use of 0 flag" } */ + /* 0 flag ignored with precision for certain types, not others. */ + printf ("%08.5d", i); /* { dg-warning "ignored" "0 flag ignored with precision" } */ + printf ("%08.5i", i); /* { dg-warning "ignored" "0 flag ignored with precision" } */ + printf ("%08.5o", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */ + printf ("%08.5u", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */ + printf ("%08.5x", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */ + printf ("%08.5X", u); /* { dg-warning "ignored" "0 flag ignored with precision" } */ + printf ("%08.5f%08.5F%08.5e%08.5E%08.5g%08.5G%08.5a%08.5A", + d, d, d, d, d, d, d, d); + /* 0 flag ignored with - flag. */ + printf ("%-08d", i); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08i", i); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08o", u); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08u", u); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08x", u); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08X", u); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08e", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08E", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08f", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08F", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08g", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08G", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08a", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + printf ("%-08A", d); /* { dg-warning "flags" "0 flag ignored with - flag" } */ + /* Various tests of bad argument types. Mostly covered in c90-printf-1.c; + here just test for pointer target sign with %hhn. (Probably allowed + by the standard, but a bad idea, so GCC should diagnose if what + is used is not signed char *.) + */ + printf ("%hhn", s); /* { dg-warning "format" "%hhn plain char" } */ + printf ("%hhn", us); /* { dg-warning "format" "%hhn unsigned char" } */ +}