Public Git Hosting - official-gcc.git/tree - gcc/testsuite/gnat.dg/specs/

drwxr-xr-x		..
-rw-r--r--	141	abstract_limited.ads	blob \| blame \| history \| raw
-rw-r--r--	389	abstract_private.ads	blob \| blame \| history \| raw
-rw-r--r--	111	access1.ads	blob \| blame \| history \| raw
-rw-r--r--	164	access2.ads	blob \| blame \| history \| raw
-rw-r--r--	735	access3.ads	blob \| blame \| history \| raw
-rw-r--r--	298	access_constant.ads	blob \| blame \| history \| raw
-rw-r--r--	263	access_constant_decl.ads	blob \| blame \| history \| raw
-rw-r--r--	186	aggr1.ads	blob \| blame \| history \| raw
-rw-r--r--	274	aggr2.ads	blob \| blame \| history \| raw
-rw-r--r--	271	aggr3.ads	blob \| blame \| history \| raw
-rw-r--r--	138	aggr3_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	145	aggr4.ads	blob \| blame \| history \| raw
-rw-r--r--	460	aggr4_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	285	aggr5.ads	blob \| blame \| history \| raw
-rw-r--r--	470	aggr6.ads	blob \| blame \| history \| raw
-rw-r--r--	602	ai_116.ads	blob \| blame \| history \| raw
-rw-r--r--	187	alignment1.ads	blob \| blame \| history \| raw
-rw-r--r--	1100	alignment2.ads	blob \| blame \| history \| raw
-rw-r--r--	176	array1.ads	blob \| blame \| history \| raw
-rw-r--r--	237	array2.ads	blob \| blame \| history \| raw
-rw-r--r--	368	array3.ads	blob \| blame \| history \| raw
-rw-r--r--	229	array_no_def_init.ads	blob \| blame \| history \| raw
-rw-r--r--	349	atomic1.ads	blob \| blame \| history \| raw
-rw-r--r--	518	atomic2.ads	blob \| blame \| history \| raw
-rw-r--r--	773	atomic3.ads	blob \| blame \| history \| raw
-rw-r--r--	149	attribute_parsing.ads	blob \| blame \| history \| raw
-rw-r--r--	279	box1.ads	blob \| blame \| history \| raw
-rw-r--r--	1578	clause_on_volatile.ads	blob \| blame \| history \| raw
-rw-r--r--	173	concat1.ads	blob \| blame \| history \| raw
-rw-r--r--	178	concat1_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	212	cond_expr1.ads	blob \| blame \| history \| raw
-rw-r--r--	461	constant1.ads	blob \| blame \| history \| raw
-rw-r--r--	226	constant1_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	295	constructor.ads	blob \| blame \| history \| raw
-rw-r--r--	822	controlled1.ads	blob \| blame \| history \| raw
-rw-r--r--	128	controlled1_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	402	controller.ads	blob \| blame \| history \| raw
-rw-r--r--	288	corr_discr.ads	blob \| blame \| history \| raw
-rw-r--r--	208	cpp1.ads	blob \| blame \| history \| raw
-rw-r--r--	263	cpp_assignment.ads	blob \| blame \| history \| raw
-rw-r--r--	244	delta_small.ads	blob \| blame \| history \| raw
-rw-r--r--	162	discr1.ads	blob \| blame \| history \| raw
-rw-r--r--	332	discr1_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	1127	discr2.ads	blob \| blame \| history \| raw
-rw-r--r--	501	discr3.ads	blob \| blame \| history \| raw
-rw-r--r--	433	discr4.ads	blob \| blame \| history \| raw
-rw-r--r--	548	discr4_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	309	double_record_extension1.ads	blob \| blame \| history \| raw
-rw-r--r--	484	double_record_extension2.ads	blob \| blame \| history \| raw
-rw-r--r--	417	double_record_extension3.ads	blob \| blame \| history \| raw
-rw-r--r--	431	elab1.ads	blob \| blame \| history \| raw
-rw-r--r--	336	elab2.ads	blob \| blame \| history \| raw
-rw-r--r--	448	elab2_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	295	elab3.ads	blob \| blame \| history \| raw
-rw-r--r--	197	elab4.ads	blob \| blame \| history \| raw
-rw-r--r--	44	elab4_proc.adb	blob \| blame \| history \| raw
-rw-r--r--	75	elab4_proc.ads	blob \| blame \| history \| raw
-rw-r--r--	622	empty_variants.ads	blob \| blame \| history \| raw
-rw-r--r--	125	fe_inlining.ads	blob \| blame \| history \| raw
-rw-r--r--	71	fe_inlining_helper.adb	blob \| blame \| history \| raw
-rw-r--r--	82	fe_inlining_helper.ads	blob \| blame \| history \| raw
-rw-r--r--	396	formal_type.ads	blob \| blame \| history \| raw
-rw-r--r--	186	gen_interface.ads	blob \| blame \| history \| raw
-rw-r--r--	110	gen_interface_p.ads	blob \| blame \| history \| raw
-rw-r--r--	180	genericppc.ads	blob \| blame \| history \| raw
-rw-r--r--	322	gnati.ads	blob \| blame \| history \| raw
-rw-r--r--	252	iface_eq_test-child.ads	blob \| blame \| history \| raw
-rw-r--r--	186	iface_eq_test.ads	blob \| blame \| history \| raw
-rw-r--r--	232	import_abstract.ads	blob \| blame \| history \| raw
-rw-r--r--	162	integer_value.ads	blob \| blame \| history \| raw
-rw-r--r--	206	interface5.ads	blob \| blame \| history \| raw
-rw-r--r--	496	last_bit.ads	blob \| blame \| history \| raw
-rw-r--r--	193	limited1.ads	blob \| blame \| history \| raw
-rw-r--r--	503	limited_with4.ads	blob \| blame \| history \| raw
-rw-r--r--	367	limited_with4_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	278	linker_alias.ads	blob \| blame \| history \| raw
-rw-r--r--	538	linker_section.ads	blob \| blame \| history \| raw
-rw-r--r--	333	loop_optimization1.ads	blob \| blame \| history \| raw
-rw-r--r--	355	loop_optimization1_pkg.adb	blob \| blame \| history \| raw
-rw-r--r--	302	loop_optimization1_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	148	lto12.ads	blob \| blame \| history \| raw
-rw-r--r--	260	lto12_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	192	lto3.ads	blob \| blame \| history \| raw
-rw-r--r--	421	lto3_pkg1.adb	blob \| blame \| history \| raw
-rw-r--r--	549	lto3_pkg1.ads	blob \| blame \| history \| raw
-rw-r--r--	136	lto3_pkg2.adb	blob \| blame \| history \| raw
-rw-r--r--	231	lto3_pkg2.ads	blob \| blame \| history \| raw
-rw-r--r--	146	machine_attribute.ads	blob \| blame \| history \| raw
-rw-r--r--	304	no_streams.ads	blob \| blame \| history \| raw
-rw-r--r--	509	noinline1.ads	blob \| blame \| history \| raw
-rw-r--r--	208	noinline3.ads	blob \| blame \| history \| raw
-rw-r--r--	320	noinline3_pkg.adb	blob \| blame \| history \| raw
-rw-r--r--	165	noinline3_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	284	not_null1.ads	blob \| blame \| history \| raw
-rw-r--r--	430	null_aggr_bug.ads	blob \| blame \| history \| raw
-rw-r--r--	313	oconst6.ads	blob \| blame \| history \| raw
-rw-r--r--	456	opt1.ads	blob \| blame \| history \| raw
-rw-r--r--	238	opt2.ads	blob \| blame \| history \| raw
-rw-r--r--	242	opt3.ads	blob \| blame \| history \| raw
-rw-r--r--	112	opt3_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	1808	oversize.ads	blob \| blame \| history \| raw
-rw-r--r--	305	pack10.ads	blob \| blame \| history \| raw
-rw-r--r--	83	pack10_pkg.adb	blob \| blame \| history \| raw
-rw-r--r--	158	pack10_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	402	pack11.ads	blob \| blame \| history \| raw
-rw-r--r--	296	pack12.ads	blob \| blame \| history \| raw
-rw-r--r--	403	pack13.ads	blob \| blame \| history \| raw
-rw-r--r--	201	pack2.ads	blob \| blame \| history \| raw
-rw-r--r--	856	pack3.ads	blob \| blame \| history \| raw
-rw-r--r--	736	pack33.ads	blob \| blame \| history \| raw
-rw-r--r--	112	pack3_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	249	pack4.ads	blob \| blame \| history \| raw
-rw-r--r--	222	pack5.ads	blob \| blame \| history \| raw
-rw-r--r--	445	pack6.ads	blob \| blame \| history \| raw
-rw-r--r--	221	pack6_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	212	pack7.ads	blob \| blame \| history \| raw
-rw-r--r--	311	pack8.ads	blob \| blame \| history \| raw
-rw-r--r--	59	pack8_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	252	pack9.ads	blob \| blame \| history \| raw
-rw-r--r--	234	preelab.ads	blob \| blame \| history \| raw
-rw-r--r--	252	private1-sub.ads	blob \| blame \| history \| raw
-rw-r--r--	90	private1.ads	blob \| blame \| history \| raw
-rw-r--r--	119	private2.ads	blob \| blame \| history \| raw
-rw-r--r--	192	private2_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	402	private_with.ads	blob \| blame \| history \| raw
-rw-r--r--	407	renaming1.ads	blob \| blame \| history \| raw
-rw-r--r--	159	renaming2.ads	blob \| blame \| history \| raw
-rw-r--r--	372	renaming2_pkg1.ads	blob \| blame \| history \| raw
-rw-r--r--	227	renaming2_pkg2.ads	blob \| blame \| history \| raw
-rw-r--r--	400	renaming2_pkg3.ads	blob \| blame \| history \| raw
-rw-r--r--	247	renaming2_pkg4.adb	blob \| blame \| history \| raw
-rw-r--r--	413	renaming2_pkg4.ads	blob \| blame \| history \| raw
-rw-r--r--	393	rep_clause1.ads	blob \| blame \| history \| raw
-rw-r--r--	174	rep_clause2.ads	blob \| blame \| history \| raw
-rw-r--r--	864	rep_clause3.ads	blob \| blame \| history \| raw
-rw-r--r--	724	rep_clause4.ads	blob \| blame \| history \| raw
-rw-r--r--	2125	rep_clause5.ads	blob \| blame \| history \| raw
-rw-r--r--	231	restricted_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	226	root-level_1-level_2.ads	blob \| blame \| history \| raw
-rw-r--r--	353	root-level_1.ads	blob \| blame \| history \| raw
-rw-r--r--	230	root-level_2.ads	blob \| blame \| history \| raw
-rw-r--r--	213	root.ads	blob \| blame \| history \| raw
-rw-r--r--	165	self_class.ads	blob \| blame \| history \| raw
-rw-r--r--	346	size_attribute1.ads	blob \| blame \| history \| raw
-rw-r--r--	166	size_attribute1_pkg1.adb	blob \| blame \| history \| raw
-rw-r--r--	232	size_attribute1_pkg1.ads	blob \| blame \| history \| raw
-rw-r--r--	137	size_attribute1_pkg2.adb	blob \| blame \| history \| raw
-rw-r--r--	154	size_attribute1_pkg2.ads	blob \| blame \| history \| raw
-rw-r--r--	1188	size_clause1.ads	blob \| blame \| history \| raw
-rw-r--r--	1300	size_clause2.ads	blob \| blame \| history \| raw
-rw-r--r--	1292	size_clause3.ads	blob \| blame \| history \| raw
-rw-r--r--	197	small_alignment.ads	blob \| blame \| history \| raw
-rw-r--r--	1096	specs.exp	blob \| blame \| history \| raw
-rw-r--r--	516	sso1.ads	blob \| blame \| history \| raw
-rw-r--r--	517	sso2.ads	blob \| blame \| history \| raw
-rw-r--r--	331	static_initializer.ads	blob \| blame \| history \| raw
-rw-r--r--	491	static_initializer2.ads	blob \| blame \| history \| raw
-rw-r--r--	536	static_initializer3.ads	blob \| blame \| history \| raw
-rw-r--r--	201	static_initializer4.ads	blob \| blame \| history \| raw
-rw-r--r--	290	static_initializer5.ads	blob \| blame \| history \| raw
-rw-r--r--	392	static_initializer5_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	294	storage.ads	blob \| blame \| history \| raw
-rw-r--r--	377	sync_iface_test.ads	blob \| blame \| history \| raw
-rw-r--r--	178	tag1.ads	blob \| blame \| history \| raw
-rw-r--r--	542	tag2.ads	blob \| blame \| history \| raw
-rw-r--r--	298	task1.ads	blob \| blame \| history \| raw
-rw-r--r--	552	uc1.ads	blob \| blame \| history \| raw
-rw-r--r--	354	uc2.ads	blob \| blame \| history \| raw
-rw-r--r--	434	unchecked_union1.ads	blob \| blame \| history \| raw
-rw-r--r--	569	unchecked_union2.ads	blob \| blame \| history \| raw
-rw-r--r--	264	universal_fixed.ads	blob \| blame \| history \| raw
-rw-r--r--	236	variant_part.ads	blob \| blame \| history \| raw
-rw-r--r--	183	varsize_return.ads	blob \| blame \| history \| raw
-rw-r--r--	214	varsize_return2.ads	blob \| blame \| history \| raw
-rw-r--r--	294	varsize_return2_pkg.adb	blob \| blame \| history \| raw
-rw-r--r--	342	varsize_return2_pkg.ads	blob \| blame \| history \| raw
-rw-r--r--	443	varsize_return_pkg1.adb	blob \| blame \| history \| raw
-rw-r--r--	605	varsize_return_pkg1.ads	blob \| blame \| history \| raw
-rw-r--r--	156	varsize_return_pkg2.adb	blob \| blame \| history \| raw
-rw-r--r--	251	varsize_return_pkg2.ads	blob \| blame \| history \| raw
-rw-r--r--	223	vfa1.ads	blob \| blame \| history \| raw
-rw-r--r--	2415	vfa2.ads	blob \| blame \| history \| raw
-rw-r--r--	397	volatile1.ads	blob \| blame \| history \| raw
-rw-r--r--	222	warnstar.ads	blob \| blame \| history \| raw
-rw-r--r--	146	weak1.ads	blob \| blame \| history \| raw
-rw-r--r--	981	with_containers.ads	blob \| blame \| history \| raw