source: tests/array-container/.expect/dimexpr-match-c-ERRS.x86.txt@ adc73a5

Last change on this file since adc73a5 was 0f4ac10, checked in by Michael Brooks <mlbrooks@…>, 2 years ago

Add tests demonstrating CFA's treatment of C arrays, compared with GCC's.

These tests recognize two levels of CFA functionality: Classic and Preview. This commit shows that CFA Master implements Classic. Preview refers to Mike's forthcoming changes.

Only the CFA part runs in the nightly build. Under CFA Classic, a limitation is that only some rejection cases are exercised in the nightly build. A hand-driven testing script can access all the cases and CFA Preview will exercise all the cases in the nightly build.

test dimexpr-match-c: how CFA's treatment of C arrays compares with GCC's

test dimexpr-match-cfa: how CFA's treamtment of <containers/array.hfa>-arrays aligns with the above
  • Property mode set to 100644
File size: 7.6 KB
Line 
1array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
2 Name: f
3...to:
4 Address of:
5 Name: a
6
7array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
8 Name: f
9...to:
10 Address of:
11 Name: a
12
13array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
14 Name: f
15...to:
16 Address of:
17 Name: a
18
19array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
20 Name: f
21...to:
22 Address of:
23 Name: a
24
25array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
26 Name: f
27...to:
28 Address of:
29 Name: a
30
31array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
32 Name: f
33...to:
34 Address of:
35 Name: a
36
37array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
38 Name: f
39...to:
40 Address of:
41 Name: a
42
43array-container/dimexpr-match-c.cfa:30:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
44 Name: f
45...to:
46 Address of:
47 Name: a
48
49array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
50 Address of:
51 Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of:
52 Constant Expression (7: signed int)
53 ... with resolved type:
54 signed int
55 ... to:
56 unsigned int
57 ... with resolved type:
58 unsigned int
59array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
60 Address of:
61 Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of:
62 Constant Expression (7: signed int)
63 ... with resolved type:
64 signed int
65 ... to:
66 unsigned int
67 ... with resolved type:
68 unsigned int
69array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
70 Address of:
71 Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of:
72 Variable Expression: enu7: const instance of enum __anonymous0 with body
73 ... with resolved type:
74 const instance of enum __anonymous0 with body
75 ... to:
76 unsigned int
77 ... with resolved type:
78 unsigned int
79array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
80 Address of:
81 Name: a InitAlternative: pointer to array of float with dimension of Generated Cast of:
82 Variable Expression: enu7: const instance of enum __anonymous0 with body
83 ... with resolved type:
84 const instance of enum __anonymous0 with body
85 ... to:
86 unsigned int
87 ... with resolved type:
88 unsigned int
89array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
90 Address of:
91 Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
92 Variable Expression: cpr7: const signed int
93 ... with resolved type:
94 const signed int
95 ... to:
96 unsigned int
97 ... with resolved type:
98 unsigned int
99array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
100 Address of:
101 Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
102 Variable Expression: cpr7: const signed int
103 ... with resolved type:
104 const signed int
105 ... to:
106 unsigned int
107 ... with resolved type:
108 unsigned int
109array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
110 Address of:
111 Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
112 Variable Expression: mut7: signed int
113 ... with resolved type:
114 signed int
115 ... to:
116 unsigned int
117 ... with resolved type:
118 unsigned int
119array-container/dimexpr-match-c.cfa:38:1 error: Invalid application of existing declaration(s) in expression Untyped Init Expression
120 Address of:
121 Name: a InitAlternative: pointer to variable length array of float with dimension of Generated Cast of:
122 Variable Expression: mut7: signed int
123 ... with resolved type:
124 signed int
125 ... to:
126 unsigned int
127 ... with resolved type:
128 unsigned int
129array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
130 Name: ?=?
131...to:
132 Name: b
133 Address of:
134 Name: a
135
136array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
137 Name: ?=?
138...to:
139 Name: b
140 Address of:
141 Name: a
142
143array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
144 Name: ?=?
145...to:
146 Name: b
147 Address of:
148 Name: a
149
150array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
151 Name: ?=?
152...to:
153 Name: b
154 Address of:
155 Name: a
156
157array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
158 Name: ?=?
159...to:
160 Name: b
161 Address of:
162 Name: a
163
164array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
165 Name: ?=?
166...to:
167 Name: b
168 Address of:
169 Name: a
170
171array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
172 Name: ?=?
173...to:
174 Name: b
175 Address of:
176 Name: a
177
178array-container/dimexpr-match-c.cfa:47:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
179 Name: ?=?
180...to:
181 Name: b
182 Address of:
183 Name: a
184
185array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
186 Name: ?=?
187...to:
188 Address of:
189 Name: b
190 Address of:
191 Name: a
192
193array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
194 Name: ?=?
195...to:
196 Address of:
197 Name: b
198 Address of:
199 Name: a
200
201array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
202 Name: ?=?
203...to:
204 Address of:
205 Name: b
206 Address of:
207 Name: a
208
209array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
210 Name: ?=?
211...to:
212 Address of:
213 Name: b
214 Address of:
215 Name: a
216
217array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
218 Name: ?=?
219...to:
220 Address of:
221 Name: b
222 Address of:
223 Name: a
224
225array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
226 Name: ?=?
227...to:
228 Address of:
229 Name: b
230 Address of:
231 Name: a
232
233array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
234 Name: ?=?
235...to:
236 Address of:
237 Name: b
238 Address of:
239 Name: a
240
241array-container/dimexpr-match-c.cfa:77:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
242 Name: ?=?
243...to:
244 Address of:
245 Name: b
246 Address of:
247 Name: a
248
Note: See TracBrowser for help on using the repository browser.