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

Last change on this file since 3bf9d10 was 0f4ac10, checked in by Michael Brooks <mlbrooks@…>, 13 months 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.