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 *
f(int x)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;" } */
14