1/* { dg-do run } */
2
3#include <stdlib.h>
4
5char c = 42;
6
7void __attribute__((noinline,noclone))
8pr39633 (char a)
9{
10  a >>= 7;
11  if (a)
12    c = a;
13}
14
15int main()
16{
17  pr39633 (6);
18
19  if (c != 42)
20    abort();
21
22  exit(0);
23
24  return 0;
25}
26