gnat.dg\testsuite\gcc - delta/gcc.git - gcc.gnu.org: git/gcc.git

Mode	Name	Size
-rw-r--r--	abstract1.adb	964	log plain
-rw-r--r--	abstract1.ads	619	log plain
-rw-r--r--	abstract_with_anonymous_result.adb	896	log plain
-rw-r--r--	access1.adb	414	log plain
-rw-r--r--	access2.adb	367	log plain
-rw-r--r--	access3.adb	318	log plain
-rw-r--r--	access3.ads	246	log plain
-rw-r--r--	access4.adb	147	log plain
-rw-r--r--	access_discr.adb	559	log plain
-rw-r--r--	access_discr2.adb	197	log plain
-rw-r--r--	access_func.adb	217	log plain
-rw-r--r--	access_test.adb	563	log plain
-rw-r--r--	addr1.adb	387	log plain
-rw-r--r--	addr1.ads	48	log plain
-rw-r--r--	addr2.adb	158	log plain
-rw-r--r--	addr2_p.adb	248	log plain
-rw-r--r--	addr2_p.ads	229	log plain
-rw-r--r--	addr3.adb	664	log plain
-rw-r--r--	addr4.adb	253	log plain
-rw-r--r--	addr5.adb	199	log plain
-rw-r--r--	addr6.adb	554	log plain
-rw-r--r--	addr7.adb	179	log plain
-rw-r--r--	addr7.ads	145	log plain
-rw-r--r--	addr8.adb	171	log plain
-rw-r--r--	addr8.ads	137	log plain
-rw-r--r--	addr9_1.adb	827	log plain
-rw-r--r--	addr9_2.adb	854	log plain
-rw-r--r--	addr9_3.adb	819	log plain
-rw-r--r--	addr9_4.adb	811	log plain
-rw-r--r--	addr_slice.adb	408	log plain
-rw-r--r--	address_conv.adb	322	log plain
-rw-r--r--	address_conversion.adb	452	log plain
-rw-r--r--	address_null_init.ads	226	log plain
-rw-r--r--	aggr1.adb	1228	log plain
-rw-r--r--	aggr10.adb	593	log plain
-rw-r--r--	aggr10_pkg.ads	460	log plain
-rw-r--r--	aggr11.adb	405	log plain
-rw-r--r--	aggr11_pkg.ads	283	log plain
-rw-r--r--	aggr12.adb	350	log plain
-rw-r--r--	aggr12.ads	261	log plain
-rw-r--r--	aggr13.adb	390	log plain
-rw-r--r--	aggr14.adb	91	log plain
-rw-r--r--	aggr14_pkg.adb	235	log plain
-rw-r--r--	aggr14_pkg.ads	148	log plain
-rw-r--r--	aggr15.adb	303	log plain
-rw-r--r--	aggr15.ads	233	log plain
-rw-r--r--	aggr16.adb	431	log plain
-rw-r--r--	aggr16.ads	50	log plain
-rw-r--r--	aggr16_pkg.ads	433	log plain
-rw-r--r--	aggr17.adb	554	log plain
-rw-r--r--	aggr18.adb	545	log plain
-rw-r--r--	aggr19.adb	253	log plain
-rw-r--r--	aggr19_pkg.adb	153	log plain
-rw-r--r--	aggr19_pkg.ads	570	log plain
-rw-r--r--	aggr2.adb	310	log plain
-rw-r--r--	aggr20.adb	147	log plain
-rw-r--r--	aggr20.ads	430	log plain
-rw-r--r--	aggr20_pkg.ads	140	log plain
-rw-r--r--	aggr21.adb	284	log plain
-rw-r--r--	aggr21_pkg.adb	135	log plain
-rw-r--r--	aggr21_pkg.ads	178	log plain
-rw-r--r--	aggr3.adb	842	log plain
-rw-r--r--	aggr4.adb	514	log plain
-rw-r--r--	aggr7.adb	813	log plain
-rw-r--r--	aggr8.adb	401	log plain
-rw-r--r--	aggr9.adb	162	log plain
-rw-r--r--	aggr9.ads	89	log plain
-rw-r--r--	aggr9_pkg.ads	231	log plain
-rw-r--r--	aliased1.adb	568	log plain
-rw-r--r--	aliased_prefix_accessibility.adb	1558	log plain
-rw-r--r--	aliasing1.adb	441	log plain
-rw-r--r--	aliasing1.ads	177	log plain
-rw-r--r--	aliasing2.adb	446	log plain
-rw-r--r--	aliasing2.ads	163	log plain
-rw-r--r--	aliasing3.adb	162	log plain
-rw-r--r--	aliasing3_pkg.adb	157	log plain
-rw-r--r--	aliasing3_pkg.ads	305	log plain
-rw-r--r--	align_check.adb	523	log plain
-rw-r--r--	align_max.adb	3832	log plain
-rw-r--r--	aligned_vla.adb	533	log plain
-rw-r--r--	alignment1.adb	247	log plain
-rw-r--r--	alignment10.adb	390	log plain
-rw-r--r--	alignment2.adb	1236	log plain
-rw-r--r--	alignment3.adb	883	log plain
-rw-r--r--	alignment4.adb	237	log plain
-rw-r--r--	alignment5.adb	654	log plain
-rw-r--r--	alignment6.adb	713	log plain
-rw-r--r--	alignment7.adb	306	log plain
-rw-r--r--	alignment8.adb	318	log plain
-rw-r--r--	alignment9.adb	444	log plain
-rw-r--r--	allocator_maxalign1.adb	964	log plain
-rw-r--r--	allocator_maxalign2.adb	669	log plain
-rw-r--r--	allocator_maxalign2.ads	211	log plain
-rw-r--r--	ancestor_type.adb	233	log plain
-rw-r--r--	ancestor_type.ads	200	log plain
-rw-r--r--	anon1.ads	66	log plain
-rw-r--r--	anon2.adb	120	log plain
-rw-r--r--	array1.adb	656	log plain
-rw-r--r--	array1.ads	151	log plain
-rw-r--r--	array10.adb	449	log plain
-rw-r--r--	array11.adb	333	log plain
-rw-r--r--	array12.adb	347	log plain
-rw-r--r--	array13.adb	211	log plain
-rw-r--r--	array13.ads	201	log plain
-rw-r--r--	array14.adb	682	log plain
-rw-r--r--	array14.ads	52	log plain
-rw-r--r--	array14_pkg.ads	455	log plain
-rw-r--r--	array15.adb	397	log plain
-rw-r--r--	array15.ads	78	log plain
-rw-r--r--	array16.adb	550	log plain
-rw-r--r--	array16.ads	537	log plain
-rw-r--r--	array16_pkg.ads	71	log plain
-rw-r--r--	array17.adb	242	log plain
-rw-r--r--	array17_pkg.ads	180	log plain
-rw-r--r--	array18.adb	125	log plain
-rw-r--r--	array18_pkg.ads	132	log plain
-rw-r--r--	array19.adb	531	log plain
-rw-r--r--	array19.ads	53	log plain
-rw-r--r--	array2.ads	129	log plain
-rw-r--r--	array20.adb	201	log plain
-rw-r--r--	array20.ads	60	log plain
-rw-r--r--	array21.adb	309	log plain
-rw-r--r--	array22.adb	385	log plain
-rw-r--r--	array23.adb	145	log plain
-rw-r--r--	array23_pkg1.ads	254	log plain
-rw-r--r--	array23_pkg2.ads	199	log plain
-rw-r--r--	array23_pkg3.ads	65	log plain
-rw-r--r--	array24.adb	257	log plain
-rw-r--r--	array25.adb	129	log plain
-rw-r--r--	array25_pkg.adb	250	log plain
-rw-r--r--	array25_pkg.ads	268	log plain
-rw-r--r--	array26.adb	357	log plain
-rw-r--r--	array26_pkg.adb	114	log plain
-rw-r--r--	array26_pkg.ads	157	log plain
-rw-r--r--	array27.adb	359	log plain
-rw-r--r--	array27_pkg.adb	114	log plain
-rw-r--r--	array27_pkg.ads	157	log plain
-rw-r--r--	array28.adb	359	log plain
-rw-r--r--	array28_pkg.adb	116	log plain
-rw-r--r--	array28_pkg.ads	157	log plain
-rw-r--r--	array3.adb	1110	log plain
-rw-r--r--	array4.adb	576	log plain
-rw-r--r--	array5.adb	575	log plain
-rw-r--r--	array6.adb	605	log plain
-rw-r--r--	array7.adb	488	log plain
-rw-r--r--	array7.ads	484	log plain
-rw-r--r--	array8.adb	575	log plain
-rw-r--r--	array9.adb	309	log plain
-rw-r--r--	array_bounds_test.adb	397	log plain
-rw-r--r--	array_bounds_test2.adb	525	log plain
-rw-r--r--	assert.ads	75	log plain
-rw-r--r--	assert1.adb	1086	log plain
-rw-r--r--	assign_from_packed.adb	257	log plain
-rw-r--r--	assign_from_packed_pixels.ads	335	log plain
-rw-r--r--	asynch.adb	556	log plain
-rw-r--r--	asynch.ads	199	log plain
-rw-r--r--	atomic1.adb	379	log plain
-rw-r--r--	atomic1_pkg.ads	1024	log plain
-rw-r--r--	atomic2.adb	214	log plain
-rw-r--r--	atomic3.adb	398	log plain
-rw-r--r--	atomic4.adb	270	log plain
-rw-r--r--	atomic4.ads	534	log plain
-rw-r--r--	atomic5.adb	341	log plain
-rw-r--r--	atomic5.ads	382	log plain
-rw-r--r--	atomic6_1.adb	1440	log plain
-rw-r--r--	atomic6_2.adb	1634	log plain
-rw-r--r--	atomic6_3.adb	1728	log plain
-rw-r--r--	atomic6_4.adb	1566	log plain
-rw-r--r--	atomic6_5.adb	1476	log plain
-rw-r--r--	atomic6_6.adb	1496	log plain
-rw-r--r--	atomic6_7.adb	1546	log plain
-rw-r--r--	atomic6_8.adb	1429	log plain
-rw-r--r--	atomic6_pkg.ads	600	log plain
-rw-r--r--	atomic7_1.adb	214	log plain
-rw-r--r--	atomic7_2.adb	143	log plain
-rw-r--r--	atomic7_pkg1.ads	152	log plain
-rw-r--r--	atomic7_pkg2.adb	217	log plain
-rw-r--r--	atomic7_pkg2.ads	77	log plain
-rw-r--r--	atomic8.adb	578	log plain
-rw-r--r--	bad_array.adb	146	log plain
-rw-r--r--	biased_subtype.adb	410	log plain
-rw-r--r--	biased_uc.adb	1067	log plain
-rw-r--r--	bip_aggregate_bug.adb	1341	log plain
-rw-r--r--	bip_prim_func.adb	277	log plain
-rw-r--r--	bip_prim_func.ads	222	log plain
-rw-r--r--	bit_packed_array1.adb	369	log plain
-rw-r--r--	bit_packed_array1.ads	934	log plain
-rw-r--r--	bit_packed_array2.adb	324	log plain
-rw-r--r--	bit_packed_array3.adb	971	log plain
-rw-r--r--	bit_packed_array4.adb	182	log plain
-rw-r--r--	bit_packed_array4.ads	411	log plain
-rw-r--r--	bit_packed_array5.adb	453	log plain
-rw-r--r--	bit_packed_array5.ads	363	log plain
-rw-r--r--	blkextract_from_reg.adb	1178	log plain
-rw-r--r--	bltins.adb	202	log plain
-rw-r--r--	boolean_bitfield.adb	1198	log plain
-rw-r--r--	boolean_conv.adb	536	log plain
-rw-r--r--	boolean_expr1.adb	781	log plain
-rw-r--r--	boolean_expr1.ads	95	log plain
-rw-r--r--	boolean_expr2.adb	314	log plain
-rw-r--r--	boolean_subtype1.adb	753	log plain
-rw-r--r--	boolean_subtype2.adb	945	log plain
-rw-r--r--	boolean_subtype2.ads	186	log plain
-rw-r--r--	boolean_subtype2_pkg.ads	285	log plain
-rw-r--r--	bug_elaboration_code.adb	184	log plain
-rw-r--r--	bug_elaboration_code.ads	119	log plain
-rw-r--r--	c_words.adb	288	log plain
-rw-r--r--	c_words.ads	469	log plain
-rw-r--r--	capture_value.adb	245	log plain
-rw-r--r--	case_character.adb	303	log plain
-rw-r--r--	case_null.adb	315	log plain
-rw-r--r--	case_null.ads	207	log plain
-rw-r--r--	case_optimization1.adb	518	log plain
-rw-r--r--	case_optimization1.ads	161	log plain
-rw-r--r--	case_optimization2.adb	276	log plain
-rw-r--r--	case_optimization_pkg1.ads	18675	log plain
-rw-r--r--	case_optimization_pkg2.adb	598	log plain
-rw-r--r--	case_optimization_pkg2.ads	764	log plain
-rw-r--r--	check1.adb	146	log plain
-rw-r--r--	check1.ads	207	log plain
-rw-r--r--	check_displace_generation.adb	1100	log plain
-rw-r--r--	check_elaboration_code.adb	197	log plain
-rw-r--r--	class_wide1.adb	489	log plain
-rw-r--r--	class_wide2.adb	287	log plain
-rw-r--r--	class_wide2.ads	311	log plain
-rw-r--r--	complex1.adb	205	log plain
-rw-r--r--	complex1_pkg.ads	86	log plain
-rw-r--r--	compose.adb	293	log plain
-rw-r--r--	concat1.adb	482	log plain
-rw-r--r--	concat1_pkg.adb	117	log plain
-rw-r--r--	concat1_pkg.ads	89	log plain
-rw-r--r--	concat2.adb	362	log plain
-rw-r--r--	concat2.ads	55	log plain
-rw-r--r--	concat_length.adb	317	log plain
-rw-r--r--	cond_expr1.adb	177	log plain
-rw-r--r--	cond_expr2.adb	209	log plain
-rw-r--r--	cond_expr2.ads	82	log plain
-rw-r--r--	constant1.adb	134	log plain
-rw-r--r--	constant2.adb	171	log plain
-rw-r--r--	constant2_pkg1.ads	134	log plain
-rw-r--r--	constant2_pkg2.adb	184	log plain
-rw-r--r--	constant2_pkg2.ads	108	log plain
-rw-r--r--	constant3.adb	391	log plain
-rw-r--r--	constant4.adb	211	log plain
-rw-r--r--	constant4_pkg.ads	440	log plain
-rw-r--r--	controlled1.ads	372	log plain
-rw-r--r--	controlled2.adb	239	log plain
-rw-r--r--	controlled2.ads	101	log plain
-rw-r--r--	controlled3.ads	371	log plain
-rw-r--r--	controlled4.adb	192	log plain
-rw-r--r--	controlled4.ads	89	log plain
-rw-r--r--	controlled5.adb	141	log plain
-rw-r--r--	controlled5_pkg.adb	367	log plain
-rw-r--r--	controlled5_pkg.ads	369	log plain
-rw-r--r--	controlled6.adb	514	log plain
-rw-r--r--	controlled6_pkg-iterators.adb	560	log plain
-rw-r--r--	controlled6_pkg-iterators.ads	493	log plain
-rw-r--r--	controlled6_pkg.ads	212	log plain
-rw-r--r--	controlled7.adb	403	log plain
-rw-r--r--	controlled7.ads	146	log plain
-rw-r--r--	controlled_record.adb	281	log plain
-rw-r--r--	controlled_record.ads	329	log plain
-rw-r--r--	conv_bug.adb	685	log plain
-rw-r--r--	conv_decimal.adb	739	log plain
-rw-r--r--	conv_integer.adb	246	log plain
-rw-r--r--	conv_real.adb	568	log plain
-rw-r--r--	curr_task.adb	2246	log plain
-rw-r--r--	debug1.ads	502	log plain
-rw-r--r--	debug10.adb	1325	log plain
-rw-r--r--	debug10_pkg.ads	3492	log plain
-rw-r--r--	debug2.adb	599	log plain
-rw-r--r--	debug2.ads	52	log plain
-rw-r--r--	debug2_pkg.ads	404	log plain
-rw-r--r--	debug3.adb	483	log plain
-rw-r--r--	debug3.ads	50	log plain
-rw-r--r--	debug4.adb	142	log plain
-rw-r--r--	debug4_pkg.adb	729	log plain
-rw-r--r--	debug4_pkg.ads	676	log plain
-rw-r--r--	debug5.adb	438	log plain
-rw-r--r--	debug6.adb	170	log plain
-rw-r--r--	debug6_pkg.ads	370	log plain
-rw-r--r--	debug7.adb	333	log plain
-rw-r--r--	debug7.ads	145	log plain
-rw-r--r--	debug8.adb	761	log plain
-rw-r--r--	debug9.adb	1631	log plain
-rw-r--r--	decl_ctx_def.ads	48	log plain
-rw-r--r--	decl_ctx_use.adb	229	log plain
-rw-r--r--	decl_ctx_use.ads	74	log plain
-rw-r--r--	deferred_const1.adb	276	log plain
-rw-r--r--	deferred_const2.adb	203	log plain
-rw-r--r--	deferred_const2_pkg.adb	201	log plain
-rw-r--r--	deferred_const2_pkg.ads	224	log plain
-rw-r--r--	deferred_const3.adb	344	log plain
-rw-r--r--	deferred_const3_pkg.adb	342	log plain
-rw-r--r--	deferred_const3_pkg.ads	356	log plain
-rw-r--r--	deferred_const4.adb	174	log plain
-rw-r--r--	deferred_const4.ads	279	log plain
-rw-r--r--	deferred_const4_pkg.ads	347	log plain
-rw-r--r--	deques.ads	400	log plain
-rw-r--r--	deref1.ads	104	log plain
-rw-r--r--	deref2.ads	344	log plain
-rw-r--r--	deref3.adb	172	log plain
-rw-r--r--	derived_aggregate.adb	666	log plain
-rw-r--r--	derived_type1.adb	601	log plain
-rw-r--r--	derived_type2.adb	633	log plain
-rw-r--r--	derived_type3.adb	124	log plain
-rw-r--r--	derived_type3_pkg.adb	1048	log plain
-rw-r--r--	derived_type3_pkg.ads	94	log plain
-rw-r--r--	derived_type4.adb	288	log plain
-rw-r--r--	dg.exp	1096	log plain
-rw-r--r--	discr1.ads	466	log plain
-rw-r--r--	discr10.adb	146	log plain
-rw-r--r--	discr10.ads	516	log plain
-rw-r--r--	discr11.adb	164	log plain
-rw-r--r--	discr11.ads	174	log plain
-rw-r--r--	discr11_pkg.ads	213	log plain
-rw-r--r--	discr12.adb	565	log plain
-rw-r--r--	discr12_pkg.ads	89	log plain
-rw-r--r--	discr13.adb	607	log plain
-rw-r--r--	discr14.adb	270	log plain
-rw-r--r--	discr14.ads	1063	log plain
-rw-r--r--	discr15.adb	312	log plain
-rw-r--r--	discr15_pkg.ads	436	log plain
-rw-r--r--	discr16.adb	404	log plain
-rw-r--r--	discr16_cont.ads	105	log plain
-rw-r--r--	discr16_g.ads	289	log plain
-rw-r--r--	discr16_pkg.ads	165	log plain
-rw-r--r--	discr17.adb	1085	log plain
-rw-r--r--	discr18.adb	499	log plain
-rw-r--r--	discr18_pkg.ads	470	log plain
-rw-r--r--	discr19.adb	342	log plain
-rw-r--r--	discr2.adb	372	log plain
-rw-r--r--	discr2.ads	53	log plain
-rw-r--r--	discr20.adb	141	log plain
-rw-r--r--	discr20.ads	605	log plain
-rw-r--r--	discr21.adb	584	log plain
-rw-r--r--	discr21.ads	52	log plain
-rw-r--r--	discr21_pkg.ads	351	log plain
-rw-r--r--	discr22.adb	404	log plain
-rw-r--r--	discr23.adb	280	log plain
-rw-r--r--	discr23.ads	53	log plain
-rw-r--r--	discr23_pkg.ads	221	log plain
-rw-r--r--	discr24.adb	1192	log plain
-rw-r--r--	discr25.adb	140	log plain
-rw-r--r--	discr25_pkg.adb	463	log plain
-rw-r--r--	discr25_pkg.ads	195	log plain
-rw-r--r--	discr26.adb	258	log plain
-rw-r--r--	discr26.ads	245	log plain
-rw-r--r--	discr26_pkg.ads	71	log plain
-rw-r--r--	discr27.adb	605	log plain
-rw-r--r--	discr27.ads	53	log plain
-rw-r--r--	discr28.adb	307	log plain
-rw-r--r--	discr28.ads	337	log plain
-rw-r--r--	discr28_pkg.ads	71	log plain
-rw-r--r--	discr29.adb	139	log plain
-rw-r--r--	discr29.ads	420	log plain
-rw-r--r--	discr3.ads	299	log plain
-rw-r--r--	discr30.adb	1194	log plain
-rw-r--r--	discr31.adb	226	log plain
-rw-r--r--	discr31.ads	370	log plain
-rw-r--r--	discr32.adb	327	log plain
-rw-r--r--	discr32_pkg.ads	472	log plain
-rw-r--r--	discr33.adb	610	log plain
-rw-r--r--	discr34.adb	121	log plain
-rw-r--r--	discr34_pkg.ads	271	log plain
-rw-r--r--	discr35.adb	215	log plain
-rw-r--r--	discr35.ads	361	log plain
-rw-r--r--	discr36.adb	298	log plain
-rw-r--r--	discr36.ads	206	log plain
-rw-r--r--	discr36_pkg.adb	151	log plain
-rw-r--r--	discr36_pkg.ads	101	log plain
-rw-r--r--	discr37.adb	217	log plain
-rw-r--r--	discr37.ads	463	log plain
-rw-r--r--	discr38.adb	941	log plain
-rw-r--r--	discr39.adb	456	log plain
-rw-r--r--	discr4.adb	894	log plain
-rw-r--r--	discr40.adb	231	log plain
-rw-r--r--	discr40.ads	719	log plain
-rw-r--r--	discr41.adb	168	log plain
-rw-r--r--	discr41.ads	437	log plain
-rw-r--r--	discr42.adb	265	log plain
-rw-r--r--	discr42_pkg.adb	255	log plain
-rw-r--r--	discr42_pkg.ads	249	log plain
-rw-r--r--	discr43.adb	382	log plain
-rw-r--r--	discr44.adb	496	log plain
-rw-r--r--	discr45.adb	810	log plain
-rw-r--r--	discr46.adb	244	log plain
-rw-r--r--	discr46.ads	450	log plain
-rw-r--r--	discr47.adb	299	log plain
-rw-r--r--	discr5.adb	323	log plain
-rw-r--r--	discr7.adb	436	log plain
-rw-r--r--	discr8.adb	636	log plain
-rw-r--r--	discr8.ads	350	log plain
-rw-r--r--	discr8_pkg1.ads	203	log plain
-rw-r--r--	discr8_pkg2.ads	236	log plain
-rw-r--r--	discr8_pkg3.ads	73	log plain
-rw-r--r--	discr9.adb	188	log plain
-rw-r--r--	discr9.ads	475	log plain
-rw-r--r--	discr_range_check.adb	415	log plain
-rw-r--r--	discr_test.adb	437	log plain
-rw-r--r--	discr_test2.adb	381	log plain
-rw-r--r--	dispatch1.adb	168	log plain
-rw-r--r--	dispatch1_p.ads	95	log plain
-rw-r--r--	dispatch2.adb	199	log plain
-rw-r--r--	dispatch2_p.adb	152	log plain
-rw-r--r--	dispatch2_p.ads	260	log plain
-rw-r--r--	div_no_warning.adb	293	log plain
-rw-r--r--	dse_step.adb	361	log plain
-rw-r--r--	dse_step.ads	411	log plain
-rw-r--r--	dynamic_bound.adb	529	log plain
-rw-r--r--	dynamic_elab1.adb	271	log plain
-rw-r--r--	dynamic_elab1.ads	198	log plain
-rw-r--r--	dynamic_elab2.adb	271	log plain
-rw-r--r--	dynamic_elab2.ads	215	log plain
-rw-r--r--	dynamic_elab_pkg.ads	153	log plain
-rw-r--r--	elab1.ads	474	log plain
-rw-r--r--	elab2.adb	123	log plain
-rw-r--r--	elim1.adb	83	log plain
-rw-r--r--	elim1.ads	111	log plain
-rw-r--r--	elim2.adb	70	log plain
-rw-r--r--	empty_vector_length.adb	395	log plain
-rw-r--r--	enclosing_record_reference.adb	888	log plain
-rw-r--r--	enclosing_record_reference.ads	618	log plain
-rw-r--r--	entry_queues.adb	1078	log plain
-rw-r--r--	entry_queues2.adb	834	log plain
-rw-r--r--	entry_queues3.adb	480	log plain
-rw-r--r--	enum1.adb	247	log plain
-rw-r--r--	enum1_pkg.ads	128	log plain
-rw-r--r--	enum2.adb	274	log plain
-rw-r--r--	enum2_pkg.ads	237	log plain
-rw-r--r--	enum3.adb	522	log plain
-rw-r--r--	env_compile_capacity.adb	957	log plain
-rw-r--r--	env_compile_capacity.ads	60	log plain
-rw-r--r--	equal1.ads	286	log plain
-rw-r--r--	equal_access.adb	142	log plain
-rw-r--r--	exp0_eval.adb	620	log plain
-rw-r--r--	expect1.adb	300	log plain
-rw-r--r--	ext1.ads	377	log plain
-rw-r--r--	fatp_sra.adb	234	log plain
-rw-r--r--	finalized.adb	220	log plain
-rw-r--r--	fixce.adb	322	log plain
-rw-r--r--	fixedpnt.adb	186	log plain
-rw-r--r--	forward_anon.adb	151	log plain
-rw-r--r--	forward_anon.ads	266	log plain
-rw-r--r--	forward_vla.adb	419	log plain
-rw-r--r--	fp_exception.adb	518	log plain
-rw-r--r--	frame_overflow.adb	558	log plain
-rw-r--r--	frame_overflow.ads	423	log plain
-rw-r--r--	frunaligned.adb	159	log plain
-rw-r--r--	frunaligned1.ads	260	log plain
-rw-r--r--	g_tables.adb	175	log plain
-rw-r--r--	g_tables.ads	225	log plain
-rw-r--r--	gen_disp.adb	1375	log plain
-rw-r--r--	gen_disp.ads	299	log plain
-rw-r--r--	generic_dispatch.adb	236	log plain
-rw-r--r--	generic_dispatch_p.adb	166	log plain
-rw-r--r--	generic_dispatch_p.ads	525	log plain
-rw-r--r--	gnat_malloc.adb	422	log plain
-rw-r--r--	gnatg.adb	305	log plain
-rw-r--r--	graphic.adb	538	log plain
-rw-r--r--	graphic.ads	216	log plain
-rw-r--r--	handle_and_return.adb	282	log plain
-rw-r--r--	handle_raise_from_pure.adb	270	log plain
-rw-r--r--	hyper_flat.adb	312	log plain
-rw-r--r--	ice_type.adb	187	log plain
-rw-r--r--	ice_types.ads	150	log plain
-rw-r--r--	iface1.ads	408	log plain
-rw-r--r--	iface2.adb	140	log plain
-rw-r--r--	iface2.ads	144	log plain
-rw-r--r--	iface_test.adb	689	log plain
-rw-r--r--	iface_test.ads	450	log plain
-rw-r--r--	ifaces.adb	157	log plain
-rw-r--r--	ifaces.ads	401	log plain
-rw-r--r--	import1.adb	340	log plain
-rw-r--r--	import1.ads	124	log plain
-rw-r--r--	in_mod_conv.adb	558	log plain
-rw-r--r--	in_out_parameter.adb	799	log plain
-rw-r--r--	in_out_parameter2.adb	364	log plain
-rw-r--r--	in_out_parameter3.adb	726	log plain
-rw-r--r--	in_out_parameter4.adb	574	log plain
-rw-r--r--	include.adb	128	log plain
-rw-r--r--	incomplete1.ads	66	log plain
-rw-r--r--	incomplete2.adb	134	log plain
-rw-r--r--	incomplete2.ads	223	log plain
-rw-r--r--	incomplete3.adb	343	log plain
-rw-r--r--	incomplete3.ads	486	log plain
-rw-r--r--	incomplete4.adb	158	log plain
-rw-r--r--	incomplete4_pkg.ads	181	log plain
-rw-r--r--	init_scalar1.adb	405	log plain
-rw-r--r--	inline1.adb	177	log plain
-rw-r--r--	inline10.adb	144	log plain
-rw-r--r--	inline10_pkg.adb	360	log plain
-rw-r--r--	inline10_pkg.ads	100	log plain
-rw-r--r--	inline11.adb	145	log plain
-rw-r--r--	inline11_pkg.adb	245	log plain
-rw-r--r--	inline11_pkg.ads	102	log plain
-rw-r--r--	inline12.adb	321	log plain
-rw-r--r--	inline13.adb	436	log plain
-rw-r--r--	inline13.ads	154	log plain
-rw-r--r--	inline13_pkg.adb	148	log plain
-rw-r--r--	inline13_pkg.ads	189	log plain
-rw-r--r--	inline1_pkg.adb	1032	log plain
-rw-r--r--	inline1_pkg.ads	216	log plain
-rw-r--r--	inline2.adb	216	log plain
-rw-r--r--	inline2_pkg.adb	1032	log plain
-rw-r--r--	inline2_pkg.ads	202	log plain
-rw-r--r--	inline3.adb	225	log plain
-rw-r--r--	inline3_pkg.adb	247	log plain
-rw-r--r--	inline3_pkg.ads	105	log plain
-rw-r--r--	inline4.adb	102	log plain
-rw-r--r--	inline4_pkg.adb	276	log plain
-rw-r--r--	inline4_pkg.ads	105	log plain
-rw-r--r--	inline5.adb	261	log plain
-rw-r--r--	inline5_pkg.adb	246	log plain
-rw-r--r--	inline5_pkg.ads	98	log plain
-rw-r--r--	inline6.adb	141	log plain
-rw-r--r--	inline6_pkg.adb	269	log plain
-rw-r--r--	inline6_pkg.ads	98	log plain
-rw-r--r--	inline7.adb	263	log plain
-rw-r--r--	inline7_pkg1.adb	227	log plain
-rw-r--r--	inline7_pkg1.ads	100	log plain
-rw-r--r--	inline7_pkg2.adb	130	log plain
-rw-r--r--	inline7_pkg2.ads	117	log plain
-rw-r--r--	inline8.adb	143	log plain
-rw-r--r--	inline8_pkg1.adb	250	log plain
-rw-r--r--	inline8_pkg1.ads	100	log plain
-rw-r--r--	inline8_pkg2.adb	130	log plain
-rw-r--r--	inline8_pkg2.ads	117	log plain
-rw-r--r--	inline9.adb	261	log plain
-rw-r--r--	inline9_pkg.adb	335	log plain
-rw-r--r--	inline9_pkg.ads	98	log plain
-rw-r--r--	inline_scope.adb	362	log plain
-rw-r--r--	inline_scope_p.adb	174	log plain
-rw-r--r--	inline_scope_p.ads	116	log plain
-rw-r--r--	inline_tagged.adb	935	log plain
-rw-r--r--	interface1.adb	481	log plain
-rw-r--r--	interface2.adb	490	log plain
-rw-r--r--	interface3.adb	709	log plain
-rw-r--r--	interface4.adb	279	log plain
-rw-r--r--	interface5.adb	186	log plain
-rw-r--r--	interface5.ads	258	log plain
-rw-r--r--	interface_conv.adb	381	log plain
-rw-r--r--	invalid1.adb	1084	log plain
-rw-r--r--	invariant_index.adb	337	log plain
-rw-r--r--	invariant_index.ads	142	log plain
-rw-r--r--	iprot_test.adb	772	log plain
-rw-r--r--	itype.adb	161	log plain
-rw-r--r--	itype.ads	113	log plain
-rw-r--r--	itypes.adb	519	log plain
-rw-r--r--	itypes.ads	45	log plain
-rw-r--r--	kill_value.adb	368	log plain
-rw-r--r--	late_overriding.adb	401	log plain
-rw-r--r--	layered_abstraction.adb	442	log plain
-rw-r--r--	layered_abstraction.ads	626	log plain
-rw-r--r--	layered_abstraction_p.ads	108	log plain
-rw-r--r--	layered_instance.adb	305	log plain
-rw-r--r--	lhs_view_convert.adb	544	log plain
-rw-r--r--	limited_with.adb	170	log plain
-rw-r--r--	limited_with.ads	120	log plain
-rw-r--r--	limited_with2.adb	200	log plain
-rw-r--r--	limited_with2.ads	207	log plain
-rw-r--r--	limited_with2_pkg1.ads	170	log plain
-rw-r--r--	limited_with2_pkg2.ads	145	log plain
-rw-r--r--	limited_with3.adb	137	log plain
-rw-r--r--	limited_with3.ads	298	log plain
-rw-r--r--	limited_with3_pkg1.adb	467	log plain
-rw-r--r--	limited_with3_pkg1.ads	788	log plain
-rw-r--r--	limited_with3_pkg2.ads	181	log plain
-rw-r--r--	limited_with3_pkg3.ads	246	log plain
-rw-r--r--	limited_with4.adb	921	log plain
-rw-r--r--	limited_with4.ads	756	log plain
-rw-r--r--	limited_with4_pkg.ads	356	log plain
-rw-r--r--	loop_address.adb	487	log plain
-rw-r--r--	loop_address2.adb	534	log plain
-rw-r--r--	loop_boolean.adb	276	log plain
-rw-r--r--	loop_bound.adb	623	log plain
-rw-r--r--	loop_optimization1.adb	632	log plain
-rw-r--r--	loop_optimization1.ads	846	log plain
-rw-r--r--	loop_optimization10.adb	418	log plain
-rw-r--r--	loop_optimization10.ads	360	log plain
-rw-r--r--	loop_optimization10_pkg.ads	250	log plain
-rw-r--r--	loop_optimization11.adb	468	log plain
-rw-r--r--	loop_optimization11_pkg.ads	276	log plain
-rw-r--r--	loop_optimization12.adb	618	log plain
-rw-r--r--	loop_optimization12.ads	554	log plain
-rw-r--r--	loop_optimization13.adb	537	log plain
-rw-r--r--	loop_optimization13.ads	451	log plain
-rw-r--r--	loop_optimization13_pkg.ads	82	log plain
-rw-r--r--	loop_optimization14.adb	554	log plain
-rw-r--r--	loop_optimization14.ads	209	log plain
-rw-r--r--	loop_optimization14_pkg.ads	106	log plain
-rw-r--r--	loop_optimization15.adb	459	log plain
-rw-r--r--	loop_optimization15.ads	181	log plain
-rw-r--r--	loop_optimization16.adb	450	log plain
-rw-r--r--	loop_optimization16_pkg.adb	155	log plain
-rw-r--r--	loop_optimization16_pkg.ads	133	log plain
-rw-r--r--	loop_optimization17.adb	438	log plain
-rw-r--r--	loop_optimization17_pkg.adb	135	log plain
-rw-r--r--	loop_optimization17_pkg.ads	611	log plain
-rw-r--r--	loop_optimization18.adb	291	log plain
-rw-r--r--	loop_optimization18.ads	165	log plain
-rw-r--r--	loop_optimization18_pkg.ads	345	log plain
-rw-r--r--	loop_optimization19.adb	985	log plain
-rw-r--r--	loop_optimization2.adb	1253	log plain
-rw-r--r--	loop_optimization2.ads	1180	log plain
-rw-r--r--	loop_optimization20.adb	774	log plain
-rw-r--r--	loop_optimization21.adb	463	log plain
-rw-r--r--	loop_optimization21.ads	189	log plain
-rw-r--r--	loop_optimization22.adb	425	log plain
-rw-r--r--	loop_optimization22.ads	150	log plain
-rw-r--r--	loop_optimization23.adb	305	log plain
-rw-r--r--	loop_optimization23_pkg.adb	280	log plain
-rw-r--r--	loop_optimization23_pkg.ads	435	log plain
-rw-r--r--	loop_optimization3.adb	315	log plain
-rw-r--r--	loop_optimization3_pkg.adb	143	log plain
-rw-r--r--	loop_optimization3_pkg.ads	107	log plain
-rw-r--r--	loop_optimization4.adb	162	log plain
-rw-r--r--	loop_optimization4_pkg.adb	461	log plain
-rw-r--r--	loop_optimization4_pkg.ads	265	log plain
-rw-r--r--	loop_optimization5.adb	579	log plain
-rw-r--r--	loop_optimization5_pkg.ads	191	log plain
-rw-r--r--	loop_optimization6.adb	433	log plain
-rw-r--r--	loop_optimization6.ads	92	log plain
-rw-r--r--	loop_optimization7.adb	334	log plain
-rw-r--r--	loop_optimization7.ads	191	log plain
-rw-r--r--	loop_optimization7_pkg.ads	171	log plain
-rw-r--r--	loop_optimization8.adb	597	log plain
-rw-r--r--	loop_optimization8_pkg1.adb	381	log plain
-rw-r--r--	loop_optimization8_pkg1.ads	468	log plain
-rw-r--r--	loop_optimization8_pkg2.adb	285	log plain
-rw-r--r--	loop_optimization8_pkg2.ads	392	log plain
-rw-r--r--	loop_optimization9.adb	3357	log plain
-rw-r--r--	loop_optimization9.ads	432	log plain
-rw-r--r--	loop_unchecked_conversion.adb	714	log plain
-rw-r--r--	loop_unchecked_conversion.ads	90	log plain
-rw-r--r--	lto1.adb	256	log plain
-rw-r--r--	lto10.adb	252	log plain
-rw-r--r--	lto10_pkg.ads	329	log plain
-rw-r--r--	lto11.adb	459	log plain
-rw-r--r--	lto11.ads	198	log plain
-rw-r--r--	lto13.adb	133	log plain
-rw-r--r--	lto13_pkg.adb	132	log plain
-rw-r--r--	lto13_pkg.ads	76	log plain
-rw-r--r--	lto14.adb	177	log plain
-rw-r--r--	lto15.adb	197	log plain
-rw-r--r--	lto15.ads	207	log plain
-rw-r--r--	lto16.adb	288	log plain
-rw-r--r--	lto16_pkg.adb	338	log plain
-rw-r--r--	lto16_pkg.ads	65	log plain
-rw-r--r--	lto17.adb	228	log plain
-rw-r--r--	lto17.ads	446	log plain
-rw-r--r--	lto18.adb	365	log plain
-rw-r--r--	lto18.ads	97	log plain
-rw-r--r--	lto18_pkg.ads	656	log plain
-rw-r--r--	lto19.adb	246	log plain
-rw-r--r--	lto19_pkg1.adb	92	log plain
-rw-r--r--	lto19_pkg1.ads	206	log plain
-rw-r--r--	lto19_pkg2.adb	98	log plain
-rw-r--r--	lto19_pkg2.ads	70	log plain
-rw-r--r--	lto1_pkg.adb	570	log plain
-rw-r--r--	lto1_pkg.ads	737	log plain
-rw-r--r--	lto2.adb	589	log plain
-rw-r--r--	lto20.adb	207	log plain
-rw-r--r--	lto20_pkg.adb	143	log plain
-rw-r--r--	lto20_pkg.ads	308	log plain
-rw-r--r--	lto21.adb	153	log plain
-rw-r--r--	lto21_pkg1.ads	194	log plain
-rw-r--r--	lto21_pkg2.adb	670	log plain
-rw-r--r--	lto21_pkg2.ads	59	log plain
-rw-r--r--	lto4.adb	281	log plain
-rw-r--r--	lto4.ads	581	log plain
-rw-r--r--	lto5.adb	113	log plain
-rw-r--r--	lto5_pkg.adb	85	log plain
-rw-r--r--	lto5_pkg.ads	108	log plain
-rw-r--r--	lto6.adb	284	log plain
-rw-r--r--	lto6_pkg.ads	235	log plain
-rw-r--r--	lto7.adb	253	log plain
-rw-r--r--	lto7_pkg.adb	143	log plain
-rw-r--r--	lto7_pkg.ads	390	log plain
-rw-r--r--	lto8.adb	382	log plain
-rw-r--r--	lto8_pkg.adb	183	log plain
-rw-r--r--	lto8_pkg.ads	480	log plain
-rw-r--r--	lto9.adb	267	log plain
-rw-r--r--	lto9_pkg1.ads	623	log plain
-rw-r--r--	lto9_pkg2.adb	249	log plain
-rw-r--r--	lto9_pkg2.ads	482	log plain
-rw-r--r--	machine_code1.adb	308	log plain
-rw-r--r--	max_align.adb	256	log plain
-rw-r--r--	md5_test.adb	379	log plain
-rw-r--r--	memtrap.adb	273	log plain
-rw-r--r--	misaligned_nest.adb	387	log plain
-rw-r--r--	misaligned_param.adb	633	log plain
-rw-r--r--	misaligned_param_pkg.adb	305	log plain
-rw-r--r--	misaligned_param_pkg.ads	108	log plain
-rw-r--r--	misaligned_volatile.adb	526	log plain
-rw-r--r--	missing_acc_check.adb	807	log plain
-rw-r--r--	modify_a_constant.adb	566	log plain
-rw-r--r--	modular1.adb	424	log plain
-rw-r--r--	modular2.adb	113	log plain
-rw-r--r--	modular3.adb	454	log plain
-rw-r--r--	modular3_pkg.ads	239	log plain
-rw-r--r--	modular4.adb	185	log plain
-rw-r--r--	modular4_pkg.ads	130	log plain
-rw-r--r--	mutable1.adb	668	log plain
-rw-r--r--	my_env_versioned_value_set_g.ads	201	log plain
-rw-r--r--	named_test.adb	559	log plain
-rw-r--r--	namet.ads	196	log plain
-rw-r--r--	nan_max.adb	528	log plain
-rw-r--r--	nat1.ads	162	log plain
-rw-r--r--	nat1r.adb	221	log plain
-rw-r--r--	nested_agg_bitfield_constructor.adb	693	log plain
-rw-r--r--	nested_controlled_alloc.adb	1021	log plain
-rw-r--r--	nested_float_packed.ads	438	log plain
-rw-r--r--	nested_generic1.adb	212	log plain
-rw-r--r--	nested_generic1_pkg.adb	229	log plain
-rw-r--r--	nested_generic1_pkg.ads	191	log plain
-rw-r--r--	nested_proc1.adb	567	log plain
-rw-r--r--	nested_proc2.adb	443	log plain
-rw-r--r--	nested_return_test.adb	892	log plain
-rw-r--r--	nested_subtype_byref.adb	398	log plain
-rw-r--r--	nested_subtype_byref.ads	58	log plain
-rw-r--r--	no_exc_prop.adb	327	log plain
-rw-r--r--	no_exc_prop.ads	233	log plain
-rw-r--r--	no_final.adb	564	log plain
-rw-r--r--	noinline2.adb	455	log plain
-rw-r--r--	noinline2.ads	84	log plain
-rw-r--r--	noreturn1.adb	330	log plain
-rw-r--r--	noreturn1.ads	159	log plain
-rw-r--r--	noreturn2.adb	599	log plain
-rw-r--r--	noreturn2.ads	166	log plain
-rw-r--r--	noreturn3.adb	533	log plain
-rw-r--r--	noreturn3.ads	227	log plain
-rw-r--r--	noreturn4.adb	348	log plain
-rw-r--r--	noreturn4.ads	214	log plain
-rw-r--r--	noreturn4_pkg.ads	410	log plain
-rw-r--r--	noreturn5.adb	644	log plain
-rw-r--r--	noreturn5.ads	132	log plain
-rw-r--r--	not_null.adb	487	log plain
-rw-r--r--	notnot.adb	201	log plain
-rw-r--r--	null_pointer_deref1.adb	525	log plain
-rw-r--r--	null_pointer_deref2.adb	611	log plain
-rw-r--r--	null_pointer_deref3.adb	549	log plain
-rw-r--r--	oalign1.ads	108	log plain
-rw-r--r--	oalign2.ads	108	log plain
-rw-r--r--	object_overflow1.adb	245	log plain
-rw-r--r--	object_overflow2.adb	255	log plain
-rw-r--r--	object_overflow3.adb	322	log plain
-rw-r--r--	object_overflow4.adb	424	log plain
-rw-r--r--	object_overflow5.adb	430	log plain
-rw-r--r--	oconst1.adb	300	log plain
-rw-r--r--	oconst1.ads	382	log plain
-rw-r--r--	oconst2.adb	241	log plain
-rw-r--r--	oconst2.ads	351	log plain
-rw-r--r--	oconst3.adb	269	log plain
-rw-r--r--	oconst3.ads	426	log plain
-rw-r--r--	oconst4.adb	519	log plain
-rw-r--r--	oconst4.ads	1375	log plain
-rw-r--r--	oconst5.adb	299	log plain
-rw-r--r--	oconst5.ads	522	log plain
-rw-r--r--	old_errors.ads	66	log plain
-rw-r--r--	opt1.adb	644	log plain
-rw-r--r--	opt1.ads	310	log plain
-rw-r--r--	opt10.adb	477	log plain
-rw-r--r--	opt10_pkg.ads	297	log plain
-rw-r--r--	opt11.adb	160	log plain
-rw-r--r--	opt11.ads	316	log plain
-rw-r--r--	opt12.adb	288	log plain
-rw-r--r--	opt12_pkg.adb	149	log plain
-rw-r--r--	opt12_pkg.ads	245	log plain
-rw-r--r--	opt13.adb	186	log plain
-rw-r--r--	opt13_pkg.adb	587	log plain
-rw-r--r--	opt13_pkg.ads	192	log plain
-rw-r--r--	opt14.adb	364	log plain
-rw-r--r--	opt15.adb	221	log plain
-rw-r--r--	opt15_pkg.adb	184	log plain
-rw-r--r--	opt15_pkg.ads	98	log plain
-rw-r--r--	opt16.adb	723	log plain
-rw-r--r--	opt17.adb	196	log plain
-rw-r--r--	opt17.ads	89	log plain
-rw-r--r--	opt18.adb	986	log plain
-rw-r--r--	opt18.ads	642	log plain
-rw-r--r--	opt18_pkg.ads	529	log plain
-rw-r--r--	opt19.adb	477	log plain
-rw-r--r--	opt2.adb	564	log plain
-rw-r--r--	opt20.adb	504	log plain
-rw-r--r--	opt20.ads	114	log plain
-rw-r--r--	opt20_pkg.ads	263	log plain
-rw-r--r--	opt21.adb	167	log plain
-rw-r--r--	opt21_pkg.adb	352	log plain
-rw-r--r--	opt21_pkg.ads	298	log plain
-rw-r--r--	opt22.adb	301	log plain
-rw-r--r--	opt22_pkg.adb	239	log plain
-rw-r--r--	opt22_pkg.ads	89	log plain
-rw-r--r--	opt23.adb	355	log plain
-rw-r--r--	opt23.ads	97	log plain
-rw-r--r--	opt23_pkg.adb	156	log plain
-rw-r--r--	opt23_pkg.ads	654	log plain
-rw-r--r--	opt24.adb	307	log plain
-rw-r--r--	opt24.ads	97	log plain
-rw-r--r--	opt25.adb	354	log plain
-rw-r--r--	opt25_pkg1.adb	156	log plain
-rw-r--r--	opt25_pkg1.ads	154	log plain
-rw-r--r--	opt25_pkg2.adb	150	log plain
-rw-r--r--	opt25_pkg2.ads	379	log plain
-rw-r--r--	opt26.adb	715	log plain
-rw-r--r--	opt27.adb	596	log plain
-rw-r--r--	opt27_pkg.adb	802	log plain
-rw-r--r--	opt27_pkg.ads	662	log plain
-rw-r--r--	opt28.adb	841	log plain
-rw-r--r--	opt28.ads	136	log plain
-rw-r--r--	opt28_pkg.ads	397	log plain
-rw-r--r--	opt29.adb	222	log plain
-rw-r--r--	opt29.ads	493	log plain
-rw-r--r--	opt3.adb	230	log plain
-rw-r--r--	opt30.adb	418	log plain
-rw-r--r--	opt31.adb	924	log plain
-rw-r--r--	opt32.adb	745	log plain
-rw-r--r--	opt33.adb	813	log plain
-rw-r--r--	opt34.adb	608	log plain
-rw-r--r--	opt34_pkg.ads	310	log plain
-rw-r--r--	opt35.adb	347	log plain
-rw-r--r--	opt35_pkg.adb	164	log plain
-rw-r--r--	opt35_pkg.ads	115	log plain
-rw-r--r--	opt36.adb	354	log plain
-rw-r--r--	opt37.adb	1075	log plain
-rw-r--r--	opt37.ads	493	log plain
-rw-r--r--	opt38.adb	124	log plain
-rw-r--r--	opt38_pkg.adb	482	log plain
-rw-r--r--	opt38_pkg.ads	70	log plain
-rw-r--r--	opt39.adb	533	log plain
-rw-r--r--	opt3_pkg.ads	71	log plain
-rw-r--r--	opt4.adb	303	log plain
-rw-r--r--	opt40.adb	330	log plain
-rw-r--r--	opt41.adb	396	log plain
-rw-r--r--	opt41_pkg.adb	1602	log plain
-rw-r--r--	opt41_pkg.ads	682	log plain
-rw-r--r--	opt42.adb	573	log plain
-rw-r--r--	opt42.ads	235	log plain
-rw-r--r--	opt43.adb	280	log plain
-rw-r--r--	opt44.adb	411	log plain
-rw-r--r--	opt44.ads	172	log plain
-rw-r--r--	opt45.adb	851	log plain
-rw-r--r--	opt46.adb	1099	log plain
-rw-r--r--	opt46.ads	282	log plain
-rw-r--r--	opt46_pkg.adb	170	log plain
-rw-r--r--	opt46_pkg.ads	679	log plain
-rw-r--r--	opt47.adb	932	log plain
-rw-r--r--	opt48.adb	217	log plain
-rw-r--r--	opt48_pkg1.adb	265	log plain
-rw-r--r--	opt48_pkg1.ads	104	log plain
-rw-r--r--	opt48_pkg2.adb	127	log plain
-rw-r--r--	opt48_pkg2.ads	162	log plain
-rw-r--r--	opt49.adb	771	log plain
-rw-r--r--	opt5.adb	368	log plain
-rw-r--r--	opt50.adb	395	log plain
-rw-r--r--	opt50_pkg.adb	1427	log plain
-rw-r--r--	opt50_pkg.ads	284	log plain
-rw-r--r--	opt51.adb	403	log plain
-rw-r--r--	opt51_pkg.ads	72	log plain
-rw-r--r--	opt52.adb	244	log plain
-rw-r--r--	opt53.adb	271	log plain
-rw-r--r--	opt54.adb	269	log plain
-rw-r--r--	opt55.adb	387	log plain
-rw-r--r--	opt55.ads	428	log plain
-rw-r--r--	opt56.adb	312	log plain
-rw-r--r--	opt56.ads	140	log plain
-rw-r--r--	opt57.adb	2628	log plain
-rw-r--r--	opt57.ads	1411	log plain
-rw-r--r--	opt57_pkg.ads	332	log plain
-rw-r--r--	opt58.adb	377	log plain
-rw-r--r--	opt58_pkg.ads	369	log plain
-rw-r--r--	opt59.adb	895	log plain
-rw-r--r--	opt59_pkg.adb	328	log plain
-rw-r--r--	opt59_pkg.ads	209	log plain
-rw-r--r--	opt6.adb	600	log plain
-rw-r--r--	opt6.ads	389	log plain
-rw-r--r--	opt60.adb	405	log plain
-rw-r--r--	opt61.adb	360	log plain
-rw-r--r--	opt61_pkg.adb	3368	log plain
-rw-r--r--	opt61_pkg.ads	203	log plain
-rw-r--r--	opt62.adb	274	log plain
-rw-r--r--	opt62_pkg.ads	483	log plain
-rw-r--r--	opt63.adb	471	log plain
-rw-r--r--	opt64.adb	514	log plain
-rw-r--r--	opt64_pkg.adb	315	log plain
-rw-r--r--	opt64_pkg.ads	128	log plain
-rw-r--r--	opt65.adb	727	log plain
-rw-r--r--	opt7.adb	1248	log plain
-rw-r--r--	opt7.ads	291	log plain
-rw-r--r--	opt7_pkg.ads	68	log plain
-rw-r--r--	opt8.adb	1350	log plain
-rw-r--r--	opt8.ads	1247	log plain
-rw-r--r--	opt8_pkg.ads	123	log plain
-rw-r--r--	opt9.adb	390	log plain
-rw-r--r--	opt9_pkg.ads	57	log plain
-rw-r--r--	outer_agg_bitfield_constructor.adb	845	log plain
-rw-r--r--	overflow_fixed.adb	365	log plain
-rw-r--r--	overflow_sum.adb	1822	log plain
-rw-r--r--	overflow_sum2.adb	902	log plain
-rw-r--r--	overflow_sum3.adb	340	log plain
-rw-r--r--	overriding_ops.adb	328	log plain
-rw-r--r--	overriding_ops.ads	407	log plain
-rw-r--r--	overriding_ops_p.ads	281	log plain
-rw-r--r--	pack1.ads	126	log plain
-rw-r--r--	pack10.adb	507	log plain
-rw-r--r--	pack11.adb	387	log plain
-rw-r--r--	pack12.adb	529	log plain
-rw-r--r--	pack13.adb	191	log plain
-rw-r--r--	pack13.ads	734	log plain
-rw-r--r--	pack13_pkg.ads	223	log plain
-rw-r--r--	pack14.adb	224	log plain
-rw-r--r--	pack15.adb	134	log plain
-rw-r--r--	pack15.ads	383	log plain
-rw-r--r--	pack16.adb	471	log plain
-rw-r--r--	pack16_pkg.ads	62	log plain
-rw-r--r--	pack17.adb	891	log plain
-rw-r--r--	pack18.adb	220	log plain
-rw-r--r--	pack18_pkg.ads	465	log plain
-rw-r--r--	pack19.adb	1088	log plain
-rw-r--r--	pack2.adb	376	log plain
-rw-r--r--	pack20.adb	137	log plain
-rw-r--r--	pack20.ads	240	log plain
-rw-r--r--	pack20_pkg.ads	131	log plain
-rw-r--r--	pack21.adb	526	log plain
-rw-r--r--	pack22.adb	390	log plain
-rw-r--r--	pack22_pkg.adb	367	log plain
-rw-r--r--	pack22_pkg.ads	1619	log plain
-rw-r--r--	pack3.adb	532	log plain
-rw-r--r--	pack4.adb	590	log plain
-rw-r--r--	pack5.adb	508	log plain
-rw-r--r--	pack6.adb	406	log plain
-rw-r--r--	pack7.adb	397	log plain
-rw-r--r--	pack8.adb	428	log plain
-rw-r--r--	pack9.adb	387	log plain
-rw-r--r--	pack9.ads	256	log plain
-rw-r--r--	packed_subtype.adb	372	log plain
-rw-r--r--	pak.adb	445	log plain
-rw-r--r--	pak.ads	227	log plain
-rw-r--r--	parameterlessfunc.adb	358	log plain
-rw-r--r--	parent_ltd_with-child_full_view.adb	303	log plain
-rw-r--r--	parent_ltd_with-child_full_view.ads	349	log plain
-rw-r--r--	parent_ltd_with.ads	304	log plain
-rw-r--r--	pointer_array.adb	230	log plain
-rw-r--r--	pointer_controlled.adb	676	log plain
-rw-r--r--	pointer_conversion.adb	429	log plain
-rw-r--r--	pointer_discr1.adb	172	log plain
-rw-r--r--	pointer_discr1_pkg1.ads	162	log plain
-rw-r--r--	pointer_discr1_pkg2.ads	259	log plain
-rw-r--r--	pointer_discr1_pkg3.ads	243	log plain
-rw-r--r--	pointer_protected.adb	214	log plain
-rw-r--r--	pointer_protected_p.ads	182	log plain
-rw-r--r--	pointer_variable_bounds.adb	626	log plain
-rw-r--r--	pointer_variable_bounds.ads	590	log plain
-rw-r--r--	pointer_variable_bounds_q.ads	165	log plain
-rw-r--r--	prefix1.adb	208	log plain
-rw-r--r--	prefix1.ads	148	log plain
-rw-r--r--	prefix2.adb	958	log plain
-rw-r--r--	prefix2.ads	743	log plain
-rw-r--r--	profile_warning.adb	59	log plain
-rw-r--r--	profile_warning.ads	165	log plain
-rw-r--r--	profile_warning_p.adb	283	log plain
-rw-r--r--	profile_warning_p.ads	64	log plain
-rw-r--r--	prot1.adb	443	log plain
-rw-r--r--	prot2.adb	396	log plain
-rw-r--r--	prot2.ads	50	log plain
-rw-r--r--	prot2_pkg1.ads	72	log plain
-rw-r--r--	prot2_pkg2.adb	395	log plain
-rw-r--r--	prot2_pkg2.ads	216	log plain
-rw-r--r--	prot_def.adb	809	log plain
-rw-r--r--	protected_self_ref1.adb	450	log plain
-rw-r--r--	protected_self_ref2.adb	314	log plain
-rw-r--r--	quote.adb	162	log plain
-rw-r--r--	raise_ce.adb	60	log plain
-rw-r--r--	raise_from_pure.adb	197	log plain
-rw-r--r--	raise_from_pure.ads	105	log plain
-rw-r--r--	range_check.adb	320	log plain
-rw-r--r--	range_check2.adb	334	log plain
-rw-r--r--	rational_arithmetic.ads	1017	log plain
-rw-r--r--	recursive_call.adb	248	log plain
-rw-r--r--	ref_type.adb	209	log plain
-rw-r--r--	ref_type.ads	103	log plain
-rw-r--r--	regpat1.adb	241	log plain
-rw-r--r--	release_unc_maxalign.adb	428	log plain
-rw-r--r--	remote_type.adb	468	log plain
-rw-r--r--	remote_type.ads	583	log plain
-rw-r--r--	renaming1.adb	243	log plain
-rw-r--r--	renaming1.ads	83	log plain
-rw-r--r--	renaming10.adb	253	log plain
-rw-r--r--	renaming10.ads	148	log plain
-rw-r--r--	renaming11.adb	214	log plain
-rw-r--r--	renaming11.ads	378	log plain
-rw-r--r--	renaming2.adb	1705	log plain
-rw-r--r--	renaming3.adb	213	log plain
-rw-r--r--	renaming4.ads	342	log plain
-rw-r--r--	renaming5.adb	576	log plain
-rw-r--r--	renaming5.ads	57	log plain
-rw-r--r--	renaming6.adb	561	log plain
-rw-r--r--	renaming6.ads	238	log plain
-rw-r--r--	renaming7.adb	216	log plain
-rw-r--r--	renaming7_pkg.ads	61	log plain
-rw-r--r--	renaming8.adb	172	log plain
-rw-r--r--	renaming8_pkg1.ads	119	log plain
-rw-r--r--	renaming8_pkg2.adb	131	log plain
-rw-r--r--	renaming8_pkg2.ads	231	log plain
-rw-r--r--	renaming8_pkg3.adb	123	log plain
-rw-r--r--	renaming8_pkg3.ads	86	log plain
-rw-r--r--	renaming9.adb	136	log plain
-rw-r--r--	renaming9.ads	295	log plain
-rw-r--r--	rep_clause1.adb	2453	log plain
-rw-r--r--	rep_clause2.adb	241	log plain
-rw-r--r--	rep_clause2.ads	1081	log plain
-rw-r--r--	rep_clause3.adb	867	log plain
-rw-r--r--	rep_clause4.adb	615	log plain
-rw-r--r--	rep_clause5.adb	1017	log plain
-rw-r--r--	rep_clause5.ads	243	log plain
-rw-r--r--	rep_clause5_pkg.ads	7321	log plain
-rw-r--r--	requeue1.adb	953	log plain
-rw-r--r--	return1.adb	268	log plain
-rw-r--r--	return1.ads	238	log plain
-rw-r--r--	return2.adb	722	log plain
-rw-r--r--	return2.ads	349	log plain
-rw-r--r--	return2_pkg.ads	133	log plain
-rw-r--r--	return3.adb	162	log plain
-rw-r--r--	return4.adb	335	log plain
-rw-r--r--	return4_pkg.adb	178	log plain
-rw-r--r--	return4_pkg.ads	151	log plain
-rw-r--r--	round_div.adb	385	log plain
-rw-r--r--	rt1.adb	180	log plain
-rw-r--r--	rt1.ads	419	log plain
-rw-r--r--	scalar_mode_agg_compare.adb	571	log plain
-rw-r--r--	scalar_mode_agg_compare_loop.adb	404	log plain
-rw-r--r--	self.adb	453	log plain
-rw-r--r--	self.ads	574	log plain
-rw-r--r--	self_aggregate_with_array.adb	396	log plain
-rw-r--r--	self_aggregate_with_call.adb	579	log plain
-rw-r--r--	self_aggregate_with_pointer.adb	484	log plain
-rw-r--r--	self_aggregate_with_zeros.adb	382	log plain
-rw-r--r--	set_in_pproc.adb	368	log plain
-rw-r--r--	show_deques_priority.adb	168	log plain
-rw-r--r--	size_attribute.adb	151	log plain
-rw-r--r--	sizetype1.adb	273	log plain
-rw-r--r--	sizetype2.adb	576	log plain
-rw-r--r--	sizetype3.adb	409	log plain
-rw-r--r--	sizetype3.ads	188	log plain
-rw-r--r--	sizetype3_pkg.ads	127	log plain
-rw-r--r--	sizetype4.adb	489	log plain
-rw-r--r--	slice1.adb	485	log plain
-rw-r--r--	slice2.adb	206	log plain
-rw-r--r--	slice2.ads	217	log plain
-rw-r--r--	slice3.adb	517	log plain
-rw-r--r--	slice4.adb	581	log plain
-rw-r--r--	slice5.adb	680	log plain
-rw-r--r--	slice6.adb	350	log plain
-rw-r--r--	slice6_pkg.ads	387	log plain
-rw-r--r--	slice7.adb	1055	log plain
-rw-r--r--	slice7_pkg.ads	149	log plain
-rw-r--r--	slice8.adb	177	log plain
-rw-r--r--	slice8_pkg1.ads	99	log plain
-rw-r--r--	slice8_pkg2.ads	457	log plain
-rw-r--r--	slice8_pkg3.adb	391	log plain
-rw-r--r--	slice8_pkg3.ads	154	log plain
-rw-r--r--	slice9.adb	297	log plain
-rw-r--r--	slice_enum.adb	131	log plain
-rw-r--r--	small_alignment.adb	436	log plain
-rw-r--r--	socket1.adb	303	log plain
-rw-r--r--	sort1.adb	778	log plain
-rw-r--r--	sort1.ads	64	log plain
-rw-r--r--	sort2.adb	155	log plain
-rw-r--r--	source_ref1.adb	85	log plain
-rw-r--r--	source_ref2.adb	124	log plain
d---------	specs	7683	log plain
-rw-r--r--	spipaterr.adb	292	log plain
-rw-r--r--	sse_nolib.adb	1287	log plain
d---------	sso	2550	log plain
-rw-r--r--	sso1.adb	2010	log plain
-rw-r--r--	sso2.adb	234	log plain
-rw-r--r--	sso2.ads	298	log plain
-rw-r--r--	sso3.adb	1167	log plain
-rw-r--r--	sso4.adb	1195	log plain
-rw-r--r--	sso5.adb	1134	log plain
-rw-r--r--	sso6.adb	1193	log plain
-rw-r--r--	sso7.adb	1134	log plain
-rw-r--r--	stack_check1.adb	767	log plain
-rw-r--r--	stack_check2.adb	851	log plain
-rw-r--r--	stack_check3.adb	675	log plain
-rw-r--r--	stack_check3.ads	63	log plain
-rw-r--r--	stack_usage1.adb	2194	log plain
-rw-r--r--	stack_usage1_pkg.adb	224	log plain
-rw-r--r--	stack_usage1_pkg.ads	242	log plain
-rw-r--r--	stack_usage1b.adb	2199	log plain
-rw-r--r--	stack_usage1c.adb	2200	log plain
-rw-r--r--	stack_usage2.adb	527	log plain
-rw-r--r--	stack_usage3.adb	1025	log plain
-rw-r--r--	stack_usage3_pkg.ads	147	log plain
-rw-r--r--	statically_matching.ads	244	log plain
-rw-r--r--	str1.adb	313	log plain
-rw-r--r--	string_comparison.adb	208	log plain
-rw-r--r--	string_slice.adb	339	log plain
-rw-r--r--	string_slice2.adb	492	log plain
-rw-r--r--	subp_elim_errors.adb	621	log plain
-rw-r--r--	subp_elim_errors.ads	115	log plain
-rw-r--r--	sync1.adb	273	log plain
-rw-r--r--	sync1.ads	319	log plain
-rw-r--r--	sync_iface_test.adb	414	log plain
-rw-r--r--	sync_iface_test.ads	320	log plain
-rw-r--r--	taft_type1.adb	102	log plain
-rw-r--r--	taft_type1_pkg1.adb	448	log plain
-rw-r--r--	taft_type1_pkg1.ads	183	log plain
-rw-r--r--	taft_type1_pkg2.ads	138	log plain
-rw-r--r--	taft_type2.adb	315	log plain
-rw-r--r--	taft_type2.ads	59	log plain
-rw-r--r--	taft_type2_pkg.ads	157	log plain
-rw-r--r--	taft_type3.adb	505	log plain
-rw-r--r--	taft_type3_pkg.ads	125	log plain
-rw-r--r--	tag1.adb	450	log plain
-rw-r--r--	tagged_alloc_free.adb	560	log plain
-rw-r--r--	tagged_type_pkg.adb	515	log plain
-rw-r--r--	tagged_type_pkg.ads	248	log plain
-rw-r--r--	tail_call.adb	159	log plain
-rw-r--r--	tail_call_p.adb	698	log plain
-rw-r--r--	tail_call_p.ads	217	log plain
-rw-r--r--	task_name.adb	122	log plain
-rw-r--r--	task_name.ads	750	log plain
-rw-r--r--	task_stack_align.adb	704	log plain
-rw-r--r--	test_8bitlong_overflow.adb	513	log plain
-rw-r--r--	test_address_null_init.adb	397	log plain
-rw-r--r--	test_ai254.adb	270	log plain
-rw-r--r--	test_allocator_maxalign2.adb	125	log plain
-rw-r--r--	test_bip_no_alloc.adb	580	log plain
-rw-r--r--	test_bounded.adb	274	log plain
-rw-r--r--	test_call.adb	599	log plain
-rw-r--r--	test_debug1.adb	134	log plain
-rw-r--r--	test_delay.adb	129	log plain
-rw-r--r--	test_direct_io.adb	243	log plain
-rw-r--r--	test_dse_step.adb	291	log plain
-rw-r--r--	test_enum_io.adb	604	log plain
-rw-r--r--	test_equal1.adb	354	log plain
-rw-r--r--	test_ext1.adb	117	log plain
-rw-r--r--	test_fixed_io.adb	852	log plain
-rw-r--r--	test_iface_aggr.adb	1174	log plain
-rw-r--r--	test_ifaces.adb	215	log plain
-rw-r--r--	test_image.adb	149	log plain
-rw-r--r--	test_image_p.adb	670	log plain
-rw-r--r--	test_image_p.ads	744	log plain
-rw-r--r--	test_nested_subtype_byref.adb	150	log plain
-rw-r--r--	test_oalign.adb	339	log plain
-rw-r--r--	test_oconst.adb	306	log plain
-rw-r--r--	test_prefix1.adb	273	log plain
-rw-r--r--	test_prio.adb	418	log plain
-rw-r--r--	test_prio_p.adb	187	log plain
-rw-r--r--	test_prio_p.ads	479	log plain
-rw-r--r--	test_raise_from_pure.adb	316	log plain
-rw-r--r--	test_rational_arithmetic.adb	418	log plain
-rw-r--r--	test_self.adb	259	log plain
-rw-r--r--	test_self_ref.adb	845	log plain
-rw-r--r--	test_table1.adb	820	log plain
-rw-r--r--	test_tables.adb	203	log plain
-rw-r--r--	test_time_stamp.adb	801	log plain
-rw-r--r--	test_unknown_discrs.adb	606	log plain
-rw-r--r--	test_version.adb	348	log plain
-rw-r--r--	testint.adb	318	log plain
-rw-r--r--	tf_interface_1.adb	199	log plain
-rw-r--r--	tf_interface_1.ads	655	log plain
-rw-r--r--	tfren.adb	780	log plain
-rw-r--r--	thin_pointer1.adb	234	log plain
-rw-r--r--	thin_pointer1.ads	432	log plain
-rw-r--r--	thin_pointer2.adb	230	log plain
-rw-r--r--	thin_pointer2_pkg.adb	350	log plain
-rw-r--r--	thin_pointer2_pkg.ads	169	log plain
-rw-r--r--	timer_cancel.adb	844	log plain
-rw-r--r--	trampoline1.adb	377	log plain
-rw-r--r--	trampoline2.adb	439	log plain
-rw-r--r--	trampoline3.adb	382	log plain
-rw-r--r--	trampoline4.adb	470	log plain
-rw-r--r--	tree_static_def.adb	160	log plain
-rw-r--r--	tree_static_def.ads	177	log plain
-rw-r--r--	tree_static_use.adb	164	log plain
-rw-r--r--	type_conv.adb	275	log plain
-rw-r--r--	unaligned_rep_clause.adb	689	log plain
-rw-r--r--	unc.adb	602	log plain
-rw-r--r--	unc_memfree.adb	865	log plain
-rw-r--r--	unc_memops.adb	1359	log plain
-rw-r--r--	unc_memops.ads	948	log plain
-rw-r--r--	unchecked_convert1.adb	687	log plain
-rw-r--r--	unchecked_convert10.adb	878	log plain
-rw-r--r--	unchecked_convert11.adb	936	log plain
-rw-r--r--	unchecked_convert12.adb	932	log plain
-rw-r--r--	unchecked_convert2.adb	854	log plain
-rw-r--r--	unchecked_convert3.adb	355	log plain
-rw-r--r--	unchecked_convert4.adb	408	log plain
-rw-r--r--	unchecked_convert5.adb	396	log plain
-rw-r--r--	unchecked_convert5b.adb	403	log plain
-rw-r--r--	unchecked_convert6.adb	396	log plain
-rw-r--r--	unchecked_convert6b.adb	403	log plain
-rw-r--r--	unchecked_convert7.adb	653	log plain
-rw-r--r--	unchecked_convert8.adb	631	log plain
-rw-r--r--	unchecked_convert8.ads	76	log plain
-rw-r--r--	unchecked_convert9.adb	287	log plain
-rw-r--r--	unchecked_convert9.ads	365	log plain
-rw-r--r--	unchecked_union1.adb	409	log plain
-rw-r--r--	uninit_array.adb	386	log plain
-rw-r--r--	uninit_array.ads	79	log plain
-rw-r--r--	uninit_array_pkg.ads	206	log plain
-rw-r--r--	uninit_func.adb	268	log plain
-rw-r--r--	valid1.adb	460	log plain
-rw-r--r--	valued_proc.adb	259	log plain
-rw-r--r--	valued_proc_pkg.ads	443	log plain
-rw-r--r--	varsize1.adb	552	log plain
-rw-r--r--	varsize2.adb	458	log plain
-rw-r--r--	varsize2.ads	621	log plain
-rw-r--r--	varsize3_1.adb	66	log plain
-rw-r--r--	varsize3_1.ads	142	log plain
-rw-r--r--	varsize3_2.adb	143	log plain
-rw-r--r--	varsize3_3.adb	136	log plain
-rw-r--r--	varsize3_4.adb	139	log plain
-rw-r--r--	varsize3_5.adb	142	log plain
-rw-r--r--	varsize3_6.adb	138	log plain
-rw-r--r--	varsize3_pkg1.ads	248	log plain
-rw-r--r--	varsize3_pkg2.ads	86	log plain
-rw-r--r--	varsize3_pkg3.ads	164	log plain
-rw-r--r--	vect1.adb	2797	log plain
-rw-r--r--	vect1.ads	1558	log plain
-rw-r--r--	vect10.adb	623	log plain
-rw-r--r--	vect10.ads	326	log plain
-rw-r--r--	vect11.adb	746	log plain
-rw-r--r--	vect11.ads	330	log plain
-rw-r--r--	vect12.adb	629	log plain
-rw-r--r--	vect12.ads	252	log plain
-rw-r--r--	vect13.adb	627	log plain
-rw-r--r--	vect13.ads	252	log plain
-rw-r--r--	vect14.adb	617	log plain
-rw-r--r--	vect15.adb	362	log plain
-rw-r--r--	vect15.ads	163	log plain
-rw-r--r--	vect16.adb	398	log plain
-rw-r--r--	vect16.ads	169	log plain
-rw-r--r--	vect17.adb	374	log plain
-rw-r--r--	vect17.ads	179	log plain
-rw-r--r--	vect18.adb	432	log plain
-rw-r--r--	vect18.ads	167	log plain
-rw-r--r--	vect1_pkg.ads	98	log plain
-rw-r--r--	vect2.adb	2797	log plain
-rw-r--r--	vect2.ads	1599	log plain
-rw-r--r--	vect2_pkg.ads	100	log plain
-rw-r--r--	vect3.adb	2797	log plain
-rw-r--r--	vect3.ads	1664	log plain
-rw-r--r--	vect3_pkg.ads	165	log plain
-rw-r--r--	vect4.adb	2947	log plain
-rw-r--r--	vect4.ads	1753	log plain
-rw-r--r--	vect4_pkg.ads	98	log plain
-rw-r--r--	vect5.adb	2947	log plain
-rw-r--r--	vect5.ads	1796	log plain
-rw-r--r--	vect5_pkg.ads	100	log plain
-rw-r--r--	vect6.adb	2947	log plain
-rw-r--r--	vect6.ads	1859	log plain
-rw-r--r--	vect6_pkg.ads	165	log plain
-rw-r--r--	vect7.adb	328	log plain
-rw-r--r--	vect7.ads	319	log plain
-rw-r--r--	vect8.adb	236	log plain
-rw-r--r--	vect8.ads	164	log plain
-rw-r--r--	vect9.adb	980	log plain
-rw-r--r--	vect9.ads	230	log plain
-rw-r--r--	vect9_pkg.ads	522	log plain
-rw-r--r--	vfa1_1.adb	1314	log plain
-rw-r--r--	vfa1_2.adb	1206	log plain
-rw-r--r--	vfa1_3.adb	1253	log plain
-rw-r--r--	vfa1_4.adb	1235	log plain
-rw-r--r--	vfa1_pkg.ads	954	log plain
-rw-r--r--	view_conversion1.adb	1105	log plain
-rw-r--r--	volatile1.ads	447	log plain
-rw-r--r--	volatile10.adb	139	log plain
-rw-r--r--	volatile10_pkg.ads	537	log plain
-rw-r--r--	volatile11.adb	1051	log plain
-rw-r--r--	volatile11_pkg.adb	699	log plain
-rw-r--r--	volatile11_pkg.ads	475	log plain
-rw-r--r--	volatile12.adb	115	log plain
-rw-r--r--	volatile12.ads	136	log plain
-rw-r--r--	volatile13.adb	231	log plain
-rw-r--r--	volatile13.ads	495	log plain
-rw-r--r--	volatile2.adb	472	log plain
-rw-r--r--	volatile2.ads	267	log plain
-rw-r--r--	volatile3.adb	285	log plain
-rw-r--r--	volatile4.adb	323	log plain
-rw-r--r--	volatile5.adb	172	log plain
-rw-r--r--	volatile5_pkg.ads	156	log plain
-rw-r--r--	volatile6.adb	318	log plain
-rw-r--r--	volatile7.adb	380	log plain
-rw-r--r--	volatile8.adb	379	log plain
-rw-r--r--	volatile9.adb	353	log plain
-rw-r--r--	volatile_aggregate.adb	676	log plain
-rw-r--r--	warn1.adb	288	log plain
-rw-r--r--	warn10.adb	226	log plain
-rw-r--r--	warn10.ads	194	log plain
-rw-r--r--	warn10_pkg.ads	281	log plain
-rw-r--r--	warn11.adb	438	log plain
-rw-r--r--	warn12.adb	1193	log plain
-rw-r--r--	warn12_pkg.ads	511	log plain
-rw-r--r--	warn13.adb	274	log plain
-rw-r--r--	warn2.adb	413	log plain
-rw-r--r--	warn3.adb	398	log plain
-rw-r--r--	warn4.adb	847	log plain
-rw-r--r--	warn5.adb	824	log plain
-rw-r--r--	warn6.adb	228	log plain
-rw-r--r--	warn6.ads	219	log plain
-rw-r--r--	warn7.adb	247	log plain
-rw-r--r--	warn8.adb	123	log plain
-rw-r--r--	warn9.adb	153	log plain
-rw-r--r--	weak2.adb	124	log plain
-rw-r--r--	weak2.ads	151	log plain
-rw-r--r--	wide_boolean.adb	389	log plain
-rw-r--r--	wide_boolean_pkg.adb	182	log plain
-rw-r--r--	wide_boolean_pkg.ads	512	log plain
-rw-r--r--	wide_pi.adb	117	log plain
-rw-r--r--	wide_test.adb	348	log plain