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