Context Navigation

source: src/Tests/Expect-v/LabelledExit.txt @ 02c7d04

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 02c7d04 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: 23.7 KB

Rev	Line
[b1d6dd5]	1	main: C function
	2	accepting unspecified arguments
	3	returning
	4	signed int
	5	with body
	6	CompoundStmt
	7	Declaration of i: signed int
	8	Declaration of x: signed int
	9	Declaration of y: signed int
	10	Expression Statement:
	11	Applying untyped:
	12	Name: ?=?
	13	...to:
	14	Address of:
	15	Name: x
	16	Name: 0
	17
	18	Expression Statement:
	19	Applying untyped:
	20	Name: ?=?
	21	...to:
	22	Address of:
	23	Name: y
	24	Name: 0
	25
	26	CompoundStmt
	27	If on condition:
	28	Cast of:
	29	Applying untyped:
	30	Name: ?!=?
	31	...to:
	32	Applying untyped:
	33	Name: ?==?
	34	...to:
	35	Name: x
	36	Name: y
	37	Name: 0
	38
	39	to:
	40	signed int
	41	.... and branches:
	42	CompoundStmt
	43	Labels: {}
	44	For Statement
	45	initialization:
	46
	47	condition:
	48	Cast of:
	49	Applying untyped:
	50	Name: ?!=?
	51	...to:
	52	Applying untyped:
	53	Name: ?<?
	54	...to:
	55	Name: i
	56	Name: y
	57	Name: 0
	58
	59	to:
	60	signed int
	61
	62	increment:
	63
	64	statement block:
	65	CompoundStmt
	66	Expression Statement:
	67	Applying untyped:
	68	Name: ?+=?
	69	...to:
	70	Address of:
	71	Name: y
	72	Name: 1
	73
	74	If on condition:
	75	Cast of:
	76	Applying untyped:
	77	Name: ?!=?
	78	...to:
	79	Applying untyped:
	80	Name: ?<?
	81	...to:
	82	Name: y
	83	constant expression 10 signed int Name: 0
	84
	85	to:
	86	signed int
	87	.... and branches:
	88	Branch (Break)
	89
	90
	91
	92
	93
	94	While on condition:
	95	Cast of:
	96	Applying untyped:
	97	Name: ?!=?
	98	...to:
	99	Applying untyped:
	100	Name: ?==?
	101	...to:
	102	Name: y
	103	constant expression 10 signed int Name: 0
	104
	105	to:
	106	signed int
	107	.... with body:
	108	Null Statement
	109
	110	While on condition:
	111	Cast of:
	112	Applying untyped:
	113	Name: ?!=?
	114	...to:
	115	Applying untyped:
	116	Name: ?<?
	117	...to:
	118	Name: x
	119	constant expression 10 signed int Name: 0
	120
	121	to:
	122	signed int
	123	.... with body:
	124	CompoundStmt
	125	While on condition:
	126	Cast of:
	127	Applying untyped:
	128	Name: ?!=?
	129	...to:
	130	Applying untyped:
	131	Name: ?<?
	132	...to:
	133	Name: y
	134	constant expression 5 signed int Name: 0
	135
	136	to:
	137	signed int
	138	.... with body:
	139	CompoundStmt
	140	If on condition:
	141	Cast of:
	142	Applying untyped:
	143	Name: ?!=?
	144	...to:
	145	Applying untyped:
	146	Name: ?==?
	147	...to:
	148	Name: y
	149	constant expression 3 signed int Name: 0
	150
	151	to:
	152	signed int
	153	.... and branches:
	154	Branch (Break)
	155
	156
	157	Expression Statement:
	158	Applying untyped:
	159	Name: ?+=?
	160	...to:
	161	Address of:
	162	Name: x
	163	Name: 1
	164
	165
	166	Labels: {A,}
	167	For Statement
	168	initialization:
	169	Expression Statement:
	170	Applying untyped:
	171	Name: ?=?
	172	...to:
	173	Address of:
	174	Name: i
	175	Name: 0
	176
	177	condition:
	178	Cast of:
	179	Applying untyped:
	180	Name: ?!=?
	181	...to:
	182	Applying untyped:
	183	Name: ?<?
	184	...to:
	185	Name: i
	186	constant expression 10 signed int Name: 0
	187
	188	to:
	189	signed int
	190
	191	increment:
	192	Applying untyped:
	193	Name: ?+=?
	194	...to:
	195	Address of:
	196	Name: i
	197	Name: 1
	198
	199	statement block:
	200	CompoundStmt
	201	Labels: {B,}
	202	For Statement
	203	initialization:
	204	Expression Statement:
	205	Applying untyped:
	206	Name: ?=?
	207	...to:
	208	Address of:
	209	Name: i
	210	Name: 0
	211
	212	condition:
	213	Cast of:
	214	Applying untyped:
	215	Name: ?!=?
	216	...to:
	217	Applying untyped:
	218	Name: ?<?
	219	...to:
	220	Name: i
	221	constant expression 10 signed int Name: 0
	222
	223	to:
	224	signed int
	225
	226	increment:
	227	Applying untyped:
	228	Name: ?+=?
	229	...to:
	230	Address of:
	231	Name: i
	232	Name: 1
	233
	234	statement block:
	235	CompoundStmt
	236	Labels: {C,}
	237	For Statement
	238	initialization:
	239	Expression Statement:
	240	Applying untyped:
	241	Name: ?=?
	242	...to:
	243	Address of:
	244	Name: i
	245	Name: 0
	246
	247	condition:
	248	Cast of:
	249	Applying untyped:
	250	Name: ?!=?
	251	...to:
	252	Applying untyped:
	253	Name: ?<?
	254	...to:
	255	Name: i
	256	constant expression 10 signed int Name: 0
	257
	258	to:
	259	signed int
	260
	261	increment:
	262	Applying untyped:
	263	Name: ?+=?
	264	...to:
	265	Address of:
	266	Name: i
	267	Name: 1
	268
	269	statement block:
	270	CompoundStmt
	271	Branch (Goto)
	272
	273	Branch (Goto)
	274
	275	Branch (Goto)
	276
	277	Branch (Continue)
	278
	279	Branch (Continue)
	280
	281	Branch (Continue)
	282
	283	Branch (Continue)
	284
	285	Branch (Break)
	286
	287	Branch (Break)
	288
	289	Branch (Break)
	290
	291	Branch (Break)
	292
	293
	294
	295
	296
	297
	298
	299	Labels: {D,}
	300	For Statement
	301	initialization:
	302
	303	condition:
	304
	305	increment:
	306
	307	statement block:
	308	CompoundStmt
	309	Branch (Break)
	310
	311	Branch (Continue)
	312
	313
	314
	315	Expression Statement:
	316	Applying untyped:
	317	Name: ?+=?
	318	...to:
	319	Address of:
	320	Name: i
	321	Name: 1
	322
	323	Branch (Goto)
	324
	325	Labels: {X,Y,}
	326	For Statement
	327	initialization:
	328
	329	condition:
	330
	331	increment:
	332
	333	statement block:
	334	CompoundStmt
	335	Expression Statement:
	336	Applying untyped:
	337	Name: ?+=?
	338	...to:
	339	Address of:
	340	Name: i
	341	Name: 1
	342
	343	If on condition:
	344	Cast of:
	345	Applying untyped:
	346	Name: ?!=?
	347	...to:
	348	Applying untyped:
	349	Name: ?>?
	350	...to:
	351	Name: i
	352	constant expression 5 signed int Name: 0
	353
	354	to:
	355	signed int
	356	.... and branches:
	357	Branch (Continue)
	358
	359	If on condition:
	360	Cast of:
	361	Applying untyped:
	362	Name: ?!=?
	363	...to:
	364	Applying untyped:
	365	Name: ?<?
	366	...to:
	367	Name: i
	368	constant expression 5 signed int Name: 0
	369
	370	to:
	371	signed int
	372	.... and branches:
	373	Branch (Break)
	374
	375	If on condition:
	376	Cast of:
	377	Applying untyped:
	378	Name: ?!=?
	379	...to:
	380	Applying untyped:
	381	Name: ?<?
	382	...to:
	383	Name: i
	384	constant expression 5 signed int Name: 0
	385
	386	to:
	387	signed int
	388	.... and branches:
	389	Branch (Break)
	390
	391	Branch (Break)
	392
	393
	394
	395	Labels: {XX,}
	396	For Statement
	397	initialization:
	398
	399	condition:
	400
	401	increment:
	402
	403	statement block:
	404	CompoundStmt
	405	Labels: {YY,}
	406	For Statement
	407	initialization:
	408
	409	condition:
	410
	411	increment:
	412
	413	statement block:
	414	CompoundStmt
	415	Labels: {ZZ,}
	416	For Statement
	417	initialization:
	418
	419	condition:
	420
	421	increment:
	422
	423	statement block:
	424	CompoundStmt
	425	Expression Statement:
	426	Applying untyped:
	427	Name: ?+=?
	428	...to:
	429	Address of:
	430	Name: i
	431	Name: 1
	432
	433	If on condition:
	434	Cast of:
	435	Applying untyped:
	436	Name: ?!=?
	437	...to:
	438	Applying untyped:
	439	Name: ?>?
	440	...to:
	441	Name: i
	442	constant expression 5 signed int Name: 0
	443
	444	to:
	445	signed int
	446	.... and branches:
	447	Branch (Continue)
	448
	449	If on condition:
	450	Cast of:
	451	Applying untyped:
	452	Name: ?!=?
	453	...to:
	454	Applying untyped:
	455	Name: ?<?
	456	...to:
	457	Name: i
	458	constant expression 5 signed int Name: 0
	459
	460	to:
	461	signed int
	462	.... and branches:
	463	Branch (Continue)
	464
	465	If on condition:
	466	Cast of:
	467	Applying untyped:
	468	Name: ?!=?
	469	...to:
	470	Applying untyped:
	471	Name: ?<?
	472	...to:
	473	Name: i
	474	constant expression 5 signed int Name: 0
	475
	476	to:
	477	signed int
	478	.... and branches:
	479	Branch (Continue)
	480
	481	If on condition:
	482	Cast of:
	483	Applying untyped:
	484	Name: ?!=?
	485	...to:
	486	Applying untyped:
	487	Name: ?>?
	488	...to:
	489	Name: i
	490	constant expression 5 signed int Name: 0
	491
	492	to:
	493	signed int
	494	.... and branches:
	495	Branch (Break)
	496
	497	If on condition:
	498	Cast of:
	499	Applying untyped:
	500	Name: ?!=?
	501	...to:
	502	Applying untyped:
	503	Name: ?<?
	504	...to:
	505	Name: i
	506	constant expression 5 signed int Name: 0
	507
	508	to:
	509	signed int
	510	.... and branches:
	511	Branch (Break)
	512
	513	If on condition:
	514	Cast of:
	515	Applying untyped:
	516	Name: ?!=?
	517	...to:
	518	Applying untyped:
	519	Name: ?<?
	520	...to:
	521	Name: i
	522	constant expression 5 signed int Name: 0
	523
	524	to:
	525	signed int
	526	.... and branches:
	527	Branch (Break)
	528
	529	Branch (Break)
	530
	531
	532
	533
	534
	535
	536
	537	Labels: {}
	538	For Statement
	539	initialization:
	540
	541	condition:
	542
	543	increment:
	544
	545	statement block:
	546	Null Statement
	547
	548
	549	Labels: {}
	550	For Statement
	551	initialization:
	552	Declaration of i: signed int with initializer
	553	Simple Initializer: Name: 0
	554
	555	condition:
	556
	557	increment:
	558
	559	statement block:
	560	Null Statement
	561
	562
	563	Labels: {}
	564	For Statement
	565	initialization:
	566
	567	condition:
	568	Cast of:
	569	Applying untyped:
	570	Name: ?!=?
	571	...to:
	572	Applying untyped:
	573	Name: ?<?
	574	...to:
	575	Name: i
	576	Name: 0
	577	Name: 0
	578
	579	to:
	580	signed int
	581
	582	increment:
	583
	584	statement block:
	585	Null Statement
	586
	587
	588	Labels: {}
	589	For Statement
	590	initialization:
	591
	592	condition:
	593
	594	increment:
	595	Applying untyped:
	596	Name: ?+=?
	597	...to:
	598	Address of:
	599	Name: i
	600	Name: 1
	601
	602	statement block:
	603	Null Statement
	604
	605
	606	Labels: {L0,L1,L2,L3,L4,L5,L6,L7,L8,L9,L10,L11,L12,L13,L14,L15,L16,L17,L18,L19,L20,L21,L22,L23,L24,L25,L26,L27,L28,L29,L31,L32,L33,L34,}
	607	For Statement
	608	initialization:
	609
	610	condition:
	611
	612	increment:
	613
	614	statement block:
	615	CompoundStmt
	616	Branch (Break)
	617
	618
	619
	620	Switch on condition: Name: i
	621
	622	Default
	623	Expression Statement:
	624	Applying untyped:
	625	Name: ?+=?
	626	...to:
	627	Address of:
	628	Name: i
	629	Name: 1
	630	Case Name: 0
	631
	632	Expression Statement:
	633	Applying untyped:
	634	Name: ?+=?
	635	...to:
	636	Address of:
	637	Name: i
	638	Name: 1
	639	Branch (Break)
	640	Case Name: 1
	641
	642	Switch on condition: Name: i
	643
	644	Case Name: 0
	645
	646	Branch (Break)
	647	Default
	648	Branch (Break)
	649
	650	Choose on condition: Name: i
	651
	652	Default
	653	Expression Statement:
	654	Applying untyped:
	655	Name: ?+=?
	656	...to:
	657	Address of:
	658	Name: i
	659	Name: 1
	660	Case Name: 0
	661
	662	Expression Statement:
	663	Applying untyped:
	664	Name: ?+=?
	665	...to:
	666	Address of:
	667	Name: i
	668	Name: 1
	669	Branch (Break)
	670	Case Name: 1
	671
	672	Choose on condition: Name: i
	673
	674	Case Name: 0
	675
	676	Branch (Break)
	677	Default
	678	Branch (Break)
	679	Fall-through statement
	680	Case constant expression 2 signed int
	681	Expression Statement:
	682	Applying untyped:
	683	Name: ?+=?
	684	...to:
	685	Address of:
	686	Name: i
	687	Name: 1
	688
	689	CompoundStmt
	690	Declaration of array: static open array of pointer to void with initializer
	691	Compound initializer:
	692	Simple Initializer: Applying untyped:
	693	Name: LabAddress
	694	...to:
	695	Name: foo
	696
	697	Simple Initializer: Applying untyped:
	698	Name: LabAddress
	699	...to:
	700	Name: bar
	701
	702	Simple Initializer: Applying untyped:
	703	Name: LabAddress
	704	...to:
	705	Name: hack
	706
	707	Branch (Goto)
	708
	709
	710	If on condition:
	711	Cast of:
	712	Applying untyped:
	713	Name: ?!=?
	714	...to:
	715	Applying untyped:
	716	Name: ?>?
	717	...to:
	718	Name: i
	719	constant expression 5 signed int Name: 0
	720
	721	to:
	722	signed int
	723	.... and branches:
	724	CompoundStmt
	725	Expression Statement:
	726	Applying untyped:
	727	Name: ?+=?
	728	...to:
	729	Address of:
	730	Name: i
	731	Name: 1
	732
	733	Branch (Break)
	734
	735	Expression Statement:
	736	Applying untyped:
	737	Name: ?+=?
	738	...to:
	739	Address of:
	740	Name: i
	741	Name: 1
	742
	743

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

Download in other formats: