This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH]: Add format attribute in Ada directory
- From: "Kaveh R. Ghazi" <ghazi at caip dot rutgers dot edu>
- To: gcc-patches at gcc dot gnu dot org
- Cc: charlet at act-europe dot fr, kenner at vlsi1 dot ultra dot nyu dot edu
- Date: Sun, 29 May 2005 20:12:43 -0400 (EDT)
- Subject: [PATCH]: Add format attribute in Ada directory
This patch adds a format attribute to a function in ada/raise.c.
Tested by bootstrapping with languages=c,ada on
i686-unknown-linux-gnu. It hangs in stage3 due to separate
pre-existing bug(s), but since it passed stage2 (with among other
things -Wall -Werror) it should be safe.
Okay for mainline?
Thanks,
--Kaveh
2005-05-29 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
* raise.c (db): Add ATTRIBUTE_PRINTF_2.
diff -rup orig/egcc-CVS20050526/gcc/ada/raise.c egcc-CVS20050526/gcc/ada/raise.c
--- orig/egcc-CVS20050526/gcc/ada/raise.c 2005-04-01 09:44:05.000000000 -0500
+++ egcc-CVS20050526/gcc/ada/raise.c 2005-05-27 12:36:44.000000000 -0400
@@ -204,7 +204,7 @@ db_indent (int requests)
}
-static void
+static void ATTRIBUTE_PRINTF_2
db (int db_code, char * msg_format, ...)
{
if (db_accepted_codes () & db_code)