OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

c-format.c (check_format_arg): Handle string literals of the form &"string"[offset].

Browse Source 
2005-05-14  Richard Guenther  <rguenth@gcc.gnu.org>

	* c-format.c (check_format_arg): Handle string literals of
	the form &"string"[offset].

	* g++.dg/warn/format4.C: New testcase.

From-SVN: r99652
This commit is contained in:
Richard Guenther 2005-05-13 09:48:12 +00:00 committed by Richard Biener
parent 0e687cb4f1
commit f5c9a09777
3 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gcc/ChangeLog
View File

@ -1,3 +1,10 @@
2005-05-13 Richard Guenther <rguenth@gcc.gnu.org>
* c-format.c (check_format_arg): Handle string literals of
the form &"string"[offset].
* g++.dg/warn/format4.C: New testcase.
2005-05-13 Kazu Hirata <kazu@cs.umass.edu>
* config/mips/3000.md, config/mips/4000.md,

4
gcc/c-format.c
View File

@ -1260,6 +1260,10 @@ check_format_arg (void *ctx, tree format_tree,
return;
}
format_tree = TREE_OPERAND (format_tree, 0);
if (TREE_CODE (format_tree) == ARRAY_REF
&& host_integerp (TREE_OPERAND (format_tree, 1), 0)
&& (offset += tree_low_cst (TREE_OPERAND (format_tree, 1), 0)) >= 0)
format_tree = TREE_OPERAND (format_tree, 0);
if (TREE_CODE (format_tree) == VAR_DECL
&& TREE_CODE (TREE_TYPE (format_tree)) == ARRAY_TYPE
&& (array_init = decl_constant_value (format_tree)) != format_tree

13
gcc/testsuite/g++.dg/warn/format4.C Normal file
View File

@ -0,0 +1,13 @@
// { dg-do compile }
// { dg-options "-Wformat=2" }
extern "C" int printf (const char*, ...);
void foo(int i)
{
printf("Hello World %d!\n", i);
printf(&"Hello World %d!\n"[0], i);
printf(&"Hello World %d!\n"[6], i);
printf(&"Hello World %d!\n"[8]-2, i);
printf(&"Hello World %d!\n"[4]+2, i);
}