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