1/* { dg-do run } */
2/* { dg-options "-O2 -fno-tree-vrp" } */
3#include <assert.h>
4
5struct CH
6{
7  unsigned char ch : 3;
8} ch;
9
10__attribute__((noinline)) void MakeCheckOp (unsigned int *v1, unsigned int *v2)
11{
12 assert (*v1 == *v2);
13
14}
15
16int main (void)
17{
18
19  int len;
20
21  for (len = 4; len >= 1; len--)
22  {
23     unsigned v1, v2;
24     ch.ch = len;
25     v1 = ch.ch;
26     v2 = len;
27     MakeCheckOp (&v1, &v2);
28  }
29}
30