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