1/* { dg-do run } */
2/* { dg-options "-O2" } */
3
4static inline void __attribute__((always_inline))
5f1 (void)
6{
7  long unused;
8  asm volatile ("" : "=es" (unused) :: "memory");
9}
10
11static void __attribute__((noinline))
12f2 (long *val)
13{
14  *val = 0x1234;
15}
16
17static long __attribute__((noinline))
18test (void)
19{
20  f1 ();
21  {
22    long val;
23    f2 (&val);
24    return val;
25  }
26}
27
28int
29main (void)
30{
31  return test () != 0x1234;
32}
33