Folder Path

/rk3568/buildroot/output/rockchip_rk3568_recovery/build/gcc-final-12.3.0/gcc/testsuite/gnat.dg/

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