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