gcc/testsuite/gcc.dg/20060425-1.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

/* { dg-do run } */
/* { dg-options "-O1" } */

/* This failed because if conversion didn't handle insv patterns properly.  */

void abort (void);

union y
{
  int a;
  unsigned short b;
};

void __attribute__ ((noinline))
bar (unsigned short u, union y v)
{
  if (u != 1)
    abort ();
}

void __attribute__ ((noinline))
foo (int check)
{
  union y x;

  if (check != 0)
    x.b = 1;
  else
    x.b = 2;
  bar (x.b, x);
}

int
main ()
{
  foo (1);
  return 0;
}