gcc/testsuite/gcc.dg/spec-barrier-3.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-fpermissive -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;" } */