Folder: gnat.dg

package info (click to toggle)

gcc-arm-none-eabi 15%3A14.2.rel1-1

links: PTS, VCS
area: main
in suites: forky, sid, trixie
size: 1,099,328 kB
sloc: cpp: 3,627,108; ansic: 2,571,498; ada: 834,230; f90: 235,082; makefile: 79,231; asm: 74,984; xml: 51,692; exp: 39,736; sh: 33,298; objc: 15,629; python: 15,069; fortran: 14,429; pascal: 7,003; awk: 5,070; perl: 3,106; ml: 285; lisp: 253; lex: 204; haskell: 135

			.. (parent)
d	rwxr-xr-x	49	gcov
d	rwxr-xr-x	8,192	specs
d	rwxr-xr-x	4,096	sso
-	rw-r--r--	271	abe_pkg.adb
-	rw-r--r--	120	abe_pkg.ads
-	rw-r--r--	886	abstract1.adb
-	rw-r--r--	610	abstract1.ads
-	rw-r--r--	102	abstract_state1.adb
-	rw-r--r--	542	abstract_state1.ads
-	rw-r--r--	896	abstract_with_anonymous_result.adb
-	rw-r--r--	414	access1.adb
-	rw-r--r--	1,920	access10.adb
-	rw-r--r--	1,606	access11.adb
-	rw-r--r--	367	access2.adb
-	rw-r--r--	318	access3.adb
-	rw-r--r--	246	access3.ads
-	rw-r--r--	147	access4.adb
-	rw-r--r--	79	access5.adb
-	rw-r--r--	199	access5.ads
-	rw-r--r--	589	access6.adb
-	rw-r--r--	2,239	access7.adb
-	rw-r--r--	1,225	access8.adb
-	rw-r--r--	605	access8_pkg.adb
-	rw-r--r--	506	access8_pkg.ads
-	rw-r--r--	274	access9.adb
-	rw-r--r--	559	access_discr.adb
-	rw-r--r--	197	access_discr2.adb
-	rw-r--r--	217	access_func.adb
-	rw-r--r--	563	access_test.adb
-	rw-r--r--	387	addr1.adb
-	rw-r--r--	48	addr1.ads
-	rw-r--r--	468	addr10.adb
-	rw-r--r--	468	addr11.adb
-	rw-r--r--	88	addr12.adb
-	rw-r--r--	554	addr12_a.adb
-	rw-r--r--	57	addr12_a.ads
-	rw-r--r--	195	addr12_b.adb
-	rw-r--r--	524	addr12_b.ads
-	rw-r--r--	133	addr12_c.ads
-	rw-r--r--	180	addr13.adb
-	rw-r--r--	89	addr13.ads
-	rw-r--r--	368	addr14.adb
-	rw-r--r--	387	addr15.adb
-	rw-r--r--	195	addr16.adb
-	rw-r--r--	175	addr16_pkg.ads
-	rw-r--r--	158	addr2.adb
-	rw-r--r--	248	addr2_p.adb
-	rw-r--r--	229	addr2_p.ads
-	rw-r--r--	664	addr3.adb
-	rw-r--r--	253	addr4.adb
-	rw-r--r--	199	addr5.adb
-	rw-r--r--	554	addr6.adb
-	rw-r--r--	179	addr7.adb
-	rw-r--r--	145	addr7.ads
-	rw-r--r--	171	addr8.adb
-	rw-r--r--	137	addr8.ads
-	rw-r--r--	827	addr9_1.adb
-	rw-r--r--	854	addr9_2.adb
-	rw-r--r--	819	addr9_3.adb
-	rw-r--r--	811	addr9_4.adb
-	rw-r--r--	408	addr_slice.adb
-	rw-r--r--	322	address_conv.adb
-	rw-r--r--	452	address_conversion.adb
-	rw-r--r--	226	address_null_init.ads
-	rw-r--r--	1,228	aggr1.adb
-	rw-r--r--	593	aggr10.adb
-	rw-r--r--	460	aggr10_pkg.ads
-	rw-r--r--	405	aggr11.adb
-	rw-r--r--	283	aggr11_pkg.ads
-	rw-r--r--	350	aggr12.adb
-	rw-r--r--	261	aggr12.ads
-	rw-r--r--	390	aggr13.adb
-	rw-r--r--	91	aggr14.adb
-	rw-r--r--	235	aggr14_pkg.adb
-	rw-r--r--	148	aggr14_pkg.ads
-	rw-r--r--	303	aggr15.adb
-	rw-r--r--	233	aggr15.ads
-	rw-r--r--	431	aggr16.adb
-	rw-r--r--	50	aggr16.ads
-	rw-r--r--	433	aggr16_pkg.ads
-	rw-r--r--	554	aggr17.adb
-	rw-r--r--	545	aggr18.adb
-	rw-r--r--	253	aggr19.adb
-	rw-r--r--	153	aggr19_pkg.adb
-	rw-r--r--	570	aggr19_pkg.ads
-	rw-r--r--	310	aggr2.adb
-	rw-r--r--	147	aggr20.adb
-	rw-r--r--	430	aggr20.ads
-	rw-r--r--	140	aggr20_pkg.ads
-	rw-r--r--	284	aggr21.adb
-	rw-r--r--	135	aggr21_pkg.adb
-	rw-r--r--	178	aggr21_pkg.ads
-	rw-r--r--	262	aggr22.adb
-	rw-r--r--	267	aggr22.ads
-	rw-r--r--	112	aggr23.adb
-	rw-r--r--	300	aggr23_q.adb
-	rw-r--r--	106	aggr23_tt.ads
-	rw-r--r--	184	aggr24.adb
-	rw-r--r--	269	aggr24_pkg.adb
-	rw-r--r--	278	aggr24_pkg.ads
-	rw-r--r--	85	aggr25.adb
-	rw-r--r--	472	aggr25.ads
-	rw-r--r--	242	aggr26.adb
-	rw-r--r--	727	aggr27.adb
-	rw-r--r--	535	aggr28.adb
-	rw-r--r--	257	aggr29.adb
-	rw-r--r--	842	aggr3.adb
-	rw-r--r--	440	aggr30.adb
-	rw-r--r--	423	aggr30.ads
-	rw-r--r--	357	aggr31.adb
-	rw-r--r--	514	aggr4.adb
-	rw-r--r--	813	aggr7.adb
-	rw-r--r--	401	aggr8.adb
-	rw-r--r--	162	aggr9.adb
-	rw-r--r--	89	aggr9.ads
-	rw-r--r--	231	aggr9_pkg.ads
-	rw-r--r--	628	ai12_0086_example.adb
-	rw-r--r--	568	aliased1.adb
-	rw-r--r--	376	aliased2.adb
-	rw-r--r--	1,558	aliased_prefix_accessibility.adb
-	rw-r--r--	441	aliasing1.adb
-	rw-r--r--	177	aliasing1.ads
-	rw-r--r--	446	aliasing2.adb
-	rw-r--r--	163	aliasing2.ads
-	rw-r--r--	162	aliasing3.adb
-	rw-r--r--	157	aliasing3_pkg.adb
-	rw-r--r--	305	aliasing3_pkg.ads
-	rw-r--r--	523	align_check.adb
-	rw-r--r--	3,832	align_max.adb
-	rw-r--r--	533	aligned_vla.adb
-	rw-r--r--	247	alignment1.adb
-	rw-r--r--	390	alignment10.adb
-	rw-r--r--	224	alignment11.adb
-	rw-r--r--	231	alignment12.adb
-	rw-r--r--	313	alignment13.adb
-	rw-r--r--	294	alignment14.adb
-	rw-r--r--	260	alignment15.adb
-	rw-r--r--	1,236	alignment2.adb
-	rw-r--r--	915	alignment3.adb
-	rw-r--r--	237	alignment4.adb
-	rw-r--r--	654	alignment5.adb
-	rw-r--r--	713	alignment6.adb
-	rw-r--r--	306	alignment7.adb
-	rw-r--r--	318	alignment8.adb
-	rw-r--r--	444	alignment9.adb
-	rw-r--r--	370	allocator.adb
-	rw-r--r--	124	allocator2.adb
-	rw-r--r--	453	allocator2.ads
-	rw-r--r--	964	allocator_maxalign1.adb
-	rw-r--r--	669	allocator_maxalign2.adb
-	rw-r--r--	211	allocator_maxalign2.ads
-	rw-r--r--	233	ancestor_type.adb
-	rw-r--r--	200	ancestor_type.ads
-	rw-r--r--	139	annotation1.adb
-	rw-r--r--	66	anon1.ads
-	rw-r--r--	120	anon2.adb
-	rw-r--r--	113	anon3.adb
-	rw-r--r--	86	anon3.ads
-	rw-r--r--	656	array1.adb
-	rw-r--r--	151	array1.ads
-	rw-r--r--	449	array10.adb
-	rw-r--r--	322	array11.adb
-	rw-r--r--	347	array12.adb
-	rw-r--r--	211	array13.adb
-	rw-r--r--	201	array13.ads
-	rw-r--r--	682	array14.adb
-	rw-r--r--	52	array14.ads
-	rw-r--r--	455	array14_pkg.ads
-	rw-r--r--	397	array15.adb
-	rw-r--r--	78	array15.ads
-	rw-r--r--	550	array16.adb
-	rw-r--r--	537	array16.ads
-	rw-r--r--	71	array16_pkg.ads
-	rw-r--r--	242	array17.adb
-	rw-r--r--	180	array17_pkg.ads
-	rw-r--r--	125	array18.adb
-	rw-r--r--	132	array18_pkg.ads
-	rw-r--r--	531	array19.adb
-	rw-r--r--	53	array19.ads
-	rw-r--r--	129	array2.ads
-	rw-r--r--	201	array20.adb
-	rw-r--r--	60	array20.ads
-	rw-r--r--	309	array21.adb
-	rw-r--r--	385	array22.adb
-	rw-r--r--	145	array23.adb
-	rw-r--r--	254	array23_pkg1.ads
-	rw-r--r--	199	array23_pkg2.ads
-	rw-r--r--	65	array23_pkg3.ads
-	rw-r--r--	257	array24.adb
-	rw-r--r--	129	array25.adb
-	rw-r--r--	250	array25_pkg.adb
-	rw-r--r--	268	array25_pkg.ads
-	rw-r--r--	357	array26.adb
-	rw-r--r--	114	array26_pkg.adb
-	rw-r--r--	157	array26_pkg.ads
-	rw-r--r--	359	array27.adb
-	rw-r--r--	114	array27_pkg.adb
-	rw-r--r--	157	array27_pkg.ads
-	rw-r--r--	359	array28.adb
-	rw-r--r--	116	array28_pkg.adb
-	rw-r--r--	157	array28_pkg.ads
-	rw-r--r--	662	array29.adb
-	rw-r--r--	135	array29.ads
-	rw-r--r--	1,110	array3.adb
-	rw-r--r--	749	array30.adb
-	rw-r--r--	312	array31.adb
-	rw-r--r--	147	array32.adb
-	rw-r--r--	174	array32.ads
-	rw-r--r--	3,479	array33.adb
-	rw-r--r--	335	array34.adb
-	rw-r--r--	366	array35.adb
-	rw-r--r--	428	array36.adb
-	rw-r--r--	316	array37.adb
-	rw-r--r--	156	array38.adb
-	rw-r--r--	150	array38_pkg.adb
-	rw-r--r--	477	array38_pkg.ads
-	rw-r--r--	183	array39.adb
-	rw-r--r--	375	array39_pkg.adb
-	rw-r--r--	502	array39_pkg.ads
-	rw-r--r--	576	array4.adb
-	rw-r--r--	357	array40.adb
-	rw-r--r--	177	array40_pkg.ads
-	rw-r--r--	1,081	array41.adb
-	rw-r--r--	59	array41.ads
-	rw-r--r--	575	array5.adb
-	rw-r--r--	605	array6.adb
-	rw-r--r--	488	array7.adb
-	rw-r--r--	484	array7.ads
-	rw-r--r--	575	array8.adb
-	rw-r--r--	309	array9.adb
-	rw-r--r--	397	array_bounds_test.adb
-	rw-r--r--	525	array_bounds_test2.adb
-	rw-r--r--	285	asan1.adb
-	rw-r--r--	180	asan1_pkg.ads
-	rw-r--r--	325	aspect1.adb
-	rw-r--r--	235	aspect1_horizontal.adb
-	rw-r--r--	307	aspect1_horizontal.ads
-	rw-r--r--	464	aspect1_vectors_2d.ads
-	rw-r--r--	75	assert.ads
-	rw-r--r--	1,281	assert1.adb
-	rw-r--r--	88	assert2.adb
-	rw-r--r--	415	assert2.ads
-	rw-r--r--	304	assertion_policy1.adb
-	rw-r--r--	201	assertion_policy1_pkg.adb
-	rw-r--r--	177	assertion_policy1_pkg.ads
-	rw-r--r--	257	assign_from_packed.adb
-	rw-r--r--	335	assign_from_packed_pixels.ads
-	rw-r--r--	556	asynch.adb
-	rw-r--r--	199	asynch.ads
-	rw-r--r--	379	atomic1.adb
-	rw-r--r--	591	atomic10.adb
-	rw-r--r--	400	atomic11.adb
-	rw-r--r--	338	atomic11_pkg1.ads
-	rw-r--r--	78	atomic11_pkg2.ads
-	rw-r--r--	1,024	atomic1_pkg.ads
-	rw-r--r--	214	atomic2.adb
-	rw-r--r--	398	atomic3.adb
-	rw-r--r--	270	atomic4.adb
-	rw-r--r--	534	atomic4.ads
-	rw-r--r--	341	atomic5.adb
-	rw-r--r--	382	atomic5.ads
-	rw-r--r--	1,440	atomic6_1.adb
-	rw-r--r--	1,634	atomic6_2.adb
-	rw-r--r--	1,728	atomic6_3.adb
-	rw-r--r--	1,566	atomic6_4.adb
-	rw-r--r--	1,476	atomic6_5.adb
-	rw-r--r--	1,496	atomic6_6.adb
-	rw-r--r--	1,546	atomic6_7.adb
-	rw-r--r--	1,429	atomic6_8.adb
-	rw-r--r--	600	atomic6_pkg.ads
-	rw-r--r--	214	atomic7_1.adb
-	rw-r--r--	143	atomic7_2.adb
-	rw-r--r--	152	atomic7_pkg1.ads
-	rw-r--r--	217	atomic7_pkg2.adb
-	rw-r--r--	77	atomic7_pkg2.ads
-	rw-r--r--	578	atomic8.adb
-	rw-r--r--	559	atomic9.adb
-	rw-r--r--	146	bad_array.adb
-	rw-r--r--	845	bias1.adb
-	rw-r--r--	486	bias2.adb
-	rw-r--r--	410	biased_subtype.adb
-	rw-r--r--	1,067	biased_uc.adb
-	rw-r--r--	1,341	bip_aggregate_bug.adb
-	rw-r--r--	381	bip_case_expr.adb
-	rw-r--r--	203	bip_case_expr_pkg.ads
-	rw-r--r--	165	bip_cu.adb
-	rw-r--r--	145	bip_cu_constructor.adb
-	rw-r--r--	67	bip_cu_constructor.ads
-	rw-r--r--	177	bip_cu_t.adb
-	rw-r--r--	247	bip_cu_t.ads
-	rw-r--r--	428	bip_exception.adb
-	rw-r--r--	614	bip_exception.ads
-	rw-r--r--	339	bip_exception_pkg.ads
-	rw-r--r--	259	bip_export.adb
-	rw-r--r--	145	bip_export.ads
-	rw-r--r--	340	bip_overlay.adb
-	rw-r--r--	491	bip_overlay.ads
-	rw-r--r--	277	bip_prim_func.adb
-	rw-r--r--	222	bip_prim_func.ads
-	rw-r--r--	467	bip_prim_func2.adb
-	rw-r--r--	498	bip_prim_func2_pkg.adb
-	rw-r--r--	450	bip_prim_func2_pkg.ads
-	rw-r--r--	389	bit_order1.adb
-	rw-r--r--	369	bit_packed_array1.adb
-	rw-r--r--	934	bit_packed_array1.ads
-	rw-r--r--	324	bit_packed_array2.adb
-	rw-r--r--	971	bit_packed_array3.adb
-	rw-r--r--	182	bit_packed_array4.adb
-	rw-r--r--	411	bit_packed_array4.ads
-	rw-r--r--	453	bit_packed_array5.adb
-	rw-r--r--	363	bit_packed_array5.ads
-	rw-r--r--	219	bit_packed_array6.adb
-	rw-r--r--	393	bit_packed_array6_pkg.ads
-	rw-r--r--	1,178	blkextract_from_reg.adb
-	rw-r--r--	460	block_ext_return_assert_failure.adb
-	rw-r--r--	202	bltins.adb
-	rw-r--r--	1,198	boolean_bitfield.adb
-	rw-r--r--	536	boolean_conv.adb
-	rw-r--r--	781	boolean_expr1.adb
-	rw-r--r--	95	boolean_expr1.ads
-	rw-r--r--	314	boolean_expr2.adb
-	rw-r--r--	753	boolean_subtype1.adb
-	rw-r--r--	945	boolean_subtype2.adb
-	rw-r--r--	186	boolean_subtype2.ads
-	rw-r--r--	285	boolean_subtype2_pkg.ads
-	rw-r--r--	184	bug_elaboration_code.adb
-	rw-r--r--	119	bug_elaboration_code.ads
-	rw-r--r--	288	c_words.adb
-	rw-r--r--	469	c_words.ads
-	rw-r--r--	701	calendar_format_value.adb
-	rw-r--r--	245	capture_value.adb
-	rw-r--r--	303	case_character.adb
-	rw-r--r--	315	case_null.adb
-	rw-r--r--	207	case_null.ads
-	rw-r--r--	518	case_optimization1.adb
-	rw-r--r--	161	case_optimization1.ads
-	rw-r--r--	276	case_optimization2.adb
-	rw-r--r--	465	case_optimization3.adb
-	rw-r--r--	213	case_optimization3.ads
-	rw-r--r--	18,675	case_optimization_pkg1.ads
-	rw-r--r--	598	case_optimization_pkg2.adb
-	rw-r--r--	764	case_optimization_pkg2.ads
-	rw-r--r--	674	casesi.adb
-	rw-r--r--	55	casesi.ads
-	rw-r--r--	146	check1.adb
-	rw-r--r--	207	check1.ads
-	rw-r--r--	1,100	check_displace_generation.adb
-	rw-r--r--	197	check_elaboration_code.adb
-	rw-r--r--	489	class_wide1.adb
-	rw-r--r--	287	class_wide2.adb
-	rw-r--r--	311	class_wide2.ads
-	rw-r--r--	191	class_wide3.adb
-	rw-r--r--	332	class_wide3_pkg.ads
-	rw-r--r--	522	class_wide4.adb
-	rw-r--r--	503	class_wide4_pkg.ads
-	rw-r--r--	610	class_wide4_pkg2.ads
-	rw-r--r--	250	class_wide5.adb
-	rw-r--r--	113	compile_time_error1.adb
-	rw-r--r--	215	compile_time_error1.ads
-	rw-r--r--	185	compile_time_error1_pkg.ads
-	rw-r--r--	205	complex1.adb
-	rw-r--r--	86	complex1_pkg.ads
-	rw-r--r--	1,175	component_size.adb
-	rw-r--r--	293	compose.adb
-	rw-r--r--	482	concat1.adb
-	rw-r--r--	117	concat1_pkg.adb
-	rw-r--r--	89	concat1_pkg.ads
-	rw-r--r--	362	concat2.adb
-	rw-r--r--	55	concat2.ads
-	rw-r--r--	257	concat3.adb
-	rw-r--r--	381	concat4.adb
-	rw-r--r--	133	concat5.adb
-	rw-r--r--	342	concat5_pkg1.adb
-	rw-r--r--	75	concat5_pkg1.ads
-	rw-r--r--	198	concat5_pkg2.adb
-	rw-r--r--	78	concat5_pkg2.ads
-	rw-r--r--	317	concat_length.adb
-	rw-r--r--	177	cond_expr1.adb
-	rw-r--r--	209	cond_expr2.adb
-	rw-r--r--	82	cond_expr2.ads
-	rw-r--r--	134	constant1.adb
-	rw-r--r--	171	constant2.adb
-	rw-r--r--	134	constant2_pkg1.ads
-	rw-r--r--	184	constant2_pkg2.adb
-	rw-r--r--	108	constant2_pkg2.ads
-	rw-r--r--	391	constant3.adb
-	rw-r--r--	211	constant4.adb
-	rw-r--r--	440	constant4_pkg.ads
-	rw-r--r--	126	containers1.adb
-	rw-r--r--	209	containers1.ads
-	rw-r--r--	4,656	containers2.adb
-	rw-r--r--	351	contract1.adb
-	rw-r--r--	372	controlled1.ads
-	rw-r--r--	266	controlled2.adb
-	rw-r--r--	101	controlled2.ads
-	rw-r--r--	371	controlled3.ads
-	rw-r--r--	219	controlled4.adb
-	rw-r--r--	89	controlled4.ads
-	rw-r--r--	141	controlled5.adb
-	rw-r--r--	367	controlled5_pkg.adb
-	rw-r--r--	369	controlled5_pkg.ads
-	rw-r--r--	514	controlled6.adb
-	rw-r--r--	560	controlled6_pkg-iterators.adb
-	rw-r--r--	493	controlled6_pkg-iterators.ads
-	rw-r--r--	212	controlled6_pkg.ads
-	rw-r--r--	403	controlled7.adb
-	rw-r--r--	146	controlled7.ads
-	rw-r--r--	2,110	controlled8.adb
-	rw-r--r--	281	controlled_record.adb
-	rw-r--r--	329	controlled_record.ads
-	rw-r--r--	685	conv_bug.adb
-	rw-r--r--	739	conv_decimal.adb
-	rw-r--r--	246	conv_integer.adb
-	rw-r--r--	568	conv_real.adb
-	rw-r--r--	288	cpp_constructor.adb
-	rw-r--r--	433	cpp_constructor2.adb
-	rw-r--r--	331	cpp_constructor_fp.ads
-	rw-r--r--	222	cpp_constructor_useit.ads
-	rw-r--r--	2,246	curr_task.adb
-	rw-r--r--	502	debug1.ads
-	rw-r--r--	1,325	debug10.adb
-	rw-r--r--	3,492	debug10_pkg.ads
-	rw-r--r--	946	debug11.adb
-	rw-r--r--	914	debug11_pkg.adb
-	rw-r--r--	267	debug11_pkg.ads
-	rw-r--r--	252	debug11_pkg2.ads
-	rw-r--r--	336	debug12.adb
-	rw-r--r--	215	debug12.ads
-	rw-r--r--	861	debug13.adb
-	rw-r--r--	70	debug13.ads
-	rw-r--r--	660	debug14.adb
-	rw-r--r--	643	debug16.adb
-	rw-r--r--	660	debug17.adb
-	rw-r--r--	510	debug18.adb
-	rw-r--r--	599	debug2.adb
-	rw-r--r--	52	debug2.ads
-	rw-r--r--	404	debug2_pkg.ads
-	rw-r--r--	483	debug3.adb
-	rw-r--r--	50	debug3.ads
-	rw-r--r--	142	debug4.adb
-	rw-r--r--	729	debug4_pkg.adb
-	rw-r--r--	676	debug4_pkg.ads
-	rw-r--r--	438	debug5.adb
-	rw-r--r--	170	debug6.adb
-	rw-r--r--	370	debug6_pkg.ads
-	rw-r--r--	326	debug7.adb
-	rw-r--r--	145	debug7.ads
-	rw-r--r--	831	debug8.adb
-	rw-r--r--	1,624	debug9.adb
-	rw-r--r--	48	decl_ctx_def.ads
-	rw-r--r--	229	decl_ctx_use.adb
-	rw-r--r--	74	decl_ctx_use.ads
-	rw-r--r--	273	default_initial_condition.adb
-	rw-r--r--	197	default_initial_condition_pack.adb
-	rw-r--r--	275	default_initial_condition_pack.ads
-	rw-r--r--	534	default_pkg_actual.adb
-	rw-r--r--	446	default_pkg_actual2.adb
-	rw-r--r--	692	default_variants.adb
-	rw-r--r--	276	deferred_const1.adb
-	rw-r--r--	203	deferred_const2.adb
-	rw-r--r--	201	deferred_const2_pkg.adb
-	rw-r--r--	224	deferred_const2_pkg.ads
-	rw-r--r--	344	deferred_const3.adb
-	rw-r--r--	342	deferred_const3_pkg.adb
-	rw-r--r--	356	deferred_const3_pkg.ads
-	rw-r--r--	174	deferred_const4.adb
-	rw-r--r--	279	deferred_const4.ads
-	rw-r--r--	347	deferred_const4_pkg.ads
-	rw-r--r--	1,228	delta_aggr.adb
-	rw-r--r--	400	deques.ads
-	rw-r--r--	104	deref1.ads
-	rw-r--r--	344	deref2.ads
-	rw-r--r--	172	deref3.adb
-	rw-r--r--	666	derived_aggregate.adb
-	rw-r--r--	601	derived_type1.adb
-	rw-r--r--	633	derived_type2.adb
-	rw-r--r--	124	derived_type3.adb
-	rw-r--r--	1,048	derived_type3_pkg.adb
-	rw-r--r--	94	derived_type3_pkg.ads
-	rw-r--r--	288	derived_type4.adb
-	rw-r--r--	162	derived_type5.adb
-	rw-r--r--	634	derived_type5_pkg.ads
-	rw-r--r--	96	derived_type6.adb
-	rw-r--r--	211	derived_type6.ads
-	rw-r--r--	182	derived_type7.adb
-	rw-r--r--	317	derived_type7.ads
-	rw-r--r--	188	dflt_init_cond.adb
-	rw-r--r--	360	dflt_init_cond_pkg.ads
-	rw-r--r--	1,096	dg.exp
-	rw-r--r--	94	dimensions.adb
-	rw-r--r--	917	dimensions.ads
-	rw-r--r--	671	dimensions2.adb
-	rw-r--r--	2,933	dimensions2_phys.ads
-	rw-r--r--	72	dimensions2_real_numbers.ads
-	rw-r--r--	784	dinst.adb
-	rw-r--r--	135	dinst_pkg.adb
-	rw-r--r--	52	dinst_pkg.ads
-	rw-r--r--	466	discr1.ads
-	rw-r--r--	146	discr10.adb
-	rw-r--r--	516	discr10.ads
-	rw-r--r--	164	discr11.adb
-	rw-r--r--	174	discr11.ads
-	rw-r--r--	213	discr11_pkg.ads
-	rw-r--r--	565	discr12.adb
-	rw-r--r--	89	discr12_pkg.ads
-	rw-r--r--	607	discr13.adb
-	rw-r--r--	270	discr14.adb
-	rw-r--r--	1,063	discr14.ads
-	rw-r--r--	312	discr15.adb
-	rw-r--r--	436	discr15_pkg.ads
-	rw-r--r--	404	discr16.adb
-	rw-r--r--	105	discr16_cont.ads
-	rw-r--r--	289	discr16_g.ads
-	rw-r--r--	165	discr16_pkg.ads
-	rw-r--r--	1,085	discr17.adb
-	rw-r--r--	499	discr18.adb
-	rw-r--r--	470	discr18_pkg.ads
-	rw-r--r--	342	discr19.adb
-	rw-r--r--	372	discr2.adb
-	rw-r--r--	53	discr2.ads
-	rw-r--r--	141	discr20.adb
-	rw-r--r--	605	discr20.ads
-	rw-r--r--	584	discr21.adb
-	rw-r--r--	52	discr21.ads
-	rw-r--r--	351	discr21_pkg.ads
-	rw-r--r--	404	discr22.adb
-	rw-r--r--	280	discr23.adb
-	rw-r--r--	53	discr23.ads
-	rw-r--r--	221	discr23_pkg.ads
-	rw-r--r--	1,192	discr24.adb
-	rw-r--r--	140	discr25.adb
-	rw-r--r--	463	discr25_pkg.adb
-	rw-r--r--	195	discr25_pkg.ads
-	rw-r--r--	258	discr26.adb
-	rw-r--r--	245	discr26.ads
-	rw-r--r--	71	discr26_pkg.ads
-	rw-r--r--	605	discr27.adb
-	rw-r--r--	53	discr27.ads
-	rw-r--r--	307	discr28.adb
-	rw-r--r--	337	discr28.ads
-	rw-r--r--	71	discr28_pkg.ads
-	rw-r--r--	139	discr29.adb
-	rw-r--r--	420	discr29.ads
-	rw-r--r--	299	discr3.ads
-	rw-r--r--	1,194	discr30.adb
-	rw-r--r--	226	discr31.adb
-	rw-r--r--	370	discr31.ads
-	rw-r--r--	327	discr32.adb
-	rw-r--r--	472	discr32_pkg.ads
-	rw-r--r--	610	discr33.adb
-	rw-r--r--	121	discr34.adb
-	rw-r--r--	271	discr34_pkg.ads
-	rw-r--r--	215	discr35.adb
-	rw-r--r--	361	discr35.ads
-	rw-r--r--	298	discr36.adb
-	rw-r--r--	206	discr36.ads
-	rw-r--r--	151	discr36_pkg.adb
-	rw-r--r--	101	discr36_pkg.ads
-	rw-r--r--	217	discr37.adb
-	rw-r--r--	463	discr37.ads
-	rw-r--r--	941	discr38.adb
-	rw-r--r--	456	discr39.adb
-	rw-r--r--	894	discr4.adb
-	rw-r--r--	231	discr40.adb
-	rw-r--r--	719	discr40.ads
-	rw-r--r--	168	discr41.adb
-	rw-r--r--	437	discr41.ads
-	rw-r--r--	265	discr42.adb
-	rw-r--r--	255	discr42_pkg.adb
-	rw-r--r--	249	discr42_pkg.ads
-	rw-r--r--	382	discr43.adb
-	rw-r--r--	496	discr44.adb
-	rw-r--r--	810	discr45.adb
-	rw-r--r--	244	discr46.adb
-	rw-r--r--	450	discr46.ads
-	rw-r--r--	299	discr47.adb
-	rw-r--r--	201	discr48.adb
-	rw-r--r--	449	discr48_pkg.ads
-	rw-r--r--	235	discr49.adb
-	rw-r--r--	163	discr49_rec1.adb
-	rw-r--r--	270	discr49_rec1.ads
-	rw-r--r--	149	discr49_rec2.adb
-	rw-r--r--	269	discr49_rec2.ads
-	rw-r--r--	323	discr5.adb
-	rw-r--r--	271	discr50.adb
-	rw-r--r--	676	discr51.adb
-	rw-r--r--	498	discr52.adb
-	rw-r--r--	258	discr53.adb
-	rw-r--r--	279	discr53.ads
-	rw-r--r--	73	discr53_pkg.ads
-	rw-r--r--	126	discr54.adb
-	rw-r--r--	2,758	discr54_pkg.ads
-	rw-r--r--	262	discr55.adb
-	rw-r--r--	87	discr56.adb
-	rw-r--r--	107	discr56.ads
-	rw-r--r--	92	discr56_pkg1.adb
-	rw-r--r--	260	discr56_pkg1.ads
-	rw-r--r--	195	discr56_pkg2.ads
-	rw-r--r--	297	discr57.adb
-	rw-r--r--	939	discr58.adb
-	rw-r--r--	454	discr59.adb
-	rw-r--r--	984	discr59_pkg1.ads
-	rw-r--r--	331	discr59_pkg2.ads
-	rw-r--r--	436	discr7.adb
-	rw-r--r--	636	discr8.adb
-	rw-r--r--	350	discr8.ads
-	rw-r--r--	203	discr8_pkg1.ads
-	rw-r--r--	236	discr8_pkg2.ads
-	rw-r--r--	73	discr8_pkg3.ads
-	rw-r--r--	188	discr9.adb
-	rw-r--r--	475	discr9.ads
-	rw-r--r--	415	discr_range_check.adb
-	rw-r--r--	437	discr_test.adb
-	rw-r--r--	381	discr_test2.adb
-	rw-r--r--	161	disp1.adb
-	rw-r--r--	105	disp1_pkg.ads
-	rw-r--r--	192	disp2.adb
-	rw-r--r--	159	disp2_pkg.adb
-	rw-r--r--	269	disp2_pkg.ads
-	rw-r--r--	293	div_no_warning.adb
-	rw-r--r--	553	div_zero.adb
-	rw-r--r--	361	dse_step.adb
-	rw-r--r--	411	dse_step.ads
-	rw-r--r--	529	dynamic_bound.adb
-	rw-r--r--	271	dynamic_elab1.adb
-	rw-r--r--	198	dynamic_elab1.ads
-	rw-r--r--	271	dynamic_elab2.adb
-	rw-r--r--	215	dynamic_elab2.ads
-	rw-r--r--	153	dynamic_elab_pkg.ads
-	rw-r--r--	20,094	dynhash.adb
-	rw-r--r--	1,342	dynhash1.adb
-	rw-r--r--	474	elab1.ads
-	rw-r--r--	123	elab2.adb
-	rw-r--r--	162	elab3.adb
-	rw-r--r--	46	elab3.ads
-	rw-r--r--	165	elab3_pkg.adb
-	rw-r--r--	126	elab3_pkg.ads
-	rw-r--r--	79	elab4.adb
-	rw-r--r--	2,407	elab4_pkg.adb
-	rw-r--r--	1,125	elab4_pkg.ads
-	rw-r--r--	79	elab5.adb
-	rw-r--r--	2,912	elab5_pkg.adb
-	rw-r--r--	1,286	elab5_pkg.ads
-	rw-r--r--	152	elab6.adb
-	rw-r--r--	78	elab6.ads
-	rw-r--r--	291	elab6_pkg.adb
-	rw-r--r--	67	elab6_pkg.ads
-	rw-r--r--	117	elab7.adb
-	rw-r--r--	118	elab7_pkg1.adb
-	rw-r--r--	54	elab7_pkg1.ads
-	rw-r--r--	270	elab7_pkg2.adb
-	rw-r--r--	81	elab7_pkg2.ads
-	rw-r--r--	167	elab8.adb
-	rw-r--r--	178	elab8_gen.adb
-	rw-r--r--	132	elab8_gen.ads
-	rw-r--r--	70	elab8_pkg.adb
-	rw-r--r--	79	elab8_pkg.ads
-	rw-r--r--	83	elim1.adb
-	rw-r--r--	111	elim1.ads
-	rw-r--r--	70	elim2.adb
-	rw-r--r--	395	empty_vector_length.adb
-	rw-r--r--	888	enclosing_record_reference.adb
-	rw-r--r--	618	enclosing_record_reference.ads
-	rw-r--r--	1,429	encode_string1.adb
-	rw-r--r--	339	encode_string1_pkg.adb
-	rw-r--r--	165	encode_string1_pkg.ads
-	rw-r--r--	1,338	entry1.adb
-	rw-r--r--	123	entry1.ads
-	rw-r--r--	573	entry_family.adb
-	rw-r--r--	1,078	entry_queues.adb
-	rw-r--r--	834	entry_queues2.adb
-	rw-r--r--	480	entry_queues3.adb
-	rw-r--r--	247	enum1.adb
-	rw-r--r--	128	enum1_pkg.ads
-	rw-r--r--	274	enum2.adb
-	rw-r--r--	237	enum2_pkg.ads
-	rw-r--r--	522	enum3.adb
-	rw-r--r--	1,680	enum4.adb
-	rw-r--r--	171	enum5.adb
-	rw-r--r--	79	enum_rep.adb
-	rw-r--r--	583	enum_rep.ads
-	rw-r--r--	6,192	enum_rep2.adb
-	rw-r--r--	447	enum_val1.adb
-	rw-r--r--	957	env_compile_capacity.adb
-	rw-r--r--	60	env_compile_capacity.ads
-	rw-r--r--	286	equal1.ads
-	rw-r--r--	87	equal10.adb
-	rw-r--r--	175	equal10.ads
-	rw-r--r--	638	equal11.adb
-	rw-r--r--	150	equal11_interface.ads
-	rw-r--r--	157	equal11_record.adb
-	rw-r--r--	435	equal11_record.ads
-	rw-r--r--	810	equal2.adb
-	rw-r--r--	587	equal3.adb
-	rw-r--r--	288	equal4.adb
-	rw-r--r--	132	equal4.ads
-	rw-r--r--	263	equal4_controlled_filter.ads
-	rw-r--r--	251	equal4_full_selector_filter.ads
-	rw-r--r--	229	equal4_smart_pointers.ads
-	rw-r--r--	284	equal5.adb
-	rw-r--r--	675	equal5.ads
-	rw-r--r--	761	equal6.adb
-	rw-r--r--	392	equal6_types.adb
-	rw-r--r--	1,431	equal6_types.ads
-	rw-r--r--	815	equal7.adb
-	rw-r--r--	296	equal7_pkg.adb
-	rw-r--r--	554	equal7_pkg.ads
-	rw-r--r--	474	equal9.adb
-	rw-r--r--	142	equal_access.adb
-	rw-r--r--	1,322	exit1.adb
-	rw-r--r--	620	exp0_eval.adb
-	rw-r--r--	300	expect1.adb
-	rw-r--r--	482	expect2.adb
-	rw-r--r--	447	expect2_pkg.ads
-	rw-r--r--	688	expect3.adb
-	rw-r--r--	589	expect4.adb
-	rw-r--r--	92	expr_func2.adb
-	rw-r--r--	525	expr_func2.ads
-	rw-r--r--	96	expr_func3.adb
-	rw-r--r--	362	expr_func3.ads
-	rw-r--r--	220	expr_func4.adb
-	rw-r--r--	176	expr_func5.adb
-	rw-r--r--	96	expr_func6.adb
-	rw-r--r--	397	expr_func6.ads
-	rw-r--r--	94	expr_func7.adb
-	rw-r--r--	444	expr_func7.ads
-	rw-r--r--	888	expr_func8.adb
-	rw-r--r--	435	expr_func9.adb
-	rw-r--r--	163	expr_func_main.adb
-	rw-r--r--	202	expr_func_pkg.adb
-	rw-r--r--	224	expr_func_pkg.ads
-	rw-r--r--	377	ext1.ads
-	rw-r--r--	234	fatp_sra.adb
-	rw-r--r--	248	finalized.adb
-	rw-r--r--	322	fixce.adb
-	rw-r--r--	390	fixed_delete.adb
-	rw-r--r--	186	fixedpnt.adb
-	rw-r--r--	734	fixedpnt2.adb
-	rw-r--r--	626	fixedpnt2.ads
-	rw-r--r--	399	fixedpnt3.adb
-	rw-r--r--	319	fixedpnt4.adb
-	rw-r--r--	1,754	fixedpnt5.adb
-	rw-r--r--	315	fixedpnt6.adb
-	rw-r--r--	417	fixedpnt7.adb
-	rw-r--r--	657	fixedpnt8.adb
-	rw-r--r--	930	float_attributes_overflows.adb
-	rw-r--r--	1,682	float_value1.adb
-	rw-r--r--	247	float_value2.adb
-	rw-r--r--	151	forward_anon.adb
-	rw-r--r--	266	forward_anon.ads
-	rw-r--r--	419	forward_vla.adb
-	rw-r--r--	518	fp_exception.adb
-	rw-r--r--	554	frame_overflow.adb
-	rw-r--r--	423	frame_overflow.ads
-	rw-r--r--	444	frame_overflow2.adb
-	rw-r--r--	90	freezing1.adb
-	rw-r--r--	276	freezing1.ads
-	rw-r--r--	223	freezing1_pack.adb
-	rw-r--r--	444	freezing1_pack.ads
-	rw-r--r--	159	frunaligned.adb
-	rw-r--r--	260	frunaligned1.ads
-	rw-r--r--	175	g_tables.adb
-	rw-r--r--	225	g_tables.ads
-	rw-r--r--	1,375	gen_disp.adb
-	rw-r--r--	299	gen_disp.ads
-	rw-r--r--	225	gen_formal_pkg.adb
-	rw-r--r--	64	gen_formal_pkg_a.ads
-	rw-r--r--	137	gen_formal_pkg_b.ads
-	rw-r--r--	278	gen_formal_pkg_w.ads
-	rw-r--r--	88	generic2-child.ads
-	rw-r--r--	102	generic2-io_any.adb
-	rw-r--r--	132	generic2-io_any.ads
-	rw-r--r--	77	generic2.ads
-	rw-r--r--	472	generic_actuals.adb
-	rw-r--r--	833	generic_call_cw.adb
-	rw-r--r--	831	generic_call_iface.adb
-	rw-r--r--	1,078	generic_comp.adb
-	rw-r--r--	225	generic_disp.adb
-	rw-r--r--	184	generic_disp_pkg.adb
-	rw-r--r--	541	generic_disp_pkg.ads
-	rw-r--r--	643	generic_inst10.adb
-	rw-r--r--	192	generic_inst10_pkg.ads
-	rw-r--r--	147	generic_inst11.adb
-	rw-r--r--	374	generic_inst11_pkg.adb
-	rw-r--r--	87	generic_inst11_pkg.ads
-	rw-r--r--	226	generic_inst12.adb
-	rw-r--r--	177	generic_inst12_pkg1.adb
-	rw-r--r--	181	generic_inst12_pkg1.ads
-	rw-r--r--	93	generic_inst12_pkg2.ads
-	rw-r--r--	406	generic_inst13.adb
-	rw-r--r--	334	generic_inst13_pkg-nested_g.ads
-	rw-r--r--	229	generic_inst13_pkg-ops_g.ads
-	rw-r--r--	170	generic_inst13_pkg.ads
-	rw-r--r--	108	generic_inst2.adb
-	rw-r--r--	228	generic_inst2.ads
-	rw-r--r--	161	generic_inst2_c.ads
-	rw-r--r--	547	generic_inst3.adb
-	rw-r--r--	280	generic_inst3_kafka_lib-topic.ads
-	rw-r--r--	64	generic_inst3_kafka_lib.ads
-	rw-r--r--	458	generic_inst3_markets.ads
-	rw-r--r--	247	generic_inst3_traits-encodables.ads
-	rw-r--r--	74	generic_inst3_traits.ads
-	rw-r--r--	95	generic_inst4.adb
-	rw-r--r--	60	generic_inst4_gen.ads
-	rw-r--r--	228	generic_inst4_inst.ads
-	rw-r--r--	131	generic_inst4_typ.ads
-	rw-r--r--	269	generic_inst5.adb
-	rw-r--r--	184	generic_inst6.adb
-	rw-r--r--	190	generic_inst6_g1-c.adb
-	rw-r--r--	77	generic_inst6_g1-c.ads
-	rw-r--r--	66	generic_inst6_g1.ads
-	rw-r--r--	73	generic_inst6_i1.ads
-	rw-r--r--	95	generic_inst6_i2.ads
-	rw-r--r--	201	generic_inst6_x.ads
-	rw-r--r--	152	generic_inst7.adb
-	rw-r--r--	293	generic_inst7_pkg.adb
-	rw-r--r--	152	generic_inst7_pkg.ads
-	rw-r--r--	322	generic_inst7_types.ads
-	rw-r--r--	146	generic_inst8.adb
-	rw-r--r--	95	generic_inst8.ads
-	rw-r--r--	183	generic_inst8_g.adb
-	rw-r--r--	310	generic_inst8_g.ads
-	rw-r--r--	99	generic_inst9.adb
-	rw-r--r--	258	generic_inst9.ads
-	rw-r--r--	357	generic_inst9_pkg1-operator.ads
-	rw-r--r--	183	generic_inst9_pkg1.ads
-	rw-r--r--	203	generic_inst9_pkg2.adb
-	rw-r--r--	337	generic_inst9_pkg2.ads
-	rw-r--r--	870	generic_pkg.adb
-	rw-r--r--	179	ghost1.adb
-	rw-r--r--	174	ghost1.ads
-	rw-r--r--	84	ghost2.adb
-	rw-r--r--	338	ghost2.ads
-	rw-r--r--	86	ghost3.adb
-	rw-r--r--	395	ghost3.ads
-	rw-r--r--	291	ghost4.adb
-	rw-r--r--	84	ghost5.adb
-	rw-r--r--	76	ghost5.ads
-	rw-r--r--	298	ghost5_parent.ads
-	rw-r--r--	148	ghost6.adb
-	rw-r--r--	138	ghost6_pkg.ads
-	rw-r--r--	115	ghost7.adb
-	rw-r--r--	219	ghost7.ads
-	rw-r--r--	2,302	global.adb
-	rw-r--r--	352	global.ads
-	rw-r--r--	199	global2.adb
-	rw-r--r--	213	global2.ads
-	rw-r--r--	108	gnat_array_split1.adb
-	rw-r--r--	120	gnat_array_split1.ads
-	rw-r--r--	422	gnat_malloc.adb
-	rw-r--r--	305	gnatg.adb
-	rw-r--r--	538	graphic.adb
-	rw-r--r--	216	graphic.ads
-	rw-r--r--	282	handle_and_return.adb
-	rw-r--r--	270	handle_raise_from_pure.adb
-	rw-r--r--	1,178	hardbool.adb
-	rw-r--r--	507	hardbool.ads
-	rw-r--r--	1,512	hardcfr.adb
-	rw-r--r--	312	hyper_flat.adb
-	rw-r--r--	187	ice_type.adb
-	rw-r--r--	150	ice_types.ads
-	rw-r--r--	408	iface1.ads
-	rw-r--r--	140	iface2.adb
-	rw-r--r--	144	iface2.ads
-	rw-r--r--	689	iface_test.adb
-	rw-r--r--	450	iface_test.ads
-	rw-r--r--	157	ifaces.adb
-	rw-r--r--	401	ifaces.ads
-	rw-r--r--	233	image1.adb
-	rw-r--r--	400	implicit_param.adb
-	rw-r--r--	190	implicit_param_pkg.ads
-	rw-r--r--	340	import1.adb
-	rw-r--r--	124	import1.ads
-	rw-r--r--	201	import2.adb
-	rw-r--r--	558	in_mod_conv.adb
-	rw-r--r--	799	in_out_parameter.adb
-	rw-r--r--	364	in_out_parameter2.adb
-	rw-r--r--	726	in_out_parameter3.adb
-	rw-r--r--	574	in_out_parameter4.adb
-	rw-r--r--	128	include.adb
-	rw-r--r--	66	incomplete1.ads
-	rw-r--r--	134	incomplete2.adb
-	rw-r--r--	223	incomplete2.ads
-	rw-r--r--	343	incomplete3.adb
-	rw-r--r--	486	incomplete3.ads
-	rw-r--r--	158	incomplete4.adb
-	rw-r--r--	181	incomplete4_pkg.ads
-	rw-r--r--	167	incomplete5.adb
-	rw-r--r--	357	incomplete5.ads
-	rw-r--r--	284	incomplete5_pkg.adb
-	rw-r--r--	333	incomplete5_pkg.ads
-	rw-r--r--	286	incomplete6.adb
-	rw-r--r--	432	incomplete6.ads
-	rw-r--r--	94	incomplete7.adb
-	rw-r--r--	623	incomplete7.ads
-	rw-r--r--	382	incomplete8.adb
-	rw-r--r--	405	init_scalar1.adb
-	rw-r--r--	791	initializes.adb
-	rw-r--r--	226	initializes.ads
-	rw-r--r--	177	inline1.adb
-	rw-r--r--	144	inline10.adb
-	rw-r--r--	360	inline10_pkg.adb
-	rw-r--r--	100	inline10_pkg.ads
-	rw-r--r--	145	inline11.adb
-	rw-r--r--	245	inline11_pkg.adb
-	rw-r--r--	102	inline11_pkg.ads
-	rw-r--r--	321	inline12.adb
-	rw-r--r--	436	inline13.adb
-	rw-r--r--	154	inline13.ads
-	rw-r--r--	148	inline13_pkg.adb
-	rw-r--r--	189	inline13_pkg.ads
-	rw-r--r--	133	inline14.adb
-	rw-r--r--	213	inline14_pkg.adb
-	rw-r--r--	86	inline14_pkg.ads
-	rw-r--r--	167	inline15.adb
-	rw-r--r--	825	inline15_gen.adb
-	rw-r--r--	207	inline15_gen.ads
-	rw-r--r--	376	inline15_types.ads
-	rw-r--r--	592	inline16.adb
-	rw-r--r--	511	inline16_gen.adb
-	rw-r--r--	186	inline16_gen.ads
-	rw-r--r--	213	inline16_types.ads
-	rw-r--r--	197	inline17.adb
-	rw-r--r--	234	inline17_pkg1.adb
-	rw-r--r--	91	inline17_pkg1.ads
-	rw-r--r--	227	inline17_pkg2.ads
-	rw-r--r--	244	inline17_pkg3.adb
-	rw-r--r--	354	inline17_pkg3.ads
-	rw-r--r--	120	inline18.adb
-	rw-r--r--	125	inline18.ads
-	rw-r--r--	115	inline18_gen1-inner_g.ads
-	rw-r--r--	131	inline18_gen1.adb
-	rw-r--r--	202	inline18_gen1.ads
-	rw-r--r--	173	inline18_gen2.adb
-	rw-r--r--	155	inline18_gen2.ads
-	rw-r--r--	193	inline18_gen3.adb
-	rw-r--r--	211	inline18_gen3.ads
-	rw-r--r--	163	inline18_pkg1.adb
-	rw-r--r--	362	inline18_pkg1.ads
-	rw-r--r--	174	inline18_pkg2-child.ads
-	rw-r--r--	44	inline18_pkg2.ads
-	rw-r--r--	296	inline19.adb
-	rw-r--r--	121	inline19.ads
-	rw-r--r--	1,032	inline1_pkg.adb
-	rw-r--r--	216	inline1_pkg.ads
-	rw-r--r--	216	inline2.adb
-	rw-r--r--	162	inline20.adb
-	rw-r--r--	360	inline20_g.adb
-	rw-r--r--	309	inline20_g.ads
-	rw-r--r--	344	inline20_h.ads
-	rw-r--r--	330	inline20_i.ads
-	rw-r--r--	52	inline20_q-io.ads
-	rw-r--r--	56	inline20_q.ads
-	rw-r--r--	186	inline20_r.ads
-	rw-r--r--	133	inline21.adb
-	rw-r--r--	101	inline21_g.ads
-	rw-r--r--	187	inline21_h.adb
-	rw-r--r--	149	inline21_h.ads
-	rw-r--r--	144	inline21_q.ads
-	rw-r--r--	303	inline22.adb
-	rw-r--r--	1,032	inline2_pkg.adb
-	rw-r--r--	202	inline2_pkg.ads
-	rw-r--r--	227	inline3.adb
-	rw-r--r--	247	inline3_pkg.adb
-	rw-r--r--	105	inline3_pkg.ads
-	rw-r--r--	102	inline4.adb
-	rw-r--r--	276	inline4_pkg.adb
-	rw-r--r--	105	inline4_pkg.ads
-	rw-r--r--	263	inline5.adb
-	rw-r--r--	246	inline5_pkg.adb
-	rw-r--r--	98	inline5_pkg.ads
-	rw-r--r--	141	inline6.adb
-	rw-r--r--	269	inline6_pkg.adb
-	rw-r--r--	98	inline6_pkg.ads
-	rw-r--r--	265	inline7.adb
-	rw-r--r--	227	inline7_pkg1.adb
-	rw-r--r--	100	inline7_pkg1.ads
-	rw-r--r--	130	inline7_pkg2.adb
-	rw-r--r--	117	inline7_pkg2.ads
-	rw-r--r--	143	inline8.adb
-	rw-r--r--	250	inline8_pkg1.adb
-	rw-r--r--	100	inline8_pkg1.ads
-	rw-r--r--	130	inline8_pkg2.adb
-	rw-r--r--	117	inline8_pkg2.ads
-	rw-r--r--	263	inline9.adb
-	rw-r--r--	335	inline9_pkg.adb
-	rw-r--r--	98	inline9_pkg.ads
-	rw-r--r--	1,219	inline_always1.adb
-	rw-r--r--	362	inline_scope.adb
-	rw-r--r--	174	inline_scope_p.adb
-	rw-r--r--	116	inline_scope_p.ads
-	rw-r--r--	935	inline_tagged.adb
-	rw-r--r--	481	interface1.adb
-	rw-r--r--	450	interface10.adb
-	rw-r--r--	490	interface2.adb
-	rw-r--r--	709	interface3.adb
-	rw-r--r--	279	interface4.adb
-	rw-r--r--	186	interface5.adb
-	rw-r--r--	258	interface5.ads
-	rw-r--r--	1,038	interface6.adb
-	rw-r--r--	324	interface7.adb
-	rw-r--r--	181	interface8.adb
-	rw-r--r--	279	interface8.ads
-	rw-r--r--	193	interface9.adb
-	rw-r--r--	240	interface9_root-child.ads
-	rw-r--r--	323	interface9_root.ads
-	rw-r--r--	381	interface_conv.adb
-	rw-r--r--	1,084	invalid1.adb
-	rw-r--r--	337	invariant_index.adb
-	rw-r--r--	142	invariant_index.ads
-	rw-r--r--	772	iprot_test.adb
-	rw-r--r--	639	iter2.adb
-	rw-r--r--	100	iter2.ads
-	rw-r--r--	328	iter3.adb
-	rw-r--r--	1,095	iter4.adb
-	rw-r--r--	222	iter5.adb
-	rw-r--r--	3,790	iter5_pkg.ads
-	rw-r--r--	1,003	iter6.adb
-	rw-r--r--	161	itype.adb
-	rw-r--r--	113	itype.ads
-	rw-r--r--	519	itypes.adb
-	rw-r--r--	45	itypes.ads
-	rw-r--r--	368	kill_value.adb
-	rw-r--r--	324	langdw2.adb
-	rw-r--r--	323	langdw3.adb
-	rw-r--r--	401	late_overriding.adb
-	rw-r--r--	442	layered_abstraction.adb
-	rw-r--r--	626	layered_abstraction.ads
-	rw-r--r--	108	layered_abstraction_p.ads
-	rw-r--r--	305	layered_instance.adb
-	rw-r--r--	544	lhs_view_convert.adb
-	rw-r--r--	136	limited1.adb
-	rw-r--r--	357	limited1_inner.adb
-	rw-r--r--	505	limited1_inner.ads
-	rw-r--r--	147	limited1_outer.adb
-	rw-r--r--	225	limited1_outer.ads
-	rw-r--r--	141	limited2.adb
-	rw-r--r--	112	limited2_pack_1.adb
-	rw-r--r--	156	limited2_pack_1.ads
-	rw-r--r--	453	limited2_pack_2.adb
-	rw-r--r--	108	limited2_pack_2.ads
-	rw-r--r--	182	limited3.adb
-	rw-r--r--	448	limited3_pkg.adb
-	rw-r--r--	675	limited3_pkg.ads
-	rw-r--r--	1,586	limited4.adb
-	rw-r--r--	366	limited5.adb
-	rw-r--r--	98	limited_aggr.adb
-	rw-r--r--	220	limited_aggr.ads
-	rw-r--r--	170	limited_with.adb
-	rw-r--r--	120	limited_with.ads
-	rw-r--r--	200	limited_with2.adb
-	rw-r--r--	207	limited_with2.ads
-	rw-r--r--	170	limited_with2_pkg1.ads
-	rw-r--r--	145	limited_with2_pkg2.ads
-	rw-r--r--	137	limited_with3.adb
-	rw-r--r--	298	limited_with3.ads
-	rw-r--r--	467	limited_with3_pkg1.adb
-	rw-r--r--	788	limited_with3_pkg1.ads
-	rw-r--r--	181	limited_with3_pkg2.ads
-	rw-r--r--	246	limited_with3_pkg3.ads
-	rw-r--r--	921	limited_with4.adb
-	rw-r--r--	756	limited_with4.ads
-	rw-r--r--	356	limited_with4_pkg.ads
-	rw-r--r--	290	limited_with5.adb
-	rw-r--r--	144	limited_with5.ads
-	rw-r--r--	232	limited_with5_pkg.adb
-	rw-r--r--	227	limited_with5_pkg.ads
-	rw-r--r--	290	limited_with6.adb
-	rw-r--r--	216	limited_with6.ads
-	rw-r--r--	276	limited_with6_pkg.adb
-	rw-r--r--	299	limited_with6_pkg.ads
-	rw-r--r--	207	limited_with7.adb
-	rw-r--r--	130	limited_with7.ads
-	rw-r--r--	124	limited_with7_pkg.ads
-	rw-r--r--	30,407	linkedlist.adb
-	rw-r--r--	487	loop_address.adb
-	rw-r--r--	534	loop_address2.adb
-	rw-r--r--	276	loop_boolean.adb
-	rw-r--r--	623	loop_bound.adb
-	rw-r--r--	278	loop_entry1.adb
-	rw-r--r--	266	loop_entry2.adb
-	rw-r--r--	349	loop_invariant1.adb
-	rw-r--r--	145	loop_invariant1.ads
-	rw-r--r--	632	loop_optimization1.adb
-	rw-r--r--	846	loop_optimization1.ads
-	rw-r--r--	418	loop_optimization10.adb
-	rw-r--r--	360	loop_optimization10.ads
-	rw-r--r--	250	loop_optimization10_pkg.ads
-	rw-r--r--	468	loop_optimization11.adb
-	rw-r--r--	276	loop_optimization11_pkg.ads
-	rw-r--r--	618	loop_optimization12.adb
-	rw-r--r--	554	loop_optimization12.ads
-	rw-r--r--	537	loop_optimization13.adb
-	rw-r--r--	451	loop_optimization13.ads
-	rw-r--r--	82	loop_optimization13_pkg.ads
-	rw-r--r--	554	loop_optimization14.adb
-	rw-r--r--	209	loop_optimization14.ads
-	rw-r--r--	106	loop_optimization14_pkg.ads
-	rw-r--r--	459	loop_optimization15.adb
-	rw-r--r--	181	loop_optimization15.ads
-	rw-r--r--	450	loop_optimization16.adb
-	rw-r--r--	155	loop_optimization16_pkg.adb
-	rw-r--r--	133	loop_optimization16_pkg.ads
-	rw-r--r--	438	loop_optimization17.adb
-	rw-r--r--	135	loop_optimization17_pkg.adb
-	rw-r--r--	611	loop_optimization17_pkg.ads
-	rw-r--r--	291	loop_optimization18.adb
-	rw-r--r--	165	loop_optimization18.ads
-	rw-r--r--	345	loop_optimization18_pkg.ads
-	rw-r--r--	985	loop_optimization19.adb
-	rw-r--r--	1,253	loop_optimization2.adb
-	rw-r--r--	1,180	loop_optimization2.ads
-	rw-r--r--	774	loop_optimization20.adb
-	rw-r--r--	463	loop_optimization21.adb
-	rw-r--r--	189	loop_optimization21.ads
-	rw-r--r--	425	loop_optimization22.adb
-	rw-r--r--	150	loop_optimization22.ads
-	rw-r--r--	305	loop_optimization23.adb
-	rw-r--r--	280	loop_optimization23_pkg.adb
-	rw-r--r--	435	loop_optimization23_pkg.ads
-	rw-r--r--	870	loop_optimization24.adb
-	rw-r--r--	315	loop_optimization3.adb
-	rw-r--r--	143	loop_optimization3_pkg.adb
-	rw-r--r--	107	loop_optimization3_pkg.ads
-	rw-r--r--	162	loop_optimization4.adb
-	rw-r--r--	461	loop_optimization4_pkg.adb
-	rw-r--r--	265	loop_optimization4_pkg.ads
-	rw-r--r--	579	loop_optimization5.adb
-	rw-r--r--	191	loop_optimization5_pkg.ads
-	rw-r--r--	433	loop_optimization6.adb
-	rw-r--r--	92	loop_optimization6.ads
-	rw-r--r--	334	loop_optimization7.adb
-	rw-r--r--	191	loop_optimization7.ads
-	rw-r--r--	171	loop_optimization7_pkg.ads
-	rw-r--r--	597	loop_optimization8.adb
-	rw-r--r--	381	loop_optimization8_pkg1.adb
-	rw-r--r--	468	loop_optimization8_pkg1.ads
-	rw-r--r--	285	loop_optimization8_pkg2.adb
-	rw-r--r--	392	loop_optimization8_pkg2.ads
-	rw-r--r--	3,357	loop_optimization9.adb
-	rw-r--r--	432	loop_optimization9.ads
-	rw-r--r--	714	loop_unchecked_conversion.adb
-	rw-r--r--	90	loop_unchecked_conversion.ads
-	rw-r--r--	727	loopvar.adb
-	rw-r--r--	256	lto1.adb
-	rw-r--r--	252	lto10.adb
-	rw-r--r--	329	lto10_pkg.ads
-	rw-r--r--	459	lto11.adb
-	rw-r--r--	198	lto11.ads
-	rw-r--r--	133	lto13.adb
-	rw-r--r--	132	lto13_pkg.adb
-	rw-r--r--	76	lto13_pkg.ads
-	rw-r--r--	177	lto14.adb
-	rw-r--r--	197	lto15.adb
-	rw-r--r--	207	lto15.ads
-	rw-r--r--	288	lto16.adb
-	rw-r--r--	338	lto16_pkg.adb
-	rw-r--r--	65	lto16_pkg.ads
-	rw-r--r--	228	lto17.adb
-	rw-r--r--	446	lto17.ads
-	rw-r--r--	365	lto18.adb
-	rw-r--r--	97	lto18.ads
-	rw-r--r--	656	lto18_pkg.ads
-	rw-r--r--	184	lto19.adb
-	rw-r--r--	92	lto19_pkg1.adb
-	rw-r--r--	206	lto19_pkg1.ads
-	rw-r--r--	98	lto19_pkg2.adb
-	rw-r--r--	70	lto19_pkg2.ads
-	rw-r--r--	570	lto1_pkg.adb
-	rw-r--r--	737	lto1_pkg.ads
-	rw-r--r--	589	lto2.adb
-	rw-r--r--	145	lto20.adb
-	rw-r--r--	143	lto20_pkg.adb
-	rw-r--r--	308	lto20_pkg.ads
-	rw-r--r--	212	lto21.adb
-	rw-r--r--	194	lto21_pkg1.ads
-	rw-r--r--	670	lto21_pkg2.adb
-	rw-r--r--	59	lto21_pkg2.ads
-	rw-r--r--	120	lto22.adb
-	rw-r--r--	100	lto22_pkg1.ads
-	rw-r--r--	131	lto22_pkg2.adb
-	rw-r--r--	267	lto22_pkg2.ads
-	rw-r--r--	350	lto23.adb
-	rw-r--r--	163	lto24.adb
-	rw-r--r--	340	lto24_pkg1.ads
-	rw-r--r--	108	lto24_pkg2.adb
-	rw-r--r--	71	lto24_pkg2.ads
-	rw-r--r--	242	lto25.adb
-	rw-r--r--	266	lto26.adb
-	rw-r--r--	223	lto26_pkg1.adb
-	rw-r--r--	274	lto26_pkg1.ads
-	rw-r--r--	391	lto26_pkg2.adb
-	rw-r--r--	181	lto26_pkg2.ads
-	rw-r--r--	281	lto4.adb
-	rw-r--r--	581	lto4.ads
-	rw-r--r--	113	lto5.adb
-	rw-r--r--	85	lto5_pkg.adb
-	rw-r--r--	108	lto5_pkg.ads
-	rw-r--r--	284	lto6.adb
-	rw-r--r--	235	lto6_pkg.ads
-	rw-r--r--	253	lto7.adb
-	rw-r--r--	143	lto7_pkg.adb
-	rw-r--r--	390	lto7_pkg.ads
-	rw-r--r--	382	lto8.adb
-	rw-r--r--	183	lto8_pkg.adb
-	rw-r--r--	480	lto8_pkg.ads
-	rw-r--r--	267	lto9.adb
-	rw-r--r--	623	lto9_pkg1.ads
-	rw-r--r--	249	lto9_pkg2.adb
-	rw-r--r--	482	lto9_pkg2.ads
-	rw-r--r--	565	machine_attr1.adb
-	rw-r--r--	537	machine_attr1.ads
-	rw-r--r--	354	machine_attr2.adb
-	rw-r--r--	188	machine_attr2.ads
-	rw-r--r--	308	machine_code1.adb
-	rw-r--r--	256	max_align.adb
-	rw-r--r--	258	max_size.adb
-	rw-r--r--	188	max_size_pkg.ads
-	rw-r--r--	379	md5_test.adb
-	rw-r--r--	583	memorytest.adb
-	rw-r--r--	273	memtrap.adb
-	rw-r--r--	387	misaligned_nest.adb
-	rw-r--r--	633	misaligned_param.adb
-	rw-r--r--	305	misaligned_param_pkg.adb
-	rw-r--r--	108	misaligned_param_pkg.ads
-	rw-r--r--	526	misaligned_volatile.adb
-	rw-r--r--	807	missing_acc_check.adb
-	rw-r--r--	566	modify_a_constant.adb
-	rw-r--r--	424	modular1.adb
-	rw-r--r--	113	modular2.adb
-	rw-r--r--	454	modular3.adb
-	rw-r--r--	239	modular3_pkg.ads
-	rw-r--r--	185	modular4.adb
-	rw-r--r--	130	modular4_pkg.ads
-	rw-r--r--	777	modular5.adb
-	rw-r--r--	336	modular6.adb
-	rw-r--r--	675	multfixed.adb
-	rw-r--r--	668	mutable1.adb
-	rw-r--r--	201	my_env_versioned_value_set_g.ads
-	rw-r--r--	559	named_test.adb
-	rw-r--r--	196	namet.ads
-	rw-r--r--	528	nan_max.adb
-	rw-r--r--	162	nat1.ads
-	rw-r--r--	221	nat1r.adb
-	rw-r--r--	693	nested_agg_bitfield_constructor.adb
-	rw-r--r--	1,021	nested_controlled_alloc.adb
-	rw-r--r--	438	nested_float_packed.ads
-	rw-r--r--	212	nested_generic1.adb
-	rw-r--r--	229	nested_generic1_pkg.adb
-	rw-r--r--	191	nested_generic1_pkg.ads
-	rw-r--r--	104	nested_generic2.adb
-	rw-r--r--	307	nested_generic2.ads
-	rw-r--r--	279	nested_generic2_g1.adb
-	rw-r--r--	240	nested_generic2_g1.ads
-	rw-r--r--	158	nested_generic2_g2.ads
-	rw-r--r--	567	nested_proc1.adb
-	rw-r--r--	443	nested_proc2.adb
-	rw-r--r--	892	nested_return_test.adb
-	rw-r--r--	398	nested_subtype_byref.adb
-	rw-r--r--	58	nested_subtype_byref.ads
-	rw-r--r--	634	no_caching.adb
-	rw-r--r--	310	no_caching.ads
-	rw-r--r--	327	no_exc_prop.adb
-	rw-r--r--	233	no_exc_prop.ads
-	rw-r--r--	564	no_final.adb
-	rw-r--r--	455	noinline2.adb
-	rw-r--r--	84	noinline2.ads
-	rw-r--r--	330	noreturn1.adb
-	rw-r--r--	159	noreturn1.ads
-	rw-r--r--	599	noreturn2.adb
-	rw-r--r--	166	noreturn2.ads
-	rw-r--r--	533	noreturn3.adb
-	rw-r--r--	227	noreturn3.ads
-	rw-r--r--	348	noreturn4.adb
-	rw-r--r--	214	noreturn4.ads
-	rw-r--r--	410	noreturn4_pkg.ads
-	rw-r--r--	644	noreturn5.adb
-	rw-r--r--	132	noreturn5.ads
-	rw-r--r--	224	normalize_pathname.adb
-	rw-r--r--	495	not_null.adb
-	rw-r--r--	201	notnot.adb
-	rw-r--r--	418	null_check.adb
-	rw-r--r--	507	null_pointer_deref1.adb
-	rw-r--r--	592	null_pointer_deref2.adb
-	rw-r--r--	553	null_pointer_deref3.adb
-	rw-r--r--	108	oalign1.ads
-	rw-r--r--	108	oalign2.ads
-	rw-r--r--	280	object_overflow1.adb
-	rw-r--r--	290	object_overflow2.adb
-	rw-r--r--	357	object_overflow3.adb
-	rw-r--r--	462	object_overflow4.adb
-	rw-r--r--	468	object_overflow5.adb
-	rw-r--r--	344	object_size1.adb
-	rw-r--r--	300	oconst1.adb
-	rw-r--r--	382	oconst1.ads
-	rw-r--r--	241	oconst2.adb
-	rw-r--r--	351	oconst2.ads
-	rw-r--r--	269	oconst3.adb
-	rw-r--r--	426	oconst3.ads
-	rw-r--r--	519	oconst4.adb
-	rw-r--r--	1,375	oconst4.ads
-	rw-r--r--	299	oconst5.adb
-	rw-r--r--	522	oconst5.ads
-	rw-r--r--	66	old_errors.ads
-	rw-r--r--	644	opt1.adb
-	rw-r--r--	310	opt1.ads
-	rw-r--r--	477	opt10.adb
-	rw-r--r--	215	opt100.adb
-	rw-r--r--	365	opt100_pkg.adb
-	rw-r--r--	505	opt100_pkg.ads
-	rw-r--r--	377	opt101.adb
-	rw-r--r--	424	opt101_pkg.ads
-	rw-r--r--	174	opt102.adb
-	rw-r--r--	253	opt102_pkg.adb
-	rw-r--r--	282	opt102_pkg.ads
-	rw-r--r--	761	opt103.adb
-	rw-r--r--	221	opt103.ads
-	rw-r--r--	343	opt104.adb
-	rw-r--r--	729	opt104.ads
-	rw-r--r--	297	opt10_pkg.ads
-	rw-r--r--	214	opt11.adb
-	rw-r--r--	316	opt11.ads
-	rw-r--r--	288	opt12.adb
-	rw-r--r--	149	opt12_pkg.adb
-	rw-r--r--	245	opt12_pkg.ads
-	rw-r--r--	186	opt13.adb
-	rw-r--r--	587	opt13_pkg.adb
-	rw-r--r--	192	opt13_pkg.ads
-	rw-r--r--	364	opt14.adb
-	rw-r--r--	221	opt15.adb
-	rw-r--r--	184	opt15_pkg.adb
-	rw-r--r--	98	opt15_pkg.ads
-	rw-r--r--	723	opt16.adb
-	rw-r--r--	196	opt17.adb
-	rw-r--r--	89	opt17.ads
-	rw-r--r--	986	opt18.adb
-	rw-r--r--	642	opt18.ads
-	rw-r--r--	529	opt18_pkg.ads
-	rw-r--r--	477	opt19.adb
-	rw-r--r--	564	opt2.adb
-	rw-r--r--	504	opt20.adb
-	rw-r--r--	114	opt20.ads
-	rw-r--r--	263	opt20_pkg.ads
-	rw-r--r--	167	opt21.adb
-	rw-r--r--	352	opt21_pkg.adb
-	rw-r--r--	298	opt21_pkg.ads
-	rw-r--r--	301	opt22.adb
-	rw-r--r--	239	opt22_pkg.adb
-	rw-r--r--	89	opt22_pkg.ads
-	rw-r--r--	355	opt23.adb
-	rw-r--r--	97	opt23.ads
-	rw-r--r--	156	opt23_pkg.adb
-	rw-r--r--	654	opt23_pkg.ads
-	rw-r--r--	307	opt24.adb
-	rw-r--r--	97	opt24.ads
-	rw-r--r--	354	opt25.adb
-	rw-r--r--	156	opt25_pkg1.adb
-	rw-r--r--	154	opt25_pkg1.ads
-	rw-r--r--	150	opt25_pkg2.adb
-	rw-r--r--	379	opt25_pkg2.ads
-	rw-r--r--	715	opt26.adb
-	rw-r--r--	596	opt27.adb
-	rw-r--r--	802	opt27_pkg.adb
-	rw-r--r--	662	opt27_pkg.ads
-	rw-r--r--	841	opt28.adb
-	rw-r--r--	136	opt28.ads
-	rw-r--r--	397	opt28_pkg.ads
-	rw-r--r--	222	opt29.adb
-	rw-r--r--	493	opt29.ads
-	rw-r--r--	230	opt3.adb
-	rw-r--r--	418	opt30.adb
-	rw-r--r--	924	opt31.adb
-	rw-r--r--	745	opt32.adb
-	rw-r--r--	813	opt33.adb
-	rw-r--r--	608	opt34.adb
-	rw-r--r--	310	opt34_pkg.ads
-	rw-r--r--	347	opt35.adb
-	rw-r--r--	164	opt35_pkg.adb
-	rw-r--r--	115	opt35_pkg.ads
-	rw-r--r--	354	opt36.adb
-	rw-r--r--	1,075	opt37.adb
-	rw-r--r--	493	opt37.ads
-	rw-r--r--	124	opt38.adb
-	rw-r--r--	482	opt38_pkg.adb
-	rw-r--r--	70	opt38_pkg.ads
-	rw-r--r--	722	opt39.adb
-	rw-r--r--	71	opt3_pkg.ads
-	rw-r--r--	303	opt4.adb
-	rw-r--r--	330	opt40.adb
-	rw-r--r--	396	opt41.adb
-	rw-r--r--	1,602	opt41_pkg.adb
-	rw-r--r--	682	opt41_pkg.ads
-	rw-r--r--	573	opt42.adb
-	rw-r--r--	235	opt42.ads
-	rw-r--r--	280	opt43.adb
-	rw-r--r--	411	opt44.adb
-	rw-r--r--	172	opt44.ads
-	rw-r--r--	851	opt45.adb
-	rw-r--r--	1,099	opt46.adb
-	rw-r--r--	282	opt46.ads
-	rw-r--r--	170	opt46_pkg.adb
-	rw-r--r--	679	opt46_pkg.ads
-	rw-r--r--	932	opt47.adb
-	rw-r--r--	217	opt48.adb
-	rw-r--r--	265	opt48_pkg1.adb
-	rw-r--r--	104	opt48_pkg1.ads
-	rw-r--r--	127	opt48_pkg2.adb
-	rw-r--r--	162	opt48_pkg2.ads
-	rw-r--r--	771	opt49.adb
-	rw-r--r--	368	opt5.adb
-	rw-r--r--	395	opt50.adb
-	rw-r--r--	1,427	opt50_pkg.adb
-	rw-r--r--	284	opt50_pkg.ads
-	rw-r--r--	403	opt51.adb
-	rw-r--r--	72	opt51_pkg.ads
-	rw-r--r--	244	opt52.adb
-	rw-r--r--	271	opt53.adb
-	rw-r--r--	269	opt54.adb
-	rw-r--r--	387	opt55.adb
-	rw-r--r--	428	opt55.ads
-	rw-r--r--	312	opt56.adb
-	rw-r--r--	140	opt56.ads
-	rw-r--r--	2,628	opt57.adb
-	rw-r--r--	1,411	opt57.ads
-	rw-r--r--	332	opt57_pkg.ads
-	rw-r--r--	377	opt58.adb
-	rw-r--r--	369	opt58_pkg.ads
-	rw-r--r--	895	opt59.adb
-	rw-r--r--	328	opt59_pkg.adb
-	rw-r--r--	209	opt59_pkg.ads
-	rw-r--r--	600	opt6.adb
-	rw-r--r--	389	opt6.ads
-	rw-r--r--	405	opt60.adb
-	rw-r--r--	360	opt61.adb
-	rw-r--r--	3,368	opt61_pkg.adb
-	rw-r--r--	203	opt61_pkg.ads
-	rw-r--r--	274	opt62.adb
-	rw-r--r--	483	opt62_pkg.ads
-	rw-r--r--	471	opt63.adb
-	rw-r--r--	514	opt64.adb
-	rw-r--r--	315	opt64_pkg.adb
-	rw-r--r--	128	opt64_pkg.ads
-	rw-r--r--	727	opt65.adb
-	rw-r--r--	205	opt66.adb
-	rw-r--r--	910	opt67.adb
-	rw-r--r--	518	opt67_pkg.adb
-	rw-r--r--	823	opt67_pkg.ads
-	rw-r--r--	1,286	opt68.adb
-	rw-r--r--	518	opt68.ads
-	rw-r--r--	508	opt69.adb
-	rw-r--r--	1,248	opt7.adb
-	rw-r--r--	291	opt7.ads
-	rw-r--r--	251	opt70.adb
-	rw-r--r--	1,687	opt70_pkg.adb
-	rw-r--r--	130	opt70_pkg.ads
-	rw-r--r--	142	opt71_pkg.ads
-	rw-r--r--	340	opt71a.adb
-	rw-r--r--	350	opt71b.adb
-	rw-r--r--	218	opt72_pkg.ads
-	rw-r--r--	340	opt72a.adb
-	rw-r--r--	350	opt72b.adb
-	rw-r--r--	945	opt73.adb
-	rw-r--r--	214	opt74.adb
-	rw-r--r--	345	opt74_pkg.adb
-	rw-r--r--	153	opt74_pkg.ads
-	rw-r--r--	112	opt75.adb
-	rw-r--r--	281	opt75_pkg.adb
-	rw-r--r--	665	opt75_pkg.ads
-	rw-r--r--	859	opt76.adb
-	rw-r--r--	234	opt77.adb
-	rw-r--r--	516	opt77_pkg.adb
-	rw-r--r--	111	opt77_pkg.ads
-	rw-r--r--	287	opt78.adb
-	rw-r--r--	242	opt78.ads
-	rw-r--r--	362	opt79.adb
-	rw-r--r--	111	opt79.ads
-	rw-r--r--	68	opt7_pkg.ads
-	rw-r--r--	1,350	opt8.adb
-	rw-r--r--	1,247	opt8.ads
-	rw-r--r--	279	opt80.adb
-	rw-r--r--	539	opt81.adb
-	rw-r--r--	247	opt81.ads
-	rw-r--r--	249	opt82.adb
-	rw-r--r--	178	opt82_pkg.ads
-	rw-r--r--	551	opt83.adb
-	rw-r--r--	2,378	opt84.adb
-	rw-r--r--	470	opt85.adb
-	rw-r--r--	693	opt85.ads
-	rw-r--r--	317	opt86_pkg.ads
-	rw-r--r--	731	opt86a.adb
-	rw-r--r--	825	opt86b.adb
-	rw-r--r--	875	opt86c.adb
-	rw-r--r--	323	opt87.adb
-	rw-r--r--	270	opt87_pkg.adb
-	rw-r--r--	116	opt87_pkg.ads
-	rw-r--r--	716	opt88.adb
-	rw-r--r--	246	opt89.adb
-	rw-r--r--	123	opt8_pkg.ads
-	rw-r--r--	390	opt9.adb
-	rw-r--r--	306	opt90a.adb
-	rw-r--r--	252	opt90a_pkg.ads
-	rw-r--r--	314	opt90b.adb
-	rw-r--r--	275	opt90b_pkg.ads
-	rw-r--r--	314	opt90c.adb
-	rw-r--r--	275	opt90c_pkg.ads
-	rw-r--r--	314	opt90d.adb
-	rw-r--r--	275	opt90d_pkg.ads
-	rw-r--r--	314	opt90e.adb
-	rw-r--r--	275	opt90e_pkg.ads
-	rw-r--r--	203	opt91.adb
-	rw-r--r--	245	opt91.ads
-	rw-r--r--	246	opt91_pkg.adb
-	rw-r--r--	476	opt91_pkg.ads
-	rw-r--r--	865	opt92.adb
-	rw-r--r--	471	opt93.adb
-	rw-r--r--	268	opt93.ads
-	rw-r--r--	341	opt94.adb
-	rw-r--r--	576	opt94_pkg.adb
-	rw-r--r--	228	opt94_pkg.ads
-	rw-r--r--	803	opt95.adb
-	rw-r--r--	221	opt96.adb
-	rw-r--r--	426	opt96_pkg.adb
-	rw-r--r--	729	opt96_pkg.ads
-	rw-r--r--	401	opt97.adb
-	rw-r--r--	212	opt98.adb
-	rw-r--r--	344	opt98.ads
-	rw-r--r--	248	opt99.adb
-	rw-r--r--	169	opt99_pkg1.adb
-	rw-r--r--	384	opt99_pkg1.ads
-	rw-r--r--	222	opt99_pkg2.ads
-	rw-r--r--	57	opt9_pkg.ads
-	rw-r--r--	349	others1.adb
-	rw-r--r--	603	out_param.adb
-	rw-r--r--	845	outer_agg_bitfield_constructor.adb
-	rw-r--r--	365	overflow_fixed.adb
-	rw-r--r--	1,822	overflow_sum.adb
-	rw-r--r--	902	overflow_sum2.adb
-	rw-r--r--	340	overflow_sum3.adb
-	rw-r--r--	383	overload.adb
-	rw-r--r--	360	overload.ads
-	rw-r--r--	252	overload2.adb
-	rw-r--r--	164	overload2_p.adb
-	rw-r--r--	134	overload2_p.ads
-	rw-r--r--	137	overload2_q.adb
-	rw-r--r--	100	overload2_q.ads
-	rw-r--r--	328	overriding_ops.adb
-	rw-r--r--	407	overriding_ops.ads
-	rw-r--r--	175	overriding_ops2.adb
-	rw-r--r--	301	overriding_ops2.ads
-	rw-r--r--	200	overriding_ops2_pkg-high.ads
-	rw-r--r--	296	overriding_ops2_pkg.ads
-	rw-r--r--	281	overriding_ops_p.ads
-	rw-r--r--	126	pack1.ads
-	rw-r--r--	507	pack10.adb
-	rw-r--r--	387	pack11.adb
-	rw-r--r--	529	pack12.adb
-	rw-r--r--	191	pack13.adb
-	rw-r--r--	734	pack13.ads
-	rw-r--r--	223	pack13_pkg.ads
-	rw-r--r--	224	pack14.adb
-	rw-r--r--	134	pack15.adb
-	rw-r--r--	383	pack15.ads
-	rw-r--r--	471	pack16.adb
-	rw-r--r--	62	pack16_pkg.ads
-	rw-r--r--	891	pack17.adb
-	rw-r--r--	220	pack18.adb
-	rw-r--r--	465	pack18_pkg.ads
-	rw-r--r--	1,088	pack19.adb
-	rw-r--r--	376	pack2.adb
-	rw-r--r--	137	pack20.adb
-	rw-r--r--	240	pack20.ads
-	rw-r--r--	131	pack20_pkg.ads
-	rw-r--r--	526	pack21.adb
-	rw-r--r--	390	pack22.adb
-	rw-r--r--	367	pack22_pkg.adb
-	rw-r--r--	1,619	pack22_pkg.ads
-	rw-r--r--	227	pack23.adb
-	rw-r--r--	93	pack23_pkg.ads
-	rw-r--r--	659	pack24.adb
-	rw-r--r--	445	pack25.adb
-	rw-r--r--	368	pack26.adb
-	rw-r--r--	131	pack27.adb
-	rw-r--r--	548	pack27_pkg.ads
-	rw-r--r--	532	pack3.adb
-	rw-r--r--	590	pack4.adb
-	rw-r--r--	508	pack5.adb
-	rw-r--r--	406	pack6.adb
-	rw-r--r--	397	pack7.adb
-	rw-r--r--	428	pack8.adb
-	rw-r--r--	364	pack9.adb
-	rw-r--r--	256	pack9.ads
-	rw-r--r--	63	packed_array.adb
-	rw-r--r--	168	packed_array.ads
-	rw-r--r--	363	packed_array_pkg.ads
-	rw-r--r--	372	packed_subtype.adb
-	rw-r--r--	445	pak.adb
-	rw-r--r--	227	pak.ads
-	rw-r--r--	358	parameterlessfunc.adb
-	rw-r--r--	303	parent_ltd_with-child_full_view.adb
-	rw-r--r--	349	parent_ltd_with-child_full_view.ads
-	rw-r--r--	304	parent_ltd_with.ads
-	rw-r--r--	218	part_of1-instantiation.adb
-	rw-r--r--	120	part_of1-instantiation.ads
-	rw-r--r--	279	part_of1-private_generic.adb
-	rw-r--r--	242	part_of1-private_generic.ads
-	rw-r--r--	34	part_of1.ads
-	rw-r--r--	230	pointer_array.adb
-	rw-r--r--	676	pointer_controlled.adb
-	rw-r--r--	429	pointer_conversion.adb
-	rw-r--r--	172	pointer_discr1.adb
-	rw-r--r--	162	pointer_discr1_pkg1.ads
-	rw-r--r--	259	pointer_discr1_pkg2.ads
-	rw-r--r--	243	pointer_discr1_pkg3.ads
-	rw-r--r--	214	pointer_protected.adb
-	rw-r--r--	182	pointer_protected_p.ads
-	rw-r--r--	626	pointer_variable_bounds.adb
-	rw-r--r--	590	pointer_variable_bounds.ads
-	rw-r--r--	165	pointer_variable_bounds_q.ads
-	rw-r--r--	813	predicate1.adb
-	rw-r--r--	151	predicate10.adb
-	rw-r--r--	195	predicate10_pkg.adb
-	rw-r--r--	310	predicate10_pkg.ads
-	rw-r--r--	710	predicate11.adb
-	rw-r--r--	124	predicate12.adb
-	rw-r--r--	1,273	predicate12.ads
-	rw-r--r--	73	predicate13.adb
-	rw-r--r--	400	predicate13.ads
-	rw-r--r--	96	predicate14.adb
-	rw-r--r--	1,440	predicate14.ads
-	rw-r--r--	274	predicate15.adb
-	rw-r--r--	308	predicate2-containers.ads
-	rw-r--r--	984	predicate2-project-name_values.ads
-	rw-r--r--	138	predicate2-project-registry-attribute.ads
-	rw-r--r--	77	predicate2-project-registry.ads
-	rw-r--r--	296	predicate2-project-typ-set.ads
-	rw-r--r--	612	predicate2-project-typ.ads
-	rw-r--r--	60	predicate2-project.ads
-	rw-r--r--	785	predicate2-source_reference.ads
-	rw-r--r--	403	predicate2.ads
-	rw-r--r--	274	predicate2_main.adb
-	rw-r--r--	669	predicate3.adb
-	rw-r--r--	500	predicate3_pkg.ads
-	rw-r--r--	408	predicate4.adb
-	rw-r--r--	415	predicate4_pkg.ads
-	rw-r--r--	92	predicate5.adb
-	rw-r--r--	440	predicate5.ads
-	rw-r--r--	92	predicate6.adb
-	rw-r--r--	423	predicate6.ads
-	rw-r--r--	109	predicate7.adb
-	rw-r--r--	351	predicate7.ads
-	rw-r--r--	113	predicate7_pkg.ads
-	rw-r--r--	254	predicate8.adb
-	rw-r--r--	1,575	predicate8_pkg.adb
-	rw-r--r--	2,374	predicate8_pkg.ads
-	rw-r--r--	513	predicate9.adb
-	rw-r--r--	718	prefetch1.adb
-	rw-r--r--	190	prefetch1.ads
-	rw-r--r--	208	prefix1.adb
-	rw-r--r--	148	prefix1.ads
-	rw-r--r--	958	prefix2.adb
-	rw-r--r--	743	prefix2.ads
-	rw-r--r--	1,536	private_overriding.adb
-	rw-r--r--	59	profile_warning.adb
-	rw-r--r--	165	profile_warning.ads
-	rw-r--r--	283	profile_warning_p.adb
-	rw-r--r--	64	profile_warning_p.ads
-	rw-r--r--	443	prot1.adb
-	rw-r--r--	396	prot2.adb
-	rw-r--r--	50	prot2.ads
-	rw-r--r--	72	prot2_pkg1.ads
-	rw-r--r--	395	prot2_pkg2.adb
-	rw-r--r--	216	prot2_pkg2.ads
-	rw-r--r--	95	prot3.adb
-	rw-r--r--	295	prot3_pkg.adb
-	rw-r--r--	288	prot3_pkg.ads
-	rw-r--r--	512	prot4.adb
-	rw-r--r--	359	prot5.adb
-	rw-r--r--	273	prot5_pkg.adb
-	rw-r--r--	185	prot5_pkg.ads
-	rw-r--r--	325	prot6.adb
-	rw-r--r--	711	prot6.ads
-	rw-r--r--	546	prot7.adb
-	rw-r--r--	348	prot7.ads
-	rw-r--r--	95	prot8.adb
-	rw-r--r--	138	prot8.ads
-	rw-r--r--	160	prot9.adb
-	rw-r--r--	177	prot9_gen.ads
-	rw-r--r--	153	prot9_pkg1.ads
-	rw-r--r--	288	prot9_pkg2.ads
-	rw-r--r--	809	prot_def.adb
-	rw-r--r--	478	protected_func.adb
-	rw-r--r--	244	protected_func.ads
-	rw-r--r--	282	protected_null.adb
-	rw-r--r--	450	protected_self_ref1.adb
-	rw-r--r--	314	protected_self_ref2.adb
-	rw-r--r--	444	pure_function1.adb
-	rw-r--r--	148	pure_function1.ads
-	rw-r--r--	497	pure_function2.adb
-	rw-r--r--	191	pure_function2.ads
-	rw-r--r--	329	pure_function3_pkg.ads
-	rw-r--r--	364	pure_function3a.adb
-	rw-r--r--	384	pure_function3b.adb
-	rw-r--r--	380	pure_function3c.adb
-	rw-r--r--	392	pure_subp_body.adb
-	rw-r--r--	54	pure_subp_body_pkg.ads
-	rw-r--r--	491	put_image1.adb
-	rw-r--r--	162	quote.adb
-	rw-r--r--	60	raise_ce.adb
-	rw-r--r--	424	raise_expr.adb
-	rw-r--r--	197	raise_from_pure.adb
-	rw-r--r--	105	raise_from_pure.ads
-	rw-r--r--	320	range_check.adb
-	rw-r--r--	334	range_check2.adb
-	rw-r--r--	255	range_check3.adb
-	rw-r--r--	380	range_check3_pkg.adb
-	rw-r--r--	264	range_check3_pkg.ads
-	rw-r--r--	360	range_check5.adb
-	rw-r--r--	414	range_check6.adb
-	rw-r--r--	353	range_check7.adb
-	rw-r--r--	1,017	rational_arithmetic.ads
-	rw-r--r--	248	recursive_call.adb
-	rw-r--r--	209	ref_type.adb
-	rw-r--r--	103	ref_type.ads
-	rw-r--r--	241	regpat1.adb
-	rw-r--r--	428	release_unc_maxalign.adb
-	rw-r--r--	133	remote_call_iface.adb
-	rw-r--r--	112	remote_call_iface.ads
-	rw-r--r--	468	remote_type.adb
-	rw-r--r--	583	remote_type.ads
-	rw-r--r--	259	renaming1.adb
-	rw-r--r--	91	renaming1.ads
-	rw-r--r--	253	renaming10.adb
-	rw-r--r--	148	renaming10.ads
-	rw-r--r--	214	renaming11.adb
-	rw-r--r--	378	renaming11.ads
-	rw-r--r--	95	renaming12.adb
-	rw-r--r--	399	renaming12.ads
-	rw-r--r--	370	renaming13.adb
-	rw-r--r--	585	renaming14.adb
-	rw-r--r--	880	renaming15.adb
-	rw-r--r--	218	renaming16.adb
-	rw-r--r--	930	renaming16_pkg.ads
-	rw-r--r--	1,705	renaming2.adb
-	rw-r--r--	213	renaming3.adb
-	rw-r--r--	342	renaming4.ads
-	rw-r--r--	576	renaming5.adb
-	rw-r--r--	57	renaming5.ads
-	rw-r--r--	561	renaming6.adb
-	rw-r--r--	238	renaming6.ads
-	rw-r--r--	216	renaming7.adb
-	rw-r--r--	61	renaming7_pkg.ads
-	rw-r--r--	172	renaming8.adb
-	rw-r--r--	119	renaming8_pkg1.ads
-	rw-r--r--	131	renaming8_pkg2.adb
-	rw-r--r--	231	renaming8_pkg2.ads
-	rw-r--r--	123	renaming8_pkg3.adb
-	rw-r--r--	86	renaming8_pkg3.ads
-	rw-r--r--	136	renaming9.adb
-	rw-r--r--	295	renaming9.ads
-	rw-r--r--	2,453	rep_clause1.adb
-	rw-r--r--	241	rep_clause2.adb
-	rw-r--r--	1,081	rep_clause2.ads
-	rw-r--r--	867	rep_clause3.adb
-	rw-r--r--	615	rep_clause4.adb
-	rw-r--r--	1,017	rep_clause5.adb
-	rw-r--r--	243	rep_clause5.ads
-	rw-r--r--	7,321	rep_clause5_pkg.ads
-	rw-r--r--	96	rep_clause6.adb
-	rw-r--r--	1,418	rep_clause6.ads
-	rw-r--r--	463	rep_clause7.adb
-	rw-r--r--	472	rep_clause8.adb
-	rw-r--r--	616	rep_clause9.adb
-	rw-r--r--	953	requeue1.adb
-	rw-r--r--	268	return1.adb
-	rw-r--r--	238	return1.ads
-	rw-r--r--	722	return2.adb
-	rw-r--r--	349	return2.ads
-	rw-r--r--	133	return2_pkg.ads
-	rw-r--r--	162	return3.adb
-	rw-r--r--	335	return4.adb
-	rw-r--r--	178	return4_pkg.adb
-	rw-r--r--	151	return4_pkg.ads
-	rw-r--r--	385	round_div.adb
-	rw-r--r--	180	rt1.adb
-	rw-r--r--	419	rt1.ads
-	rw-r--r--	218	rt_signals.adb
-	rw-r--r--	571	scalar_mode_agg_compare.adb
-	rw-r--r--	404	scalar_mode_agg_compare_loop.adb
-	rw-r--r--	770	scos1.adb
-	rw-r--r--	764	sec_stack1.adb
-	rw-r--r--	3,129	sec_stack2.adb
-	rw-r--r--	453	self.adb
-	rw-r--r--	574	self.ads
-	rw-r--r--	396	self_aggregate_with_array.adb
-	rw-r--r--	579	self_aggregate_with_call.adb
-	rw-r--r--	484	self_aggregate_with_pointer.adb
-	rw-r--r--	382	self_aggregate_with_zeros.adb
-	rw-r--r--	288	self_ref1.adb
-	rw-r--r--	368	set_in_pproc.adb
-	rw-r--r--	16,210	sets1.adb
-	rw-r--r--	249	shift1.adb
-	rw-r--r--	191	shift2.adb
-	rw-r--r--	168	show_deques_priority.adb
-	rw-r--r--	400	sin_cos.adb
-	rw-r--r--	109	sin_cos.ads
-	rw-r--r--	151	size_attribute.adb
-	rw-r--r--	287	size_clause1.adb
-	rw-r--r--	273	sizetype1.adb
-	rw-r--r--	576	sizetype2.adb
-	rw-r--r--	409	sizetype3.adb
-	rw-r--r--	188	sizetype3.ads
-	rw-r--r--	127	sizetype3_pkg.ads
-	rw-r--r--	489	sizetype4.adb
-	rw-r--r--	485	slice1.adb
-	rw-r--r--	511	slice10.adb
-	rw-r--r--	206	slice2.adb
-	rw-r--r--	217	slice2.ads
-	rw-r--r--	517	slice3.adb
-	rw-r--r--	581	slice4.adb
-	rw-r--r--	680	slice5.adb
-	rw-r--r--	350	slice6.adb
-	rw-r--r--	387	slice6_pkg.ads
-	rw-r--r--	1,055	slice7.adb
-	rw-r--r--	149	slice7_pkg.ads
-	rw-r--r--	177	slice8.adb
-	rw-r--r--	99	slice8_pkg1.ads
-	rw-r--r--	457	slice8_pkg2.ads
-	rw-r--r--	391	slice8_pkg3.adb
-	rw-r--r--	154	slice8_pkg3.ads
-	rw-r--r--	297	slice9.adb
-	rw-r--r--	131	slice_enum.adb
-	rw-r--r--	436	small_alignment.adb
-	rw-r--r--	319	socket1.adb
-	rw-r--r--	517	socket2.adb
-	rw-r--r--	778	sort1.adb
-	rw-r--r--	64	sort1.ads
-	rw-r--r--	155	sort2.adb
-	rw-r--r--	85	source_ref1.adb
-	rw-r--r--	124	source_ref2.adb
-	rw-r--r--	464	spark1.adb
-	rw-r--r--	145	spark1.ads
-	rw-r--r--	258	spark2.adb
-	rw-r--r--	532	spark2.ads
-	rw-r--r--	357	spark3.adb
-	rw-r--r--	292	spipaterr.adb
-	rw-r--r--	275	split_args.adb
-	rw-r--r--	1,287	sse_nolib.adb
-	rw-r--r--	2,010	sso1.adb
-	rw-r--r--	175	sso10.adb
-	rw-r--r--	167	sso10_pkg.ads
-	rw-r--r--	483	sso12.adb
-	rw-r--r--	966	sso13.adb
-	rw-r--r--	1,297	sso14.adb
-	rw-r--r--	1,276	sso15.adb
-	rw-r--r--	961	sso16.adb
-	rw-r--r--	628	sso17.adb
-	rw-r--r--	419	sso18.adb
-	rw-r--r--	234	sso2.adb
-	rw-r--r--	298	sso2.ads
-	rw-r--r--	1,167	sso3.adb
-	rw-r--r--	1,195	sso4.adb
-	rw-r--r--	1,134	sso5.adb
-	rw-r--r--	1,193	sso6.adb
-	rw-r--r--	1,134	sso7.adb
-	rw-r--r--	257	sso8.adb
-	rw-r--r--	785	sso8_pkg.ads
-	rw-r--r--	138	sso9.adb
-	rw-r--r--	311	sso9_pkg.ads
-	rw-r--r--	767	stack_check1.adb
-	rw-r--r--	851	stack_check2.adb
-	rw-r--r--	675	stack_check3.adb
-	rw-r--r--	63	stack_check3.ads
-	rw-r--r--	2,099	stack_usage1.adb
-	rw-r--r--	242	stack_usage1_pkg.ads
-	rw-r--r--	2,104	stack_usage1b.adb
-	rw-r--r--	2,105	stack_usage1c.adb
-	rw-r--r--	527	stack_usage2.adb
-	rw-r--r--	913	stack_usage3.adb
-	rw-r--r--	147	stack_usage3_pkg.ads
-	rw-r--r--	235	stack_usage4.adb
-	rw-r--r--	269	stack_usage4_pkg.ads
-	rw-r--r--	198	stack_usage5.adb
-	rw-r--r--	242	stack_usage6.adb
-	rw-r--r--	369	stack_usage6_pkg.ads
-	rw-r--r--	426	static_pred1.adb
-	rw-r--r--	104	static_pred1.ads
-	rw-r--r--	244	statically_matching.ads
-	rw-r--r--	397	storage_size1.adb
-	rw-r--r--	313	str1.adb
-	rw-r--r--	208	string_comparison.adb
-	rw-r--r--	415	string_merge1.adb
-	rw-r--r--	427	string_merge2.adb
-	rw-r--r--	339	string_slice.adb
-	rw-r--r--	492	string_slice2.adb
-	rw-r--r--	740	strub_access.adb
-	rw-r--r--	511	strub_access1.adb
-	rw-r--r--	1,430	strub_attr.adb
-	rw-r--r--	304	strub_attr.ads
-	rw-r--r--	1,332	strub_disp.adb
-	rw-r--r--	2,159	strub_disp1.adb
-	rw-r--r--	861	strub_ind.adb
-	rw-r--r--	485	strub_ind.ads
-	rw-r--r--	1,224	strub_ind1.adb
-	rw-r--r--	478	strub_ind1.ads
-	rw-r--r--	914	strub_ind2.adb
-	rw-r--r--	470	strub_ind2.ads
-	rw-r--r--	2,710	strub_intf.adb
-	rw-r--r--	2,206	strub_intf1.adb
-	rw-r--r--	1,317	strub_intf2.adb
-	rw-r--r--	611	strub_renm.adb
-	rw-r--r--	977	strub_renm1.adb
-	rw-r--r--	896	strub_renm2.adb
-	rw-r--r--	517	strub_var.adb
-	rw-r--r--	546	strub_var1.adb
-	rw-r--r--	621	subp_elim_errors.adb
-	rw-r--r--	115	subp_elim_errors.ads
-	rw-r--r--	747	subp_inst.adb
-	rw-r--r--	598	subp_inst_pkg.adb
-	rw-r--r--	248	subp_inst_pkg.ads
-	rw-r--r--	2,334	subpools1.adb
-	rw-r--r--	167	suppress_initialization.adb
-	rw-r--r--	101	suppress_initialization2.adb
-	rw-r--r--	279	suppress_initialization2.ads
-	rw-r--r--	675	suppress_initialization_pkg.ads
-	rw-r--r--	273	sync1.adb
-	rw-r--r--	319	sync1.ads
-	rw-r--r--	436	sync2.adb
-	rw-r--r--	118	sync2.ads
-	rw-r--r--	594	sync_iface_call.adb
-	rw-r--r--	505	sync_iface_call_pkg.ads
-	rw-r--r--	120	sync_iface_call_pkg2.adb
-	rw-r--r--	148	sync_iface_call_pkg2.ads
-	rw-r--r--	414	sync_iface_test.adb
-	rw-r--r--	320	sync_iface_test.ads
-	rw-r--r--	1,726	sync_tag_discriminals.adb
-	rw-r--r--	2,353	sync_tag_finalize.adb
-	rw-r--r--	1,608	sync_tag_limited.adb
-	rw-r--r--	326	synchronized1.adb
-	rw-r--r--	170	synchronized1.ads
-	rw-r--r--	162	synchronized2.adb
-	rw-r--r--	132	synchronized2.ads
-	rw-r--r--	104	synchronized2_pkg.ads
-	rw-r--r--	842	system_info1.adb
-	rw-r--r--	102	taft_type1.adb
-	rw-r--r--	448	taft_type1_pkg1.adb
-	rw-r--r--	183	taft_type1_pkg1.ads
-	rw-r--r--	138	taft_type1_pkg2.ads
-	rw-r--r--	315	taft_type2.adb
-	rw-r--r--	59	taft_type2.ads
-	rw-r--r--	157	taft_type2_pkg.ads
-	rw-r--r--	505	taft_type3.adb
-	rw-r--r--	125	taft_type3_pkg.ads
-	rw-r--r--	154	taft_type4.adb
-	rw-r--r--	257	taft_type4_pkg.adb
-	rw-r--r--	177	taft_type4_pkg.ads
-	rw-r--r--	450	tag1.adb
-	rw-r--r--	500	tag2.adb
-	rw-r--r--	455	tag2_pkg.ads
-	rw-r--r--	88	tagged1.adb
-	rw-r--r--	917	tagged1.ads
-	rw-r--r--	147	tagged2.adb
-	rw-r--r--	165	tagged2.ads
-	rw-r--r--	1,032	tagged3.adb
-	rw-r--r--	252	tagged3_pkg.adb
-	rw-r--r--	241	tagged3_pkg.ads
-	rw-r--r--	665	tagged4.adb
-	rw-r--r--	116	tagged5.adb
-	rw-r--r--	357	tagged5.ads
-	rw-r--r--	560	tagged_alloc_free.adb
-	rw-r--r--	580	tagged_prefix_call.adb
-	rw-r--r--	515	tagged_type_pkg.adb
-	rw-r--r--	248	tagged_type_pkg.ads
-	rw-r--r--	159	tail_call.adb
-	rw-r--r--	698	tail_call_p.adb
-	rw-r--r--	217	tail_call_p.ads
-	rw-r--r--	270	tampering_check1.adb
-	rw-r--r--	118	tampering_check1_ivectors.ads
-	rw-r--r--	242	tampering_check1_trim.adb
-	rw-r--r--	114	tampering_check1_trim.ads
-	rw-r--r--	85	task1.adb
-	rw-r--r--	218	task1.ads
-	rw-r--r--	150	task1_pkg.adb
-	rw-r--r--	251	task1_pkg.ads
-	rw-r--r--	130	task2.adb
-	rw-r--r--	92	task2_pkg.adb
-	rw-r--r--	100	task2_pkg.ads
-	rw-r--r--	265	task3.adb
-	rw-r--r--	272	task3.ads
-	rw-r--r--	283	task3_pkg1.ads
-	rw-r--r--	178	task3_pkg2.ads
-	rw-r--r--	282	task4.adb
-	rw-r--r--	651	task5.adb
-	rw-r--r--	122	task_name.adb
-	rw-r--r--	750	task_name.ads
-	rw-r--r--	704	task_stack_align.adb
-	rw-r--r--	513	test_8bitlong_overflow.adb
-	rw-r--r--	397	test_address_null_init.adb
-	rw-r--r--	270	test_ai254.adb
-	rw-r--r--	125	test_allocator_maxalign2.adb
-	rw-r--r--	580	test_bip_no_alloc.adb
-	rw-r--r--	274	test_bounded.adb
-	rw-r--r--	599	test_call.adb
-	rw-r--r--	147	test_casesi.adb
-	rw-r--r--	134	test_debug1.adb
-	rw-r--r--	129	test_delay.adb
-	rw-r--r--	243	test_direct_io.adb
-	rw-r--r--	291	test_dse_step.adb
-	rw-r--r--	604	test_enum_io.adb
-	rw-r--r--	354	test_equal1.adb
-	rw-r--r--	117	test_ext1.adb
-	rw-r--r--	852	test_fixed_io.adb
-	rw-r--r--	1,174	test_iface_aggr.adb
-	rw-r--r--	215	test_ifaces.adb
-	rw-r--r--	149	test_image.adb
-	rw-r--r--	670	test_image_p.adb
-	rw-r--r--	744	test_image_p.ads
-	rw-r--r--	150	test_nested_subtype_byref.adb
-	rw-r--r--	339	test_oalign.adb
-	rw-r--r--	306	test_oconst.adb
-	rw-r--r--	273	test_prefix1.adb
-	rw-r--r--	418	test_prio.adb
-	rw-r--r--	187	test_prio_p.adb
-	rw-r--r--	479	test_prio_p.ads
-	rw-r--r--	316	test_raise_from_pure.adb
-	rw-r--r--	418	test_rational_arithmetic.adb
-	rw-r--r--	259	test_self.adb
-	rw-r--r--	845	test_self_ref.adb
-	rw-r--r--	820	test_table1.adb
-	rw-r--r--	203	test_tables.adb
-	rw-r--r--	801	test_time_stamp.adb
-	rw-r--r--	606	test_unknown_discrs.adb
-	rw-r--r--	348	test_version.adb
-	rw-r--r--	318	testint.adb
-	rw-r--r--	199	tf_interface_1.adb
-	rw-r--r--	655	tf_interface_1.ads
-	rw-r--r--	780	tfren.adb
-	rw-r--r--	234	thin_pointer1.adb
-	rw-r--r--	432	thin_pointer1.ads
-	rw-r--r--	230	thin_pointer2.adb
-	rw-r--r--	350	thin_pointer2_pkg.adb
-	rw-r--r--	169	thin_pointer2_pkg.ads
-	rw-r--r--	119	thunk1.adb
-	rw-r--r--	122	thunk1_pkg1.ads
-	rw-r--r--	178	thunk1_pkg2.adb
-	rw-r--r--	293	thunk1_pkg2.ads
-	rw-r--r--	187	thunk2.adb
-	rw-r--r--	273	thunk2.ads
-	rw-r--r--	192	thunk2_pkg.ads
-	rw-r--r--	844	timer_cancel.adb
-	rw-r--r--	1,066	tls1.adb
-	rw-r--r--	567	tls1_pkg.ads
-	rw-r--r--	377	trampoline1.adb
-	rw-r--r--	439	trampoline2.adb
-	rw-r--r--	402	trampoline3.adb
-	rw-r--r--	470	trampoline4.adb
-	rw-r--r--	160	tree_static_def.adb
-	rw-r--r--	177	tree_static_def.ads
-	rw-r--r--	164	tree_static_use.adb
-	rw-r--r--	275	type_conv.adb
-	rw-r--r--	376	type_conv2.adb
-	rw-r--r--	244	type_conv2.ads
-	rw-r--r--	689	unaligned_rep_clause.adb
-	rw-r--r--	602	unc.adb
-	rw-r--r--	865	unc_memfree.adb
-	rw-r--r--	1,359	unc_memops.adb
-	rw-r--r--	948	unc_memops.ads
-	rw-r--r--	687	unchecked_convert1.adb
-	rw-r--r--	878	unchecked_convert10.adb
-	rw-r--r--	936	unchecked_convert11.adb
-	rw-r--r--	932	unchecked_convert12.adb
-	rw-r--r--	531	unchecked_convert13.adb
-	rw-r--r--	845	unchecked_convert14.adb
-	rw-r--r--	854	unchecked_convert2.adb
-	rw-r--r--	355	unchecked_convert3.adb
-	rw-r--r--	408	unchecked_convert4.adb
-	rw-r--r--	409	unchecked_convert5.adb
-	rw-r--r--	403	unchecked_convert5b.adb
-	rw-r--r--	409	unchecked_convert6.adb
-	rw-r--r--	403	unchecked_convert6b.adb
-	rw-r--r--	653	unchecked_convert7.adb
-	rw-r--r--	631	unchecked_convert8.adb
-	rw-r--r--	76	unchecked_convert8.ads
-	rw-r--r--	289	unchecked_convert9.adb
-	rw-r--r--	365	unchecked_convert9.ads
-	rw-r--r--	409	unchecked_union1.adb
-	rw-r--r--	944	unchecked_union2.adb
-	rw-r--r--	963	unchecked_union3.adb
-	rw-r--r--	386	uninit_array.adb
-	rw-r--r--	79	uninit_array.ads
-	rw-r--r--	206	uninit_array_pkg.ads
-	rw-r--r--	268	uninit_func.adb
-	rw-r--r--	230	unreferenced.adb
-	rw-r--r--	553	unreferenced2.adb
-	rw-r--r--	826	unroll1.adb
-	rw-r--r--	175	unroll1.ads
-	rw-r--r--	622	unroll2.adb
-	rw-r--r--	175	unroll2.ads
-	rw-r--r--	619	unroll3.adb
-	rw-r--r--	175	unroll3.ads
-	rw-r--r--	617	unroll4.adb
-	rw-r--r--	211	unroll4.ads
-	rw-r--r--	73	unroll4_pkg.ads
-	rw-r--r--	460	valid1.adb
-	rw-r--r--	195	valid4.adb
-	rw-r--r--	450	valid4_pkg.adb
-	rw-r--r--	254	valid4_pkg.ads
-	rw-r--r--	209	valid_scalars1.adb
-	rw-r--r--	505	valid_scalars2.adb
-	rw-r--r--	274	validity_check.adb
-	rw-r--r--	251	validity_check2.adb
-	rw-r--r--	341	validity_check2_pkg.ads
-	rw-r--r--	3,718	validity_check3.adb
-	rw-r--r--	3,011	validity_check3.ads
-	rw-r--r--	259	valued_proc.adb
-	rw-r--r--	443	valued_proc_pkg.ads
-	rw-r--r--	552	varsize1.adb
-	rw-r--r--	458	varsize2.adb
-	rw-r--r--	621	varsize2.ads
-	rw-r--r--	66	varsize3_1.adb
-	rw-r--r--	142	varsize3_1.ads
-	rw-r--r--	143	varsize3_2.adb
-	rw-r--r--	136	varsize3_3.adb
-	rw-r--r--	139	varsize3_4.adb
-	rw-r--r--	142	varsize3_5.adb
-	rw-r--r--	138	varsize3_6.adb
-	rw-r--r--	248	varsize3_pkg1.ads
-	rw-r--r--	86	varsize3_pkg2.ads
-	rw-r--r--	164	varsize3_pkg3.ads
-	rw-r--r--	359	varsize4.adb
-	rw-r--r--	144	varsize4.ads
-	rw-r--r--	74	varsize4_pkg.ads
-	rw-r--r--	2,797	vect1.adb
-	rw-r--r--	1,558	vect1.ads
-	rw-r--r--	623	vect10.adb
-	rw-r--r--	326	vect10.ads
-	rw-r--r--	746	vect11.adb
-	rw-r--r--	330	vect11.ads
-	rw-r--r--	629	vect12.adb
-	rw-r--r--	252	vect12.ads
-	rw-r--r--	627	vect13.adb
-	rw-r--r--	252	vect13.ads
-	rw-r--r--	617	vect14.adb
-	rw-r--r--	387	vect15.adb
-	rw-r--r--	163	vect15.ads
-	rw-r--r--	454	vect16.adb
-	rw-r--r--	169	vect16.ads
-	rw-r--r--	399	vect17.adb
-	rw-r--r--	179	vect17.ads
-	rw-r--r--	432	vect18.adb
-	rw-r--r--	167	vect18.ads
-	rw-r--r--	98	vect1_pkg.ads
-	rw-r--r--	2,797	vect2.adb
-	rw-r--r--	1,599	vect2.ads
-	rw-r--r--	100	vect2_pkg.ads
-	rw-r--r--	2,797	vect3.adb
-	rw-r--r--	1,664	vect3.ads
-	rw-r--r--	165	vect3_pkg.ads
-	rw-r--r--	2,947	vect4.adb
-	rw-r--r--	1,753	vect4.ads
-	rw-r--r--	98	vect4_pkg.ads
-	rw-r--r--	2,947	vect5.adb
-	rw-r--r--	1,796	vect5.ads
-	rw-r--r--	100	vect5_pkg.ads
-	rw-r--r--	2,947	vect6.adb
-	rw-r--r--	1,859	vect6.ads
-	rw-r--r--	165	vect6_pkg.ads
-	rw-r--r--	328	vect7.adb
-	rw-r--r--	319	vect7.ads
-	rw-r--r--	236	vect8.adb
-	rw-r--r--	164	vect8.ads
-	rw-r--r--	980	vect9.adb
-	rw-r--r--	230	vect9.ads
-	rw-r--r--	522	vect9_pkg.ads
-	rw-r--r--	1,314	vfa1_1.adb
-	rw-r--r--	1,206	vfa1_2.adb
-	rw-r--r--	1,253	vfa1_3.adb
-	rw-r--r--	1,235	vfa1_4.adb
-	rw-r--r--	954	vfa1_pkg.ads
-	rw-r--r--	1,105	view_conversion1.adb
-	rw-r--r--	447	volatile1.ads
-	rw-r--r--	139	volatile10.adb
-	rw-r--r--	537	volatile10_pkg.ads
-	rw-r--r--	1,051	volatile11.adb
-	rw-r--r--	699	volatile11_pkg.adb
-	rw-r--r--	475	volatile11_pkg.ads
-	rw-r--r--	115	volatile12.adb
-	rw-r--r--	136	volatile12.ads
-	rw-r--r--	231	volatile13.adb
-	rw-r--r--	495	volatile13.ads
-	rw-r--r--	472	volatile2.adb
-	rw-r--r--	267	volatile2.ads
-	rw-r--r--	285	volatile3.adb
-	rw-r--r--	323	volatile4.adb
-	rw-r--r--	172	volatile5.adb
-	rw-r--r--	156	volatile5_pkg.ads
-	rw-r--r--	318	volatile6.adb
-	rw-r--r--	380	volatile7.adb
-	rw-r--r--	379	volatile8.adb
-	rw-r--r--	353	volatile9.adb
-	rw-r--r--	676	volatile_aggregate.adb
-	rw-r--r--	288	warn1.adb
-	rw-r--r--	226	warn10.adb
-	rw-r--r--	194	warn10.ads
-	rw-r--r--	281	warn10_pkg.ads
-	rw-r--r--	463	warn11.adb
-	rw-r--r--	274	warn13.adb
-	rw-r--r--	939	warn14.adb
-	rw-r--r--	202	warn15-core-main.adb
-	rw-r--r--	65	warn15-core.ads
-	rw-r--r--	53	warn15-interfaces.ads
-	rw-r--r--	30	warn15.ads
-	rw-r--r--	914	warn16.adb
-	rw-r--r--	492	warn17.adb
-	rw-r--r--	299	warn18.adb
-	rw-r--r--	335	warn19.adb
-	rw-r--r--	105	warn19.ads
-	rw-r--r--	117	warn19_pkg.ads
-	rw-r--r--	413	warn2.adb
-	rw-r--r--	190	warn20.adb
-	rw-r--r--	209	warn20_pkg.adb
-	rw-r--r--	146	warn20_pkg.ads
-	rw-r--r--	120	warn21.adb
-	rw-r--r--	445	warn21.ads
-	rw-r--r--	526	warn22.adb
-	rw-r--r--	263	warn23.adb
-	rw-r--r--	265	warn24.adb
-	rw-r--r--	620	warn25.adb
-	rw-r--r--	482	warn26.adb
-	rw-r--r--	334	warn27.adb
-	rw-r--r--	725	warn28.adb
-	rw-r--r--	189	warn28.ads
-	rw-r--r--	207	warn29.adb
-	rw-r--r--	100	warn29.ads
-	rw-r--r--	398	warn3.adb
-	rw-r--r--	215	warn30.adb
-	rw-r--r--	166	warn30.ads
-	rw-r--r--	125	warn31.adb
-	rw-r--r--	360	warn31.ads
-	rw-r--r--	534	warn32.adb
-	rw-r--r--	847	warn4.adb
-	rw-r--r--	835	warn5.adb
-	rw-r--r--	228	warn6.adb
-	rw-r--r--	219	warn6.ads
-	rw-r--r--	247	warn7.adb
-	rw-r--r--	123	warn8.adb
-	rw-r--r--	153	warn9.adb
-	rw-r--r--	124	weak2.adb
-	rw-r--r--	151	weak2.ads
-	rw-r--r--	211	weak3.adb
-	rw-r--r--	46	weak3.ads
-	rw-r--r--	389	wide_boolean.adb
-	rw-r--r--	182	wide_boolean_pkg.adb
-	rw-r--r--	512	wide_boolean_pkg.ads
-	rw-r--r--	117	wide_pi.adb
-	rw-r--r--	348	wide_test.adb
-	rw-r--r--	2,238	wide_wide_value1.adb
-	rw-r--r--	233	zcur_attr.adb
-	rw-r--r--	129	zcur_attr.ads