1/* { dg-do run } */
2/* { dg-shouldfail "ubsan" } */
3/* { dg-options "-fsanitize=undefined -fsanitize-undefined-trap-on-error" } */
4
5int q, r;
6void *a, *b, *c = (void *) &q, *d, *e, *f = (void *) &q, *g, *h;
7
8__attribute__((returns_nonnull, nonnull (1, 3)))
9void *
10foo (void *p, void *q, void *r)
11{
12  a = p;
13  b = r;
14  return q;
15}
16
17int
18bar (const void *a, const void *b)
19{
20  int c = *(const int *) a;
21  int d = *(const int *) b;
22  return c - d;
23}
24
25int
26main ()
27{
28  asm volatile ("" : : : "memory");
29  d = foo (c, b, c);
30  e = foo (e, c, f);
31  g = foo (c, f, g);
32  __builtin_memset (d, '\0', q);
33  return 0;
34}
35