1 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only -DNOERROR %s
2 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only -DNOERROR %s -fexperimental-new-constant-interpreter
3
4 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only \
5 // RUN: -x c++ -DCPP -DNOERROR %s
6 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only \
7 // RUN: -x c++ -DCPP -DNOERROR %s -fexperimental-new-constant-interpreter
8
9 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only \
10 // RUN: -ffp-eval-method=double -DNOERROR %s
11 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only \
12 // RUN: -ffp-eval-method=double -DNOERROR %s -fexperimental-new-constant-interpreter
13
14 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only -x c++ -DCPP \
15 // RUN: -ffp-eval-method=double -DNOERROR %s
16 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only -x c++ -DCPP \
17 // RUN: -ffp-eval-method=double -DNOERROR %s -fexperimental-new-constant-interpreter
18
19
20 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only \
21 // RUN: -ffp-eval-method=source %s
22 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only \
23 // RUN: -ffp-eval-method=source %s -fexperimental-new-constant-interpreter
24
25 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only -x c++ -DCPP \
26 // RUN: -ffp-eval-method=source %s
27 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only -x c++ -DCPP \
28 // RUN: -ffp-eval-method=source %s -fexperimental-new-constant-interpreter
29
30 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only \
31 // RUN: -ffp-eval-method=extended %s
32 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only \
33 // RUN: -ffp-eval-method=extended %s -fexperimental-new-constant-interpreter
34
35 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only -x c++ -DCPP \
36 // RUN: -ffp-eval-method=extended %s
37 // RUN: %clang_cc1 -verify -triple x86_64-linux-gnu -fsyntax-only -x c++ -DCPP \
38 // RUN: -ffp-eval-method=extended %s -fexperimental-new-constant-interpreter
39
40 #ifdef NOERROR
41 // expected-no-diagnostics
42 typedef float float_t;
43 typedef double double_t;
44 #else
45 #ifdef CPP
46 typedef float float_t; //expected-error 9 {{cannot use type 'float_t' within '#pragma clang fp eval_method'; type is set according to the default eval method for the translation unit}}
47
48 typedef double double_t; //expected-error 9 {{cannot use type 'double_t' within '#pragma clang fp eval_method'; type is set according to the default eval method for the translation unit}}
49 #else
50 typedef float float_t; //expected-error 7 {{cannot use type 'float_t' within '#pragma clang fp eval_method'; type is set according to the default eval method for the translation unit}}
51
52 typedef double double_t; //expected-error 7 {{cannot use type 'double_t' within '#pragma clang fp eval_method'; type is set according to the default eval method for the translation unit}}
53 #endif
54 #endif
55
foo1()56 float foo1() {
57 #pragma clang fp eval_method(double)
58 float a;
59 double b;
60 return a - b;
61 }
62
foo2()63 float foo2() {
64 #pragma clang fp eval_method(double)
65 float_t a;
66 double_t b;
67 return a - b;
68 }
69
foo3()70 void foo3() {
71 #pragma clang fp eval_method(double)
72 char buff[sizeof(float_t)];
73 char bufd[sizeof(double_t)];
74 buff[1] = bufd[2];
75 }
76
foo4()77 float foo4() {
78 #pragma clang fp eval_method(double)
79 typedef float_t FT;
80 typedef double_t DT;
81 FT a;
82 DT b;
83 return a - b;
84 }
85
foo5()86 int foo5() {
87 #pragma clang fp eval_method(double)
88 int t = _Generic( 1.0L, float_t:1, default:0);
89 int v = _Generic( 1.0L, double_t:1, default:0);
90 return t;
91 }
92
foo6()93 void foo6() {
94 #pragma clang fp eval_method(double)
95 float f = (float_t)1;
96 double d = (double_t)2;
97 }
98
foo7()99 void foo7() {
100 #pragma clang fp eval_method(double)
101 float c1 = (float_t)12;
102 double c2 = (double_t)13;
103 }
104
foo8()105 float foo8() {
106 #pragma clang fp eval_method(double)
107 extern float_t f;
108 extern double_t g;
109 return f-g;
110 }
111
112 #ifdef CPP
foo9()113 void foo9() {
114 #pragma clang fp eval_method(double)
115 auto resf = [](float_t f) { return f; };
116 auto resd = [](double_t g) { return g; };
117 }
118
foo10()119 void foo10() {
120 #pragma clang fp eval_method(double)
121 using Ft = float_t;
122 using Dt = double_t;
123 Ft a;
124 Dt b;
125 }
126 #endif
127
128