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