| /* { dg-do compile } */ |
| /* { dg-options "-O3 -Wall" } */ |
| /* based on PR 37861 */ |
| |
| extern int printf (__const char *__restrict __format, ...); |
| |
| static int f3(int v) |
| { |
| int i,j = 0; |
| for (i = 0; i <= v; i++) |
| j++; |
| return j; |
| } |
| |
| static int f2(char formatstr[10][100]) { |
| printf( "%d %s\n", 0, formatstr[f3(0)] ); |
| printf( "%d %s\n", 1, formatstr[f3(1)] ); |
| printf( "%d %s\n", 2, formatstr[f3(2)] ); |
| printf( "%d %s\n", 3, formatstr[f3(3)] ); |
| return 3; |
| } |
| |
| static char formatstr[10][100]; |
| int main( void ) { |
| int anz; |
| anz = f2(formatstr); |
| printf( " %d\n",anz); |
| return 0; |
| } |