1/* { dg-do compile } */
2/* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */
3/* { dg-options "-fsanitize=undefined" } */
4
5void
6foo (unsigned long ul)
7{
8  unsigned int u;
9  u = *(unsigned long *) ul;
10}
11