/gcc-9.5.0/gcc/testsuite/gnat.dg/

3 directories 1763 files
Name Size Modified
Go 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
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
addr14.adb 368 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
aggr3.adb 842 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
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
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_maxalign1.adb 964 B
allocator_maxalign2.adb 669 B
allocator_maxalign2.ads 211 B
ancestor_type.adb 233 B
ancestor_type.ads 200 B
anon1.ads 66 B
anon2.adb 120 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
array4.adb 576 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
aspect1.adb 325 B
aspect1_horizontal.adb 235 B
aspect1_horizontal.ads 307 B
aspect1_vectors_2d.ads 464 B
assert.ads 75 B
assert1.adb 1.1 KiB
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
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_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
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_optimization_pkg1.ads 18 KiB
case_optimization_pkg2.adb 598 B
case_optimization_pkg2.ads 764 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
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
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
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
curr_task.adb 2.2 KiB
debug1.ads 502 B
debug10.adb 1.3 KiB
debug10_pkg.ads 3.4 KiB
debug11.adb 957 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
debug15.adb 361 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 761 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_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
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
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
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
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 19 KiB
dynhash1.adb 1.2 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
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
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
env_compile_capacity.adb 957 B
env_compile_capacity.ads 60 B
equal1.ads 286 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
equal_access.adb 142 B
exit1.adb 1.3 KiB
exp0_eval.adb 620 B
expect1.adb 300 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_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
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
float_attributes_overflows.adb 930 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
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
generic_actuals.adb 472 B
generic_call_cw.adb 833 B
generic_call_iface.adb 831 B
generic_disp.adb 225 B
generic_disp_pkg.adb 184 B
generic_disp_pkg.ads 541 B
generic_inst2.adb 108 B
generic_inst2.ads 228 B
generic_inst2_c.ads 161 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
global.adb 2.2 KiB
global.ads 352 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
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
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
inline1_pkg.adb 1.0 KiB
inline1_pkg.ads 216 B
inline2.adb 216 B
inline2_pkg.adb 1.0 KiB
inline2_pkg.ads 202 B
inline3.adb 225 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 261 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 263 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 261 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
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
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
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 354 B
limited1_inner.ads 505 B
limited1_outer.adb 147 B
limited1_outer.ads 225 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 29 KiB
loop_address.adb 487 B
loop_address2.adb 534 B
loop_boolean.adb 276 B
loop_bound.adb 623 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 153 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
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_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
modular6.adb 336 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_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 487 B
notnot.adb 201 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
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
opt10_pkg.ads 297 B
opt11.adb 160 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 533 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
opt89.adb 246 B
opt8_pkg.ads 123 B
opt9.adb 390 B
opt92.adb 865 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
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
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
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
prot_def.adb 809 B
protected_func.adb 470 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
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
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
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
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
set_in_pproc.adb 368 B
sets1.adb 16 KiB
show_deques_priority.adb 168 B
size_attribute.adb 151 B
size_clause1.adb 271 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
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
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
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 470 B
static_pred1.ads 104 B
statically_matching.ads 244 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 587 B
subp_inst_pkg.ads 248 B
subpools1.adb 2.3 KiB
suppress_initialization.adb 167 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
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
tagged1.adb 88 B
tagged1.ads 917 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
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_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
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
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_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
unroll1.adb 806 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
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 438 B
warn13.adb 274 B
warn14.adb 1001 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
warn3.adb 398 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
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