1/*
2 * Copyright 2014, NICTA
3 *
4 * This software may be distributed and modified according to the terms of
5 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
6 * See "LICENSE_BSD2.txt" for details.
7 *
8 * @TAG(NICTA_BSD)
9 */
10
11typedef struct s {
12  int x,y;
13  char c;
14} s;
15
16int f(void)
17{
18  unsigned char array[sizeof(s)];
19  struct s var1;
20  for (int i = 0; i < sizeof(s); i++) array[i] = 1;
21  return sizeof (s);
22}
23