1 /* { dg-do compile } */
2 /* { dg-options "-mrdseed" } */
3 
4 extern void bar (int);
5 
6 void
foo(unsigned * u)7 foo (unsigned *u)
8 {
9   int i = __builtin_ia32_rdseed_si_step (u);
10   bar (i);
11 }
12