1  /* { dg-do compile } */
       2  /* { dg-options "-Wpedantic" } */
       3  
       4  /* __builtin_speculation_safe_value returns a value with the same type
       5     as its first argument.  There should be a warning if that isn't
       6     type-compatible with the use.  */
       7  int *
       8  f (int x)
       9  {
      10    return __builtin_speculation_safe_value (x);  /* { dg-warning "returning 'int' from a function with return type 'int \\*' makes pointer from integer without a cast" } */
      11  }
      12  
      13  /* { dg-prune-output "this target does not define a speculation barrier;" } */