1 /* { dg-do compile } */
2 /* { dg-options "-O2 -Warray-bounds" } */
3 /* based on PR 31227 */
4 
5 typedef __SIZE_TYPE__ size_t;
6 
7 extern size_t strlen (const char *);
8 
9 struct iovec
10 {
11   void *iov_base;
12   size_t iov_len;
13 };
14 
15 struct S
16 {
17   const char *abday[7];
18   const char *day[7];
19   const char *abmon[12];
20   const char *mon[12];
21   const char *am_pm[2];
22 };
23 
24 extern void foo (size_t, struct iovec *);
25 
26 void
bar(struct S * time)27 bar (struct S *time)
28 {
29   struct iovec iov[43];
30   size_t cnt;
31   iov[0].iov_base = (void *) "abc";
32   iov[0].iov_len = 3;
33 
34   iov[1].iov_base = (void *) "def";
35   iov[1].iov_len = 3;
36 
37   for (cnt = 0; cnt < 7; ++cnt)
38     {
39       iov[2 + cnt].iov_base = (void *) (time->abday[cnt] ?: "");
40       iov[2 + cnt].iov_len = strlen (iov[2 + cnt].iov_base) + 1;
41     }
42 
43   for (; cnt < 14; ++cnt)
44     {
45       iov[2 + cnt].iov_base = (void *) (time->day[cnt - 7] ?: "");
46       iov[2 + cnt].iov_len = strlen (iov[2 + cnt].iov_base) + 1;
47     }
48 
49   for (; cnt < 26; ++cnt)
50     {
51       iov[2 + cnt].iov_base = (void *) (time->abmon[cnt - 14] ?: "");
52       iov[2 + cnt].iov_len = strlen (iov[2 + cnt].iov_base) + 1;
53     }
54 
55   for (; cnt < 38; ++cnt)
56     {
57       iov[2 + cnt].iov_base = (void *) (time->mon[cnt - 26] ?: "");
58       iov[2 + cnt].iov_len = strlen (iov[2 + cnt].iov_base) + 1;
59     }
60 
61   for (; cnt < 40; ++cnt)
62     {
63       iov[2 + cnt].iov_base =  (void *) (time->am_pm[cnt - 38] ?: "");
64       iov[2 + cnt].iov_len = strlen (iov[2 + cnt].iov_base) + 1;
65     }
66 
67   foo (2 + cnt, iov);
68 }
69 
70 struct malloc_chunk {
71   long prev_size;
72   long size;
73   struct malloc_chunk* fd;
74   struct malloc_chunk* bk;
75 };
76 typedef struct malloc_chunk* mchunkptr;
77 struct malloc_state {
78   mchunkptr        top;
79   mchunkptr        last_remainder;
80   mchunkptr        bins[128 * 2 - 2];
81 };
82 #define bin_at(m, i) \
83   (mchunkptr) (((char *) &((m)->bins[((i) - 1) * 2]))                         \
84              - __builtin_offsetof (struct malloc_chunk, fd))
85 
malloc_init_state(struct malloc_state * av)86 void malloc_init_state(struct malloc_state *av)
87 {
88   int     i;
89   mchunkptr bin;
90 
91   for (i = 1; i < 128; ++i) {
92     bin = bin_at(av,i);
93     bin->fd = bin->bk = bin;
94   }
95 }
96 
97 typedef unsigned short WCHAR;
98 typedef WCHAR *LPWSTR;
99 
g(LPWSTR dest,int len)100 static void g(LPWSTR dest, int len) {
101      dest[len-1] = 0;
102 }
103 
f()104 void f() {
105     WCHAR szPathW[260];
106 
107     g(szPathW, 260);
108 }
109