directory /gcc/testsuite/gnat.dg/ @ 19:2b5abeee2509 default tip

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