1 /* { dg-do compile } */ 2 3 volatile int res; 4 x()5void x () 6 { 7 __builtin_wrctl (0, res); 8 __builtin_wrctl (15, res); 9 __builtin_wrctl (31, res); 10 11 res = __builtin_rdctl (0); 12 res = __builtin_rdctl (15); 13 res = __builtin_rdctl (31); 14 } 15