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