Context Navigation

dimexpr-match-c.txt @ 0f4ac10

Last change on this file since 0f4ac10 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: 3.0 KB

Line
1	---- PTRPARM_CALL: { void f( float (*x)[__L__] ) {} float a[__R__]; f( & a ); }
2	done STA EQ STA, L=7, R=7
3	skip STA NE STA, L=7, R=42
4	done STA EQ STA, L=7, R=enu7
5	skip STA NE STA, L=7, R=enu42
6	skip STA NE DYN, L=7, R=cpr42
7	skip STA NE UNS, L=7, R=mut42
8	done STA EQ STA, L=enu7, R=enu7
9	skip STA NE STA, L=enu7, R=enu42
10	done STA EQ STA, L=enu7, R=7
11	skip STA NE STA, L=enu7, R=42
12	skip STA NE DYN, L=enu7, R=cpr42
13	skip STA NE UNS, L=enu7, R=mut42
14	done DYN EQ DYN, L=cpr7, R=cpr7
15	done DYN NE DYN, L=cpr7, R=cpr42
16	skip DYN NE STA, L=cpr7, R=42
17	skip DYN NE STA, L=cpr7, R=enu42
18	done DYN NE UNS, L=cpr7, R=mut42
19	done UNS EQ UNS, L=mut7, R=mut7
20	done UNS NE UNS, L=mut7, R=mut42
21	skip UNS NE STA, L=mut7, R=42
22	skip UNS NE STA, L=mut7, R=enu42
23	done UNS NE DYN, L=mut7, R=cpr42
24	---- PTRVAR_INIT: { float a[__R__]; float (*b)[__L__] = & a; }
25	done STA EQ STA, L=7, R=7
26	skip STA NE STA, L=7, R=42
27	done STA EQ STA, L=7, R=enu7
28	skip STA NE STA, L=7, R=enu42
29	skip STA NE DYN, L=7, R=cpr42
30	skip STA NE UNS, L=7, R=mut42
31	done STA EQ STA, L=enu7, R=enu7
32	skip STA NE STA, L=enu7, R=enu42
33	done STA EQ STA, L=enu7, R=7
34	skip STA NE STA, L=enu7, R=42
35	skip STA NE DYN, L=enu7, R=cpr42
36	skip STA NE UNS, L=enu7, R=mut42
37	done DYN EQ DYN, L=cpr7, R=cpr7
38	done DYN NE DYN, L=cpr7, R=cpr42
39	skip DYN NE STA, L=cpr7, R=42
40	skip DYN NE STA, L=cpr7, R=enu42
41	done DYN NE UNS, L=cpr7, R=mut42
42	done UNS EQ UNS, L=mut7, R=mut7
43	done UNS NE UNS, L=mut7, R=mut42
44	skip UNS NE STA, L=mut7, R=42
45	skip UNS NE STA, L=mut7, R=enu42
46	done UNS NE DYN, L=mut7, R=cpr42
47	---- PTRVAR_ASGN: { float a[__R__]; float (*b)[__L__] = 0p; b = & a; }
48	done STA EQ STA, L=7, R=7
49	skip STA NE STA, L=7, R=42
50	done STA EQ STA, L=7, R=enu7
51	skip STA NE STA, L=7, R=enu42
52	skip STA NE DYN, L=7, R=cpr42
53	skip STA NE UNS, L=7, R=mut42
54	done STA EQ STA, L=enu7, R=enu7
55	skip STA NE STA, L=enu7, R=enu42
56	done STA EQ STA, L=enu7, R=7
57	skip STA NE STA, L=enu7, R=42
58	skip STA NE DYN, L=enu7, R=cpr42
59	skip STA NE UNS, L=enu7, R=mut42
60	done DYN EQ DYN, L=cpr7, R=cpr7
61	done DYN NE DYN, L=cpr7, R=cpr42
62	skip DYN NE STA, L=cpr7, R=42
63	skip DYN NE STA, L=cpr7, R=enu42
64	done DYN NE UNS, L=cpr7, R=mut42
65	done UNS EQ UNS, L=mut7, R=mut7
66	done UNS NE UNS, L=mut7, R=mut42
67	skip UNS NE STA, L=mut7, R=42
68	skip UNS NE STA, L=mut7, R=enu42
69	done UNS NE DYN, L=mut7, R=cpr42
70	---- REFVAR_ASGN: { float a[__R__]; float (&b)[__L__] = *0p; & b = & a; }
71	done STA EQ STA, L=7, R=7
72	skip STA NE STA, L=7, R=42
73	done STA EQ STA, L=7, R=enu7
74	skip STA NE STA, L=7, R=enu42
75	skip STA NE DYN, L=7, R=cpr42
76	skip STA NE UNS, L=7, R=mut42
77	done STA EQ STA, L=enu7, R=enu7
78	skip STA NE STA, L=enu7, R=enu42
79	done STA EQ STA, L=enu7, R=7
80	skip STA NE STA, L=enu7, R=42
81	skip STA NE DYN, L=enu7, R=cpr42
82	skip STA NE UNS, L=enu7, R=mut42
83	done DYN EQ DYN, L=cpr7, R=cpr7
84	done DYN NE DYN, L=cpr7, R=cpr42
85	skip DYN NE STA, L=cpr7, R=42
86	skip DYN NE STA, L=cpr7, R=enu42
87	done DYN NE UNS, L=cpr7, R=mut42
88	done UNS EQ UNS, L=mut7, R=mut7
89	done UNS NE UNS, L=mut7, R=mut42
90	skip UNS NE STA, L=mut7, R=42
91	skip UNS NE STA, L=mut7, R=enu42
92	done UNS NE DYN, L=mut7, R=cpr42

Note: See TracBrowser for help on using the repository browser.

Context Navigation

source: tests/array-container/.expect/dimexpr-match-c.txt @ 0f4ac10

Download in other formats: