Context Navigation

source: src/Tests/Expect-e/InferParam.txt @ 45576af9

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decaygc_noraiijacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc

Last change on this file since 45576af9 was b1d6dd5, checked in by Peter A. Buhr <pabuhr@…>, 9 years ago
fix parsing error for EOF message, change cfa-ccp -x flag to -v, regression testing third attempt: consolidate example programs
Property mode set to `100644`
File size: 12.5 KB

Rev	Line
[b1d6dd5]	1	?=?: function
	2	with parameters
	3	pointer to signed int
	4	signed int
	5	returning
	6	signed int
	7
	8	?=?: function
	9	with parameters
	10	pointer to float
	11	float
	12	returning
	13	float
	14
	15	?=?: function
	16	with parameters
	17	pointer to double
	18	double
	19	returning
	20	double
	21
	22	g: forall
	23	T: type
	24	with assertions
	25	?=?: pointer to function
	26	with parameters
	27	pointer to instance of type T (not function type)
	28	instance of type T (not function type)
	29	returning
	30	instance of type T (not function type)
	31
	32
	33	U: type
	34	with assertions
	35	?=?: pointer to function
	36	with parameters
	37	pointer to instance of type U (not function type)
	38	instance of type U (not function type)
	39	returning
	40	instance of type U (not function type)
	41
	42	f: pointer to function
	43	with parameters
	44	instance of type T (not function type)
	45	returning
	46	instance of type U (not function type)
	47
	48
	49	function
	50	with parameters
	51	instance of type T (not function type)
	52	returning
	53	instance of type U (not function type)
	54
	55	f: function
	56	with parameters
	57	signed int
	58	returning
	59	float
	60
	61	f: function
	62	with parameters
	63	signed int
	64	returning
	65	double
	66
	67	i: function
	68	with parameters
	69	float
	70	returning
	71	nothing
	72
	73	h: function
	74	accepting unspecified arguments
	75	returning
	76	nothing
	77	with body
	78	CompoundStmt
	79	Declaration of a: signed int
	80	Expression Statement:
	81	Application of
	82	Variable Expression: i: function
	83	with parameters
	84	float
	85	returning
	86	nothing
	87
	88	to arguments
	89	Application of
	90	Variable Expression: g: forall
	91	T: type
	92	with assertions
	93	?=?: pointer to function
	94	with parameters
	95	pointer to instance of type T (not function type)
	96	instance of type T (not function type)
	97	returning
	98	instance of type T (not function type)
	99
	100
	101	U: type
	102	with assertions
	103	?=?: pointer to function
	104	with parameters
	105	pointer to instance of type U (not function type)
	106	instance of type U (not function type)
	107	returning
	108	instance of type U (not function type)
	109
	110	f: pointer to function
	111	with parameters
	112	instance of type T (not function type)
	113	returning
	114	instance of type U (not function type)
	115
	116
	117	function
	118	with parameters
	119	instance of type T (not function type)
	120	returning
	121	instance of type U (not function type)
	122
	123	to arguments
	124	Variable Expression: a: signed int
	125
	126	with inferred parameters:
	127	?=?: function
	128	with parameters
	129	pointer to signed int
	130	signed int
	131	returning
	132	signed int
	133
	134	?=?: function
	135	with parameters
	136	pointer to float
	137	float
	138	returning
	139	float
	140
	141	f: function
	142	with parameters
	143	signed int
	144	returning
	145	float
	146
	147
	148	with environment:
	149	Types:
	150	_0_T -> signed int
	151	_1_U -> float
	152	Non-types:
	153
	154
	155	context has_f_and_j
	156	with parameters
	157	T: type
	158	U: type
	159
	160	with members
	161	f: function
	162	with parameters
	163	instance of type T (not function type)
	164	returning
	165	instance of type U (not function type)
	166
	167	j: function
	168	with parameters
	169	instance of type T (not function type)
	170	instance of type U (not function type)
	171	returning
	172	instance of type U (not function type)
	173
	174
	175	j: function
	176	with parameters
	177	signed int
	178	float
	179	returning
	180	float
	181
	182	k: forall
	183	T: type
	184	with assertions
	185	?=?: pointer to function
	186	with parameters
	187	pointer to instance of type T (not function type)
	188	instance of type T (not function type)
	189	returning
	190	instance of type T (not function type)
	191
	192
	193	U: type
	194	with assertions
	195	?=?: pointer to function
	196	with parameters
	197	pointer to instance of type U (not function type)
	198	instance of type U (not function type)
	199	returning
	200	instance of type U (not function type)
	201
	202	f: pointer to function
	203	with parameters
	204	instance of type T (not function type)
	205	returning
	206	instance of type U (not function type)
	207
	208	j: pointer to function
	209	with parameters
	210	instance of type T (not function type)
	211	instance of type U (not function type)
	212	returning
	213	instance of type U (not function type)
	214
	215
	216	function
	217	with parameters
	218	instance of type T (not function type)
	219	returning
	220	instance of type U (not function type)
	221
	222	l: function
	223	accepting unspecified arguments
	224	returning
	225	nothing
	226	with body
	227	CompoundStmt
	228	Declaration of b: signed int
	229	Expression Statement:
	230	Application of
	231	Variable Expression: i: function
	232	with parameters
	233	float
	234	returning
	235	nothing
	236
	237	to arguments
	238	Application of
	239	Variable Expression: k: forall
	240	T: type
	241	with assertions
	242	?=?: pointer to function
	243	with parameters
	244	pointer to instance of type T (not function type)
	245	instance of type T (not function type)
	246	returning
	247	instance of type T (not function type)
	248
	249
	250	U: type
	251	with assertions
	252	?=?: pointer to function
	253	with parameters
	254	pointer to instance of type U (not function type)
	255	instance of type U (not function type)
	256	returning
	257	instance of type U (not function type)
	258
	259	f: pointer to function
	260	with parameters
	261	instance of type T (not function type)
	262	returning
	263	instance of type U (not function type)
	264
	265	j: pointer to function
	266	with parameters
	267	instance of type T (not function type)
	268	instance of type U (not function type)
	269	returning
	270	instance of type U (not function type)
	271
	272
	273	function
	274	with parameters
	275	instance of type T (not function type)
	276	returning
	277	instance of type U (not function type)
	278
	279	to arguments
	280	Variable Expression: b: signed int
	281
	282	with inferred parameters:
	283	?=?: function
	284	with parameters
	285	pointer to signed int
	286	signed int
	287	returning
	288	signed int
	289
	290	?=?: function
	291	with parameters
	292	pointer to float
	293	float
	294	returning
	295	float
	296
	297	f: function
	298	with parameters
	299	signed int
	300	returning
	301	float
	302
	303	j: function
	304	with parameters
	305	signed int
	306	float
	307	returning
	308	float
	309
	310
	311	with environment:
	312	Types:
	313	_0_T -> signed int
	314	_1_U -> float
	315	Non-types:
	316
	317
	318	int ___operator_assign__Fi_Pii_(int *, int );
	319	float ___operator_assign__Ff_Pff_(float *, float );
	320	double ___operator_assign__Fd_Pdd_(double *, double );
	321	void __g__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0__Ft1_t0_(void (_adapterF2tU_2tT_)(void ()(), void , void ), void (_adapterF2tU_P2tU2tU_)(void ()(), void , void , void ), void (_adapterF2tT_P2tT2tT_)(void ()(), void , void , void ), long unsigned int T, long unsigned int U, void (___operator_assign__PF2tT_P2tT2tT_)(), void (___operator_assign__PF2tU_P2tU2tU_)(), void (__f__PF2tU_2tT_)(), void , void *);
	322	float __f__Ff_i_(int );
	323	double __f__Fd_i_(int );
	324	void __i__F_f_(float );
	325	void __h__F__(){
	326	int __a__i;
	327	float _temp0;
	328	void _adapterFi_Pii_(void (_adaptee)(), void _ret, void _p0, void _p1){
	329	((((int )_ret))=((int ()(int , int ))_adaptee)(_p0, (((int )_p1))));
	330	}
	331	void _adapterFf_Pff_(void (_adaptee)(), void _ret, void _p0, void _p1){
	332	((((float )_ret))=((float ()(float , float ))_adaptee)(_p0, (((float )_p1))));
	333	}
	334	void _adapterFf_i_(void (_adaptee)(), void _ret, void *_p0){
	335	((((float )_ret))=((float ()(int ))_adaptee)((((int *)_p0))));
	336	}
	337	__i__F_f_((__g__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0__Ft1_t0_(_adapterFf_i_, _adapterFf_Pff_, _adapterFi_Pii_, sizeof(int ), sizeof(float ), ((void ()())___operator_assign__Fi_Pii_), ((void ()())___operator_assign__Ff_Pff_), ((void (*)())__f__Ff_i_), (&_temp0), (&__a__i)) , _temp0));
	338	}
	339	;
	340	float __j__Ff_if_(int , float );
	341	void __k__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0___j__PFt1_t0t1__Ft1_t0_(void (_adapterF2tU_2tT2tU_)(void ()(), void , void , void ), void (_adapterF2tU_2tT_)(void ()(), void , void ), void (_adapterF2tU_P2tU2tU_)(void ()(), void , void , void ), void (_adapterF2tT_P2tT2tT_)(void ()(), void , void , void ), long unsigned int T, long unsigned int U, void (___operator_assign__PF2tT_P2tT2tT_)(), void (___operator_assign__PF2tU_P2tU2tU_)(), void (__f__PF2tU_2tT_)(), void (__j__PF2tU_2tT2tU_)(), void , void *);
	342	void __l__F__(){
	343	int __b__i;
	344	float _temp1;
	345	void _adapterFi_Pii_(void (_adaptee)(), void _ret, void _p0, void _p1){
	346	((((int )_ret))=((int ()(int , int ))_adaptee)(_p0, (((int )_p1))));
	347	}
	348	void _adapterFf_Pff_(void (_adaptee)(), void _ret, void _p0, void _p1){
	349	((((float )_ret))=((float ()(float , float ))_adaptee)(_p0, (((float )_p1))));
	350	}
	351	void _adapterFf_i_(void (_adaptee)(), void _ret, void *_p0){
	352	((((float )_ret))=((float ()(int ))_adaptee)((((int *)_p0))));
	353	}
	354	void _adapterFf_if_(void (_adaptee)(), void _ret, void _p0, void _p1){
	355	((((float )_ret))=((float ()(int , float ))_adaptee)((((int )_p0)), (((float *)_p1))));
	356	}
	357	__i__F_f_((__k__A2_0_0____operator_assign__PFt0_Pt0t0____operator_assign__PFt1_Pt1t1___f__PFt1_t0___j__PFt1_t0t1__Ft1_t0_(_adapterFf_if_, _adapterFf_i_, _adapterFf_Pff_, _adapterFi_Pii_, sizeof(int ), sizeof(float ), ((void ()())___operator_assign__Fi_Pii_), ((void ()())___operator_assign__Ff_Pff_), ((void ()())__f__Ff_i_), ((void ()())__j__Ff_if_), (&_temp1), (&__b__i)) , _temp1));
	358	}

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

Download in other formats: