Re: Updated: [Patch, c* ,ObjC*] handle string objects in format checking.

[Paolo Bonzini <bonzini at gnu dot org>]

>  2010-10-31  Nicola Pero  <nicola.pero@meta-innovation.com>
>
> +	* c-common.h (objc_is_string_type): New.
> +	(objc_maybe_extract_string_cst_from_objc_string): New.
> +	* stub-objc.c (objc_is_string_type): New.
> +	(objc_maybe_extract_string_cst_from_objc_string): New.	
> +	* c-format.c (is_string_type): New.
> +	(handle_format_arg_attribute): Updated call to
> +	check_format_string.  Use is_string_type.
> +	(check_format_string): Added objc_string argument.  If set, check
> +	that the format string is an Objective-C string.
> +	(handle_format_attribute): For nsstring_format_type, check that
> +	format strings are Objective-C strings.
> +	(struct format_wanted_type): Added objc_object_flag.
> +	(nsstring_length_specs): New.
> +	(nsstring_flag_pairs): New.
> +	(nsstring_flag_specs): New.
> +	(nsstring_char_table): New.
> +	(check_format_arg): Implemented nsstring_format_type.
> +	(check_format_info_main): Implemented '@' as valid flag2.
> +	(check_format_types): Implemented objc_object_flag.
> +	* c-format.h: Updated comments.
> +	(T89_AT): New.	

Just a heads-up: my patch at 
http://gcc.gnu.org/ml/gcc-patches/2010-10/msg02437.html conflicts with 
this a bit, in that it changes a few messages in the attribute((format)) 
output.  So the tests would have to be adjusted.

Paolo