annotate clang/test/Preprocessor/pragma_microsoft.c @ 165:597b3f1c2c93

fix call createTailCallEliminationPass
author anatofuz
date Tue, 24 Mar 2020 15:30:52 +0900
parents 1d019706d866
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %clang_cc1 -triple i686-unknown-windows-msvc %s -fsyntax-only -verify -fms-extensions -Wunknown-pragmas
anatofuz
parents:
diff changeset
2 // RUN: not %clang_cc1 -triple i686-unknown-windows-msvc %s -fms-extensions -E | FileCheck %s
anatofuz
parents:
diff changeset
3 // UNSUPPORTED: ps4
anatofuz
parents:
diff changeset
4
anatofuz
parents:
diff changeset
5 // rdar://6495941
anatofuz
parents:
diff changeset
6
anatofuz
parents:
diff changeset
7 #define FOO 1
anatofuz
parents:
diff changeset
8 #define BAR "2"
anatofuz
parents:
diff changeset
9
anatofuz
parents:
diff changeset
10 #pragma comment(linker,"foo=" FOO) // expected-error {{pragma comment requires parenthesized identifier and optional string}}
anatofuz
parents:
diff changeset
11 // CHECK: #pragma comment(linker,"foo=" 1)
anatofuz
parents:
diff changeset
12 #pragma comment(linker," bar=" BAR)
anatofuz
parents:
diff changeset
13 // CHECK: #pragma comment(linker," bar=" "2")
anatofuz
parents:
diff changeset
14
anatofuz
parents:
diff changeset
15 #pragma comment( user, "Compiled on " __DATE__ " at " __TIME__ )
anatofuz
parents:
diff changeset
16 // CHECK: {{#pragma comment\( user, \"Compiled on \".*\" at \".*\" \)}}
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 #pragma comment(foo) // expected-error {{unknown kind of pragma comment}}
anatofuz
parents:
diff changeset
19 // CHECK: #pragma comment(foo)
anatofuz
parents:
diff changeset
20 #pragma comment(compiler,) // expected-error {{expected string literal in pragma comment}}
anatofuz
parents:
diff changeset
21 // CHECK: #pragma comment(compiler,)
anatofuz
parents:
diff changeset
22 #define foo compiler
anatofuz
parents:
diff changeset
23 #pragma comment(foo) // macro expand kind.
anatofuz
parents:
diff changeset
24 // CHECK: #pragma comment(compiler)
anatofuz
parents:
diff changeset
25 #pragma comment(foo) x // expected-error {{pragma comment requires}}
anatofuz
parents:
diff changeset
26 // CHECK: #pragma comment(compiler) x
anatofuz
parents:
diff changeset
27
anatofuz
parents:
diff changeset
28 #pragma comment(user, "foo\abar\nbaz\tsome thing")
anatofuz
parents:
diff changeset
29 // CHECK: #pragma comment(user, "foo\abar\nbaz\tsome thing")
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 #pragma detect_mismatch("test", "1")
anatofuz
parents:
diff changeset
32 // CHECK: #pragma detect_mismatch("test", "1")
anatofuz
parents:
diff changeset
33 #pragma detect_mismatch() // expected-error {{expected string literal in pragma detect_mismatch}}
anatofuz
parents:
diff changeset
34 // CHECK: #pragma detect_mismatch()
anatofuz
parents:
diff changeset
35 #pragma detect_mismatch("test") // expected-error {{pragma detect_mismatch is malformed; it requires two comma-separated string literals}}
anatofuz
parents:
diff changeset
36 // CHECK: #pragma detect_mismatch("test")
anatofuz
parents:
diff changeset
37 #pragma detect_mismatch("test", 1) // expected-error {{expected string literal in pragma detect_mismatch}}
anatofuz
parents:
diff changeset
38 // CHECK: #pragma detect_mismatch("test", 1)
anatofuz
parents:
diff changeset
39 #pragma detect_mismatch("test", BAR)
anatofuz
parents:
diff changeset
40 // CHECK: #pragma detect_mismatch("test", "2")
anatofuz
parents:
diff changeset
41
anatofuz
parents:
diff changeset
42 // __pragma
anatofuz
parents:
diff changeset
43
anatofuz
parents:
diff changeset
44 __pragma(comment(linker," bar=" BAR))
anatofuz
parents:
diff changeset
45 // CHECK: #pragma comment(linker," bar=" "2")
anatofuz
parents:
diff changeset
46
anatofuz
parents:
diff changeset
47 #define MACRO_WITH__PRAGMA { \
anatofuz
parents:
diff changeset
48 __pragma(warning(push)); \
anatofuz
parents:
diff changeset
49 __pragma(warning(disable: 10000)); \
anatofuz
parents:
diff changeset
50 1 + (2 > 3) ? 4 : 5; \
anatofuz
parents:
diff changeset
51 __pragma(warning(pop)); \
anatofuz
parents:
diff changeset
52 }
anatofuz
parents:
diff changeset
53
anatofuz
parents:
diff changeset
54 #define PRAGMA_IN_ARGS(p) p
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 void f()
anatofuz
parents:
diff changeset
57 {
anatofuz
parents:
diff changeset
58 __pragma() // expected-warning{{unknown pragma ignored}}
anatofuz
parents:
diff changeset
59 // CHECK: #pragma
anatofuz
parents:
diff changeset
60
anatofuz
parents:
diff changeset
61 // If we ever actually *support* __pragma(warning(disable: x)),
anatofuz
parents:
diff changeset
62 // this warning should go away.
anatofuz
parents:
diff changeset
63 MACRO_WITH__PRAGMA // expected-warning {{lower precedence}} \
anatofuz
parents:
diff changeset
64 // expected-note 2 {{place parentheses}}
anatofuz
parents:
diff changeset
65 // CHECK: #pragma warning(push)
anatofuz
parents:
diff changeset
66 // CHECK: #pragma warning(disable: 10000)
anatofuz
parents:
diff changeset
67 // CHECK: ; 1 + (2 > 3) ? 4 : 5;
anatofuz
parents:
diff changeset
68 // CHECK: #pragma warning(pop)
anatofuz
parents:
diff changeset
69
anatofuz
parents:
diff changeset
70 // Check that macro arguments can contain __pragma.
anatofuz
parents:
diff changeset
71 PRAGMA_IN_ARGS(MACRO_WITH__PRAGMA) // expected-warning {{lower precedence}} \
anatofuz
parents:
diff changeset
72 // expected-note 2 {{place parentheses}} \
anatofuz
parents:
diff changeset
73 // expected-warning {{expression result unused}}
anatofuz
parents:
diff changeset
74 // CHECK: #pragma warning(push)
anatofuz
parents:
diff changeset
75 // CHECK: #pragma warning(disable: 10000)
anatofuz
parents:
diff changeset
76 // CHECK: ; 1 + (2 > 3) ? 4 : 5;
anatofuz
parents:
diff changeset
77 // CHECK: #pragma warning(pop)
anatofuz
parents:
diff changeset
78 }
anatofuz
parents:
diff changeset
79
anatofuz
parents:
diff changeset
80 // This should include macro_arg_directive even though the include
anatofuz
parents:
diff changeset
81 // is looking for test.h This allows us to assign to "n"
anatofuz
parents:
diff changeset
82 #pragma include_alias("test.h", "macro_arg_directive.h" )
anatofuz
parents:
diff changeset
83 #include "test.h"
anatofuz
parents:
diff changeset
84 void test( void ) {
anatofuz
parents:
diff changeset
85 n = 12;
anatofuz
parents:
diff changeset
86 }
anatofuz
parents:
diff changeset
87
anatofuz
parents:
diff changeset
88 #pragma include_alias(<bar.h>, "bar.h") // expected-warning {{angle-bracketed include <bar.h> cannot be aliased to double-quoted include "bar.h"}}
anatofuz
parents:
diff changeset
89 #pragma include_alias("foo.h", <bar.h>) // expected-warning {{double-quoted include "foo.h" cannot be aliased to angle-bracketed include <bar.h>}}
anatofuz
parents:
diff changeset
90 #pragma include_alias("test.h") // expected-warning {{pragma include_alias expected ','}}
anatofuz
parents:
diff changeset
91
anatofuz
parents:
diff changeset
92 // Make sure that the names match exactly for a replacement, including path information. If
anatofuz
parents:
diff changeset
93 // this were to fail, we would get a file not found error
anatofuz
parents:
diff changeset
94 #pragma include_alias(".\pp-record.h", "does_not_exist.h")
anatofuz
parents:
diff changeset
95 #include "pp-record.h"
anatofuz
parents:
diff changeset
96
anatofuz
parents:
diff changeset
97 #pragma include_alias(12) // expected-warning {{pragma include_alias expected include filename}}
anatofuz
parents:
diff changeset
98
anatofuz
parents:
diff changeset
99 // It's expected that we can map "bar" and <bar> separately
anatofuz
parents:
diff changeset
100 #define test
anatofuz
parents:
diff changeset
101 // We can't actually look up stdio.h because we're using cc1 without header paths, but this will ensure
anatofuz
parents:
diff changeset
102 // that we get the right bar.h, because the "bar.h" will undef test for us, where <bar.h> won't
anatofuz
parents:
diff changeset
103 #pragma include_alias(<bar.h>, <stdio.h>)
anatofuz
parents:
diff changeset
104 #pragma include_alias("bar.h", "pr2086.h") // This should #undef test
anatofuz
parents:
diff changeset
105
anatofuz
parents:
diff changeset
106 #include "bar.h"
anatofuz
parents:
diff changeset
107 #if defined(test)
anatofuz
parents:
diff changeset
108 // This should not warn because test should not be defined
anatofuz
parents:
diff changeset
109 #pragma include_alias("test.h")
anatofuz
parents:
diff changeset
110 #endif
anatofuz
parents:
diff changeset
111
anatofuz
parents:
diff changeset
112 // Test to make sure there are no use-after-free problems
anatofuz
parents:
diff changeset
113 #define B "pp-record.h"
anatofuz
parents:
diff changeset
114 #pragma include_alias("quux.h", B)
anatofuz
parents:
diff changeset
115 void g() {}
anatofuz
parents:
diff changeset
116 #include "quux.h"
anatofuz
parents:
diff changeset
117
anatofuz
parents:
diff changeset
118 // Make sure that empty includes don't work
anatofuz
parents:
diff changeset
119 #pragma include_alias("", "foo.h") // expected-error {{empty filename}}
anatofuz
parents:
diff changeset
120 #pragma include_alias(<foo.h>, <>) // expected-error {{empty filename}}
anatofuz
parents:
diff changeset
121
anatofuz
parents:
diff changeset
122 // Test that we ignore pragma warning.
anatofuz
parents:
diff changeset
123 #pragma warning(push)
anatofuz
parents:
diff changeset
124 // CHECK: #pragma warning(push)
anatofuz
parents:
diff changeset
125 #pragma warning(push, 1)
anatofuz
parents:
diff changeset
126 // CHECK: #pragma warning(push, 1)
anatofuz
parents:
diff changeset
127 #pragma warning(disable : 4705)
anatofuz
parents:
diff changeset
128 // CHECK: #pragma warning(disable: 4705)
anatofuz
parents:
diff changeset
129 #pragma warning(disable : 123 456 789 ; error : 321)
anatofuz
parents:
diff changeset
130 // CHECK: #pragma warning(disable: 123 456 789)
anatofuz
parents:
diff changeset
131 // CHECK: #pragma warning(error: 321)
anatofuz
parents:
diff changeset
132 #pragma warning(once : 321)
anatofuz
parents:
diff changeset
133 // CHECK: #pragma warning(once: 321)
anatofuz
parents:
diff changeset
134 #pragma warning(suppress : 321)
anatofuz
parents:
diff changeset
135 // CHECK: #pragma warning(suppress: 321)
anatofuz
parents:
diff changeset
136 #pragma warning(default : 321)
anatofuz
parents:
diff changeset
137 // CHECK: #pragma warning(default: 321)
anatofuz
parents:
diff changeset
138 #pragma warning(pop)
anatofuz
parents:
diff changeset
139 // CHECK: #pragma warning(pop)
anatofuz
parents:
diff changeset
140 #pragma warning(1: 123)
anatofuz
parents:
diff changeset
141 // CHECK: #pragma warning(1: 123)
anatofuz
parents:
diff changeset
142 #pragma warning(2: 234 567)
anatofuz
parents:
diff changeset
143 // CHECK: #pragma warning(2: 234 567)
anatofuz
parents:
diff changeset
144 #pragma warning(3: 123; 4: 678)
anatofuz
parents:
diff changeset
145 // CHECK: #pragma warning(3: 123)
anatofuz
parents:
diff changeset
146 // CHECK: #pragma warning(4: 678)
anatofuz
parents:
diff changeset
147 #pragma warning(5: 123) // expected-warning {{expected 'push', 'pop', 'default', 'disable', 'error', 'once', 'suppress', 1, 2, 3, or 4}}
anatofuz
parents:
diff changeset
148
anatofuz
parents:
diff changeset
149 #pragma warning(push, 0)
anatofuz
parents:
diff changeset
150 // CHECK: #pragma warning(push, 0)
anatofuz
parents:
diff changeset
151 // FIXME: We could probably support pushing warning level 0.
anatofuz
parents:
diff changeset
152 #pragma warning(pop)
anatofuz
parents:
diff changeset
153 // CHECK: #pragma warning(pop)
anatofuz
parents:
diff changeset
154
anatofuz
parents:
diff changeset
155 #pragma warning // expected-warning {{expected '('}}
anatofuz
parents:
diff changeset
156 #pragma warning( // expected-warning {{expected 'push', 'pop', 'default', 'disable', 'error', 'once', 'suppress', 1, 2, 3, or 4}}
anatofuz
parents:
diff changeset
157 #pragma warning() // expected-warning {{expected 'push', 'pop', 'default', 'disable', 'error', 'once', 'suppress', 1, 2, 3, or 4}}
anatofuz
parents:
diff changeset
158 #pragma warning(push 4) // expected-warning {{expected ')'}}
anatofuz
parents:
diff changeset
159 // CHECK: #pragma warning(push)
anatofuz
parents:
diff changeset
160 #pragma warning(push // expected-warning {{expected ')'}}
anatofuz
parents:
diff changeset
161 // CHECK: #pragma warning(push)
anatofuz
parents:
diff changeset
162 #pragma warning(push, 5) // expected-warning {{requires a level between 0 and 4}}
anatofuz
parents:
diff changeset
163 #pragma warning(pop, 1) // expected-warning {{expected ')'}}
anatofuz
parents:
diff changeset
164 // CHECK: #pragma warning(pop)
anatofuz
parents:
diff changeset
165 #pragma warning(push, 1) asdf // expected-warning {{extra tokens at end of #pragma warning directive}}
anatofuz
parents:
diff changeset
166 // CHECK: #pragma warning(push, 1)
anatofuz
parents:
diff changeset
167 #pragma warning(disable 4705) // expected-warning {{expected ':'}}
anatofuz
parents:
diff changeset
168 #pragma warning(disable : 0) // expected-warning {{expected a warning number}}
anatofuz
parents:
diff changeset
169 #pragma warning(default 321) // expected-warning {{expected ':'}}
anatofuz
parents:
diff changeset
170 #pragma warning(asdf : 321) // expected-warning {{expected 'push', 'pop'}}
anatofuz
parents:
diff changeset
171 #pragma warning(push, -1) // expected-warning {{requires a level between 0 and 4}}
anatofuz
parents:
diff changeset
172
anatofuz
parents:
diff changeset
173 // Test that runtime_checks is parsed but ignored.
anatofuz
parents:
diff changeset
174 #pragma runtime_checks("sc", restore) // no-warning
anatofuz
parents:
diff changeset
175
anatofuz
parents:
diff changeset
176 // Test pragma intrinsic
anatofuz
parents:
diff changeset
177 #pragma intrinsic(memset) // no-warning
anatofuz
parents:
diff changeset
178 #pragma intrinsic(memcpy, strlen, strlen) // no-warning
anatofuz
parents:
diff changeset
179 #pragma intrinsic() // no-warning
anatofuz
parents:
diff changeset
180 #pragma intrinsic(asdf) // expected-warning {{'asdf' is not a recognized builtin; consider including <intrin.h>}}
anatofuz
parents:
diff changeset
181 #pragma intrinsic(main) // expected-warning {{'main' is not a recognized builtin; consider including <intrin.h>}}
anatofuz
parents:
diff changeset
182 #pragma intrinsic( // expected-warning {{missing ')' after}}
anatofuz
parents:
diff changeset
183 #pragma intrinsic(int) // expected-warning {{missing ')' after}}
anatofuz
parents:
diff changeset
184 #pragma intrinsic(strcmp) asdf // expected-warning {{extra tokens at end}}
anatofuz
parents:
diff changeset
185
anatofuz
parents:
diff changeset
186 #define __INTRIN_H // there should be no notes after defining __INTRIN_H
anatofuz
parents:
diff changeset
187 #pragma intrinsic(asdf) // expected-warning-re {{'asdf' is not a recognized builtin{{$}}}}
anatofuz
parents:
diff changeset
188 #pragma intrinsic(memset) // no-warning
anatofuz
parents:
diff changeset
189 #undef __INTRIN_H
anatofuz
parents:
diff changeset
190 #pragma intrinsic(asdf) // expected-warning {{'asdf' is not a recognized builtin; consider including <intrin.h>}}
anatofuz
parents:
diff changeset
191
anatofuz
parents:
diff changeset
192 #pragma clang diagnostic push
anatofuz
parents:
diff changeset
193 #pragma clang diagnostic ignored "-Wignored-pragma-intrinsic"
anatofuz
parents:
diff changeset
194 #pragma intrinsic(asdf) // no-warning
anatofuz
parents:
diff changeset
195 #pragma clang diagnostic pop
anatofuz
parents:
diff changeset
196 #pragma intrinsic(asdf) // expected-warning {{'asdf' is not a recognized builtin; consider including <intrin.h>}}
anatofuz
parents:
diff changeset
197
anatofuz
parents:
diff changeset
198 #pragma clang diagnostic push
anatofuz
parents:
diff changeset
199 #pragma clang diagnostic ignored "-Wignored-pragmas"
anatofuz
parents:
diff changeset
200 #pragma intrinsic(asdf) // no-warning
anatofuz
parents:
diff changeset
201 #pragma clang diagnostic pop
anatofuz
parents:
diff changeset
202 #pragma intrinsic(asdf) // expected-warning {{'asdf' is not a recognized builtin; consider including <intrin.h>}}
anatofuz
parents:
diff changeset
203
anatofuz
parents:
diff changeset
204 #pragma optimize // expected-warning{{missing '(' after '#pragma optimize'}}
anatofuz
parents:
diff changeset
205 #pragma optimize( // expected-warning{{expected string literal in '#pragma optimize'}}
anatofuz
parents:
diff changeset
206 #pragma optimize(a // expected-warning{{expected string literal in '#pragma optimize'}}
anatofuz
parents:
diff changeset
207 #pragma optimize("g" // expected-warning{{expected ',' in '#pragma optimize'}}
anatofuz
parents:
diff changeset
208 #pragma optimize("g", // expected-warning{{missing argument to '#pragma optimize'; expected 'on' or 'off'}}
anatofuz
parents:
diff changeset
209 #pragma optimize("g",xyz // expected-warning{{unexpected argument 'xyz' to '#pragma optimize'; expected 'on' or 'off'}}
anatofuz
parents:
diff changeset
210 #pragma optimize("g",on) // expected-warning{{#pragma optimize' is not supported}}
anatofuz
parents:
diff changeset
211
anatofuz
parents:
diff changeset
212 #pragma execution_character_set // expected-warning {{expected '('}}
anatofuz
parents:
diff changeset
213 #pragma execution_character_set( // expected-warning {{expected 'push' or 'pop'}}
anatofuz
parents:
diff changeset
214 #pragma execution_character_set() // expected-warning {{expected 'push' or 'pop'}}
anatofuz
parents:
diff changeset
215 #pragma execution_character_set(asdf // expected-warning {{expected 'push' or 'pop'}}
anatofuz
parents:
diff changeset
216 #pragma execution_character_set(asdf) // expected-warning {{expected 'push' or 'pop'}}
anatofuz
parents:
diff changeset
217 #pragma execution_character_set(push // expected-warning {{expected ')'}}
anatofuz
parents:
diff changeset
218 #pragma execution_character_set(pop,) // expected-warning {{expected ')'}}
anatofuz
parents:
diff changeset
219 #pragma execution_character_set(pop,"asdf") // expected-warning {{expected ')'}}
anatofuz
parents:
diff changeset
220 #pragma execution_character_set(push, // expected-error {{expected string literal}}
anatofuz
parents:
diff changeset
221 #pragma execution_character_set(push,) // expected-error {{expected string literal}}
anatofuz
parents:
diff changeset
222 #pragma execution_character_set(push,asdf) // expected-error {{expected string literal}}
anatofuz
parents:
diff changeset
223 #pragma execution_character_set(push, "asdf") // expected-warning {{only 'UTF-8' is supported}}
anatofuz
parents:
diff changeset
224
anatofuz
parents:
diff changeset
225 #pragma execution_character_set(push)
anatofuz
parents:
diff changeset
226 #pragma execution_character_set(push, "utf-8")
anatofuz
parents:
diff changeset
227 #pragma execution_character_set(push, "UTF-8")
anatofuz
parents:
diff changeset
228 #pragma execution_character_set(pop)