1 /* { dg-do compile } */
2 /* { dg-options "-O3 -Wall" } */
3 /* based on PR 37861 */
4
5 extern int printf (__const char *__restrict __format, ...);
6
f3(int v)7 static int f3(int v)
8 {
9 int i,j = 0;
10 for (i = 0; i <= v; i++)
11 j++;
12 return j;
13 }
14
f2(char formatstr[10][100])15 static int f2(char formatstr[10][100]) {
16 printf( "%d %s\n", 0, formatstr[f3(0)] );
17 printf( "%d %s\n", 1, formatstr[f3(1)] );
18 printf( "%d %s\n", 2, formatstr[f3(2)] );
19 printf( "%d %s\n", 3, formatstr[f3(3)] );
20 return 3;
21 }
22
23 static char formatstr[10][100];
main(void)24 int main( void ) {
25 int anz;
26 anz = f2(formatstr);
27 printf( " %d\n",anz);
28 return 0;
29 }
30