| /* { dg-do run } */ | |
| extern void abort (void); | |
| void __attribute__((noinline,noclone)) | |
| clear_board(unsigned char *board, int board_size) | |
| { | |
| int k; | |
| for (k = 0; k < 421; k++) | |
| if (k < board_size ) | |
| board[k] = 3; | |
| } | |
| int main() | |
| { | |
| unsigned char board[421]; | |
| board[420] = 1; | |
| clear_board (board, 420); | |
| if (board[420] != 1) | |
| abort (); | |
| return 0; | |
| } |