Context Navigation

dimexpr-match-c.txt@ c84dd61

Visit:

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

Rev	Line
[0f4ac10]	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@ c84dd61

Download in other formats: