source: tests/array-container/.expect/dimexpr-match-cfa.txt@ 9ca5e56

Last change on this file since 9ca5e56 was f02f546, checked in by Michael Brooks <mlbrooks@…>, 3 years ago

Implement new rules for array dimension expression matching.

Core changes:
src/ResolvExpr/Unify.cc: add sense of "these two expressions unify"
src/InitTweak/GenInit.cc: make hoisting happen more often
tests/array-container/*: reconfigure the array-dimension test to use non-"classic" expectation rules

Misc contributors and noise:
libcfa/src/parseargs.cfa: ,ake a parameter, that's used as a length expression, constant (example of an array user following new rules)
src/ResolvExpr/ResolveTypeof.h: make fixArrayType public
src/Validate/GenericParameter.cpp: do the array-type desugaring in both AST corners that forall-variables can be found (not just in one of them)
tests/.expect/typedefRedef-ERR1.txt: old one was "expecting" a bug, that new array rules handle correctly
  • Property mode set to 100644
File size: 7.9 KB
Line 
1---- PTRPARM_CALL: { void f( typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * x ) {} typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; f( & a ); }
2done STA EQ STA, L=7, R=7
3skip STA NE STA, L=7, R=42
4done STA EQ STA, L=7, R=enu7
5skip STA NE STA, L=7, R=enu42
6skip STA NE DYN, L=7, R=cpr42
7skip STA NE UNS, L=7, R=mut42
8done STA EQ STA, L=enu7, R=enu7
9skip STA NE STA, L=enu7, R=enu42
10done STA EQ STA, L=enu7, R=7
11skip STA NE STA, L=enu7, R=42
12skip STA NE DYN, L=enu7, R=cpr42
13skip STA NE UNS, L=enu7, R=mut42
14done DYN EQ DYN, L=cpr7, R=cpr7
15skip DYN NE DYN, L=cpr7, R=cpr42
16skip DYN NE STA, L=cpr7, R=42
17skip DYN NE STA, L=cpr7, R=enu42
18skip DYN NE UNS, L=cpr7, R=mut42
19skip UNS EQ UNS, L=mut7, R=mut7
20skip UNS NE UNS, L=mut7, R=mut42
21skip UNS NE STA, L=mut7, R=42
22skip UNS NE STA, L=mut7, R=enu42
23skip UNS NE DYN, L=mut7, R=cpr42
24skip STA NE DYN, L=7, R=dim42
25skip STA NE DYN, L=enu7, R=dim42
26skip DYN NE DYN, L=cpr7, R=dim42
27done DYN EQ DYN, L=dim7, R=dim7
28skip DYN NE DYN, L=dim7, R=dim42
29skip DYN NE STA, L=dim7, R=42
30skip DYN NE STA, L=dim7, R=enu42
31skip DYN NE DYN, L=dim7, R=cpr42
32skip DYN NE UNS, L=dim7, R=mut42
33skip UNS NE DYN, L=mut7, R=dim42
34---- PTRVAR_INIT: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * b = & a; }
35done STA EQ STA, L=7, R=7
36skip STA NE STA, L=7, R=42
37done STA EQ STA, L=7, R=enu7
38skip STA NE STA, L=7, R=enu42
39skip STA NE DYN, L=7, R=cpr42
40skip STA NE UNS, L=7, R=mut42
41done STA EQ STA, L=enu7, R=enu7
42skip STA NE STA, L=enu7, R=enu42
43done STA EQ STA, L=enu7, R=7
44skip STA NE STA, L=enu7, R=42
45skip STA NE DYN, L=enu7, R=cpr42
46skip STA NE UNS, L=enu7, R=mut42
47done DYN EQ DYN, L=cpr7, R=cpr7
48skip DYN NE DYN, L=cpr7, R=cpr42
49skip DYN NE STA, L=cpr7, R=42
50skip DYN NE STA, L=cpr7, R=enu42
51skip DYN NE UNS, L=cpr7, R=mut42
52skip UNS EQ UNS, L=mut7, R=mut7
53skip UNS NE UNS, L=mut7, R=mut42
54skip UNS NE STA, L=mut7, R=42
55skip UNS NE STA, L=mut7, R=enu42
56skip UNS NE DYN, L=mut7, R=cpr42
57skip STA NE DYN, L=7, R=dim42
58skip STA NE DYN, L=enu7, R=dim42
59skip DYN NE DYN, L=cpr7, R=dim42
60done DYN EQ DYN, L=dim7, R=dim7
61skip DYN NE DYN, L=dim7, R=dim42
62skip DYN NE STA, L=dim7, R=42
63skip DYN NE STA, L=dim7, R=enu42
64skip DYN NE DYN, L=dim7, R=cpr42
65skip DYN NE UNS, L=dim7, R=mut42
66skip UNS NE DYN, L=mut7, R=dim42
67---- PTRVAR_ASGN: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) * b = 0p; b = & a; }
68done STA EQ STA, L=7, R=7
69skip STA NE STA, L=7, R=42
70done STA EQ STA, L=7, R=enu7
71skip STA NE STA, L=7, R=enu42
72skip STA NE DYN, L=7, R=cpr42
73skip STA NE UNS, L=7, R=mut42
74done STA EQ STA, L=enu7, R=enu7
75skip STA NE STA, L=enu7, R=enu42
76done STA EQ STA, L=enu7, R=7
77skip STA NE STA, L=enu7, R=42
78skip STA NE DYN, L=enu7, R=cpr42
79skip STA NE UNS, L=enu7, R=mut42
80done DYN EQ DYN, L=cpr7, R=cpr7
81skip DYN NE DYN, L=cpr7, R=cpr42
82skip DYN NE STA, L=cpr7, R=42
83skip DYN NE STA, L=cpr7, R=enu42
84skip DYN NE UNS, L=cpr7, R=mut42
85skip UNS EQ UNS, L=mut7, R=mut7
86skip UNS NE UNS, L=mut7, R=mut42
87skip UNS NE STA, L=mut7, R=42
88skip UNS NE STA, L=mut7, R=enu42
89skip UNS NE DYN, L=mut7, R=cpr42
90skip STA NE DYN, L=7, R=dim42
91skip STA NE DYN, L=enu7, R=dim42
92skip DYN NE DYN, L=cpr7, R=dim42
93done DYN EQ DYN, L=dim7, R=dim7
94skip DYN NE DYN, L=dim7, R=dim42
95skip DYN NE STA, L=dim7, R=42
96skip DYN NE STA, L=dim7, R=enu42
97skip DYN NE DYN, L=dim7, R=cpr42
98skip DYN NE UNS, L=dim7, R=mut42
99skip UNS NE DYN, L=mut7, R=dim42
100---- REFPARM_CALL: { void f( typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & x ) {} typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; f( a ); }
101done STA EQ STA, L=7, R=7
102skip STA NE STA, L=7, R=42
103done STA EQ STA, L=7, R=enu7
104skip STA NE STA, L=7, R=enu42
105skip STA NE DYN, L=7, R=cpr42
106skip STA NE UNS, L=7, R=mut42
107done STA EQ STA, L=enu7, R=enu7
108skip STA NE STA, L=enu7, R=enu42
109done STA EQ STA, L=enu7, R=7
110skip STA NE STA, L=enu7, R=42
111skip STA NE DYN, L=enu7, R=cpr42
112skip STA NE UNS, L=enu7, R=mut42
113done DYN EQ DYN, L=cpr7, R=cpr7
114skip DYN NE DYN, L=cpr7, R=cpr42
115skip DYN NE STA, L=cpr7, R=42
116skip DYN NE STA, L=cpr7, R=enu42
117skip DYN NE UNS, L=cpr7, R=mut42
118skip UNS EQ UNS, L=mut7, R=mut7
119skip UNS NE UNS, L=mut7, R=mut42
120skip UNS NE STA, L=mut7, R=42
121skip UNS NE STA, L=mut7, R=enu42
122skip UNS NE DYN, L=mut7, R=cpr42
123skip STA NE DYN, L=7, R=dim42
124skip STA NE DYN, L=enu7, R=dim42
125skip DYN NE DYN, L=cpr7, R=dim42
126done DYN EQ DYN, L=dim7, R=dim7
127skip DYN NE DYN, L=dim7, R=dim42
128skip DYN NE STA, L=dim7, R=42
129skip DYN NE STA, L=dim7, R=enu42
130skip DYN NE DYN, L=dim7, R=cpr42
131skip DYN NE UNS, L=dim7, R=mut42
132skip UNS NE DYN, L=mut7, R=dim42
133---- REFVAR_INIT: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & b = a; }
134done STA EQ STA, L=7, R=7
135skip STA NE STA, L=7, R=42
136done STA EQ STA, L=7, R=enu7
137skip STA NE STA, L=7, R=enu42
138skip STA NE DYN, L=7, R=cpr42
139skip STA NE UNS, L=7, R=mut42
140done STA EQ STA, L=enu7, R=enu7
141skip STA NE STA, L=enu7, R=enu42
142done STA EQ STA, L=enu7, R=7
143skip STA NE STA, L=enu7, R=42
144skip STA NE DYN, L=enu7, R=cpr42
145skip STA NE UNS, L=enu7, R=mut42
146done DYN EQ DYN, L=cpr7, R=cpr7
147skip DYN NE DYN, L=cpr7, R=cpr42
148skip DYN NE STA, L=cpr7, R=42
149skip DYN NE STA, L=cpr7, R=enu42
150skip DYN NE UNS, L=cpr7, R=mut42
151skip UNS EQ UNS, L=mut7, R=mut7
152skip UNS NE UNS, L=mut7, R=mut42
153skip UNS NE STA, L=mut7, R=42
154skip UNS NE STA, L=mut7, R=enu42
155skip UNS NE DYN, L=mut7, R=cpr42
156skip STA NE DYN, L=7, R=dim42
157skip STA NE DYN, L=enu7, R=dim42
158skip DYN NE DYN, L=cpr7, R=dim42
159done DYN EQ DYN, L=dim7, R=dim7
160skip DYN NE DYN, L=dim7, R=dim42
161skip DYN NE STA, L=dim7, R=42
162skip DYN NE STA, L=dim7, R=enu42
163skip DYN NE DYN, L=dim7, R=cpr42
164skip DYN NE UNS, L=dim7, R=mut42
165skip UNS NE DYN, L=mut7, R=dim42
166---- REFVAR_ASGN: { typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) & b = *0p; & b = & a; }
167done STA EQ STA, L=7, R=7
168skip STA NE STA, L=7, R=42
169done STA EQ STA, L=7, R=enu7
170skip STA NE STA, L=7, R=enu42
171skip STA NE DYN, L=7, R=cpr42
172skip STA NE UNS, L=7, R=mut42
173done STA EQ STA, L=enu7, R=enu7
174skip STA NE STA, L=enu7, R=enu42
175done STA EQ STA, L=enu7, R=7
176skip STA NE STA, L=enu7, R=42
177skip STA NE DYN, L=enu7, R=cpr42
178skip STA NE UNS, L=enu7, R=mut42
179done DYN EQ DYN, L=cpr7, R=cpr7
180skip DYN NE DYN, L=cpr7, R=cpr42
181skip DYN NE STA, L=cpr7, R=42
182skip DYN NE STA, L=cpr7, R=enu42
183skip DYN NE UNS, L=cpr7, R=mut42
184skip UNS EQ UNS, L=mut7, R=mut7
185skip UNS NE UNS, L=mut7, R=mut42
186skip UNS NE STA, L=mut7, R=42
187skip UNS NE STA, L=mut7, R=enu42
188skip UNS NE DYN, L=mut7, R=cpr42
189skip STA NE DYN, L=7, R=dim42
190skip STA NE DYN, L=enu7, R=dim42
191skip DYN NE DYN, L=cpr7, R=dim42
192done DYN EQ DYN, L=dim7, R=dim7
193skip DYN NE DYN, L=dim7, R=dim42
194skip DYN NE STA, L=dim7, R=42
195skip DYN NE STA, L=dim7, R=enu42
196skip DYN NE DYN, L=dim7, R=cpr42
197skip DYN NE UNS, L=dim7, R=mut42
198skip UNS NE DYN, L=mut7, R=dim42
199---- CALLZIP: { typeof( mkar_( ((tag(float)){}) , ((tag(__L__)){}) ) ) a; typeof( mkar_( ((tag(float)){}) , ((tag(__R__)){}) ) ) b; zip( a, b ); }
200done STA EQ STA, L=7, R=7
201skip STA NE STA, L=7, R=42
202done STA EQ STA, L=7, R=enu7
203skip STA NE STA, L=7, R=enu42
204skip STA NE DYN, L=7, R=cpr42
205skip STA NE UNS, L=7, R=mut42
206done STA EQ STA, L=enu7, R=enu7
207skip STA NE STA, L=enu7, R=enu42
208done STA EQ STA, L=enu7, R=7
209skip STA NE STA, L=enu7, R=42
210skip STA NE DYN, L=enu7, R=cpr42
211skip STA NE UNS, L=enu7, R=mut42
212done DYN EQ DYN, L=cpr7, R=cpr7
213skip DYN NE DYN, L=cpr7, R=cpr42
214skip DYN NE STA, L=cpr7, R=42
215skip DYN NE STA, L=cpr7, R=enu42
216skip DYN NE UNS, L=cpr7, R=mut42
217skip UNS EQ UNS, L=mut7, R=mut7
218skip UNS NE UNS, L=mut7, R=mut42
219skip UNS NE STA, L=mut7, R=42
220skip UNS NE STA, L=mut7, R=enu42
221skip UNS NE DYN, L=mut7, R=cpr42
222skip STA NE DYN, L=7, R=dim42
223skip STA NE DYN, L=enu7, R=dim42
224skip DYN NE DYN, L=cpr7, R=dim42
225done DYN EQ DYN, L=dim7, R=dim7
226skip DYN NE DYN, L=dim7, R=dim42
227skip DYN NE STA, L=dim7, R=42
228skip DYN NE STA, L=dim7, R=enu42
229skip DYN NE DYN, L=dim7, R=cpr42
230skip DYN NE UNS, L=dim7, R=mut42
231skip UNS NE DYN, L=mut7, R=dim42
Note: See TracBrowser for help on using the repository browser.