1 // RUN: %clang_cc1 -fsyntax-only -verify %s
2 
f1(void)3 void f1(void) {
4   int x = 0;
5 /* expected-error@+1 {{'#pragma fp_contract' can only appear at file scope or at the start of a compound statement}} */
6 #pragma STDC FP_CONTRACT ON
7 }
8 
f2(void)9 void f2(void) {
10   #pragma STDC FP_CONTRACT OFF
11   #pragma STDC FP_CONTRACT ON
12 }
13 
14 struct S1 {
15 // expected-error@+1 {{this pragma cannot appear in struct declaration}}
16 #pragma STDC FP_CONTRACT ON
17   float f1;
18 };
19 
20 union U1 {
21   float f1;
22   float f2;
23 // expected-error@+1 {{this pragma cannot appear in union declaration}}
24 #pragma STDC FP_CONTRACT ON
25 };
26 
fp_reassoc_fail(float a,float b)27 float fp_reassoc_fail(float a, float b) {
28   // CHECK-LABEL: fp_reassoc_fail
29   // expected-error@+2{{'#pragma clang fp' can only appear at file scope or at the start of a compound statement}}
30   float c = a + b;
31 #pragma clang fp reassociate(off)
32   return c - b;
33 }
34 
fp_reassoc_no_fast(float a,float b)35 float fp_reassoc_no_fast(float a, float b) {
36 // CHECK-LABEL: fp_reassoc_no_fast
37 // expected-error@+1{{unexpected argument 'fast' to '#pragma clang fp reassociate'; expected 'on' or 'off'}}
38 #pragma clang fp reassociate(fast)
39   return a - b;
40 }
41