| Mode | Name | Size | |
|---|
| -rw-r--r-- | abstract1.adb | 964 | logplain |
| -rw-r--r-- | abstract1.ads | 619 | logplain |
| -rw-r--r-- | abstract_with_anonymous_result.adb | 896 | logplain |
| -rw-r--r-- | access1.adb | 414 | logplain |
| -rw-r--r-- | access2.adb | 367 | logplain |
| -rw-r--r-- | access3.adb | 318 | logplain |
| -rw-r--r-- | access3.ads | 246 | logplain |
| -rw-r--r-- | access4.adb | 147 | logplain |
| -rw-r--r-- | access_discr.adb | 559 | logplain |
| -rw-r--r-- | access_discr2.adb | 197 | logplain |
| -rw-r--r-- | access_func.adb | 217 | logplain |
| -rw-r--r-- | access_test.adb | 563 | logplain |
| -rw-r--r-- | addr1.adb | 387 | logplain |
| -rw-r--r-- | addr1.ads | 48 | logplain |
| -rw-r--r-- | addr2.adb | 158 | logplain |
| -rw-r--r-- | addr2_p.adb | 248 | logplain |
| -rw-r--r-- | addr2_p.ads | 229 | logplain |
| -rw-r--r-- | addr3.adb | 664 | logplain |
| -rw-r--r-- | addr4.adb | 253 | logplain |
| -rw-r--r-- | addr5.adb | 199 | logplain |
| -rw-r--r-- | addr6.adb | 554 | logplain |
| -rw-r--r-- | addr7.adb | 179 | logplain |
| -rw-r--r-- | addr7.ads | 145 | logplain |
| -rw-r--r-- | addr8.adb | 171 | logplain |
| -rw-r--r-- | addr8.ads | 137 | logplain |
| -rw-r--r-- | addr9_1.adb | 827 | logplain |
| -rw-r--r-- | addr9_2.adb | 854 | logplain |
| -rw-r--r-- | addr9_3.adb | 819 | logplain |
| -rw-r--r-- | addr9_4.adb | 811 | logplain |
| -rw-r--r-- | addr_slice.adb | 408 | logplain |
| -rw-r--r-- | address_conversion.adb | 452 | logplain |
| -rw-r--r-- | address_null_init.ads | 226 | logplain |
| -rw-r--r-- | aggr1.adb | 1228 | logplain |
| -rw-r--r-- | aggr10.adb | 593 | logplain |
| -rw-r--r-- | aggr10_pkg.ads | 460 | logplain |
| -rw-r--r-- | aggr11.adb | 405 | logplain |
| -rw-r--r-- | aggr11_pkg.ads | 283 | logplain |
| -rw-r--r-- | aggr12.adb | 350 | logplain |
| -rw-r--r-- | aggr12.ads | 261 | logplain |
| -rw-r--r-- | aggr13.adb | 390 | logplain |
| -rw-r--r-- | aggr14.adb | 91 | logplain |
| -rw-r--r-- | aggr14_pkg.adb | 235 | logplain |
| -rw-r--r-- | aggr14_pkg.ads | 148 | logplain |
| -rw-r--r-- | aggr15.adb | 303 | logplain |
| -rw-r--r-- | aggr15.ads | 233 | logplain |
| -rw-r--r-- | aggr16.adb | 431 | logplain |
| -rw-r--r-- | aggr16.ads | 50 | logplain |
| -rw-r--r-- | aggr16_pkg.ads | 433 | logplain |
| -rw-r--r-- | aggr17.adb | 554 | logplain |
| -rw-r--r-- | aggr18.adb | 545 | logplain |
| -rw-r--r-- | aggr19.adb | 253 | logplain |
| -rw-r--r-- | aggr19_pkg.adb | 153 | logplain |
| -rw-r--r-- | aggr19_pkg.ads | 570 | logplain |
| -rw-r--r-- | aggr2.adb | 310 | logplain |
| -rw-r--r-- | aggr20.adb | 147 | logplain |
| -rw-r--r-- | aggr20.ads | 430 | logplain |
| -rw-r--r-- | aggr20_pkg.ads | 140 | logplain |
| -rw-r--r-- | aggr21.adb | 284 | logplain |
| -rw-r--r-- | aggr21_pkg.adb | 135 | logplain |
| -rw-r--r-- | aggr21_pkg.ads | 178 | logplain |
| -rw-r--r-- | aggr3.adb | 842 | logplain |
| -rw-r--r-- | aggr4.adb | 514 | logplain |
| -rw-r--r-- | aggr7.adb | 813 | logplain |
| -rw-r--r-- | aggr8.adb | 401 | logplain |
| -rw-r--r-- | aggr9.adb | 162 | logplain |
| -rw-r--r-- | aggr9.ads | 89 | logplain |
| -rw-r--r-- | aggr9_pkg.ads | 231 | logplain |
| -rw-r--r-- | aliased1.adb | 568 | logplain |
| -rw-r--r-- | aliased_prefix_accessibility.adb | 1558 | logplain |
| -rw-r--r-- | aliasing1.adb | 441 | logplain |
| -rw-r--r-- | aliasing1.ads | 177 | logplain |
| -rw-r--r-- | aliasing2.adb | 446 | logplain |
| -rw-r--r-- | aliasing2.ads | 163 | logplain |
| -rw-r--r-- | aliasing3.adb | 162 | logplain |
| -rw-r--r-- | aliasing3_pkg.adb | 157 | logplain |
| -rw-r--r-- | aliasing3_pkg.ads | 305 | logplain |
| -rw-r--r-- | align_check.adb | 523 | logplain |
| -rw-r--r-- | align_max.adb | 3832 | logplain |
| -rw-r--r-- | aligned_vla.adb | 533 | logplain |
| -rw-r--r-- | alignment1.adb | 247 | logplain |
| -rw-r--r-- | alignment10.adb | 390 | logplain |
| -rw-r--r-- | alignment2.adb | 1236 | logplain |
| -rw-r--r-- | alignment3.adb | 883 | logplain |
| -rw-r--r-- | alignment4.adb | 237 | logplain |
| -rw-r--r-- | alignment5.adb | 654 | logplain |
| -rw-r--r-- | alignment6.adb | 713 | logplain |
| -rw-r--r-- | alignment7.adb | 306 | logplain |
| -rw-r--r-- | alignment8.adb | 318 | logplain |
| -rw-r--r-- | alignment9.adb | 444 | logplain |
| -rw-r--r-- | allocator_maxalign1.adb | 964 | logplain |
| -rw-r--r-- | allocator_maxalign2.adb | 669 | logplain |
| -rw-r--r-- | allocator_maxalign2.ads | 211 | logplain |
| -rw-r--r-- | ancestor_type.adb | 233 | logplain |
| -rw-r--r-- | ancestor_type.ads | 200 | logplain |
| -rw-r--r-- | anon1.ads | 66 | logplain |
| -rw-r--r-- | anon2.adb | 120 | logplain |
| -rw-r--r-- | array1.adb | 656 | logplain |
| -rw-r--r-- | array1.ads | 151 | logplain |
| -rw-r--r-- | array10.adb | 449 | logplain |
| -rw-r--r-- | array11.adb | 333 | logplain |
| -rw-r--r-- | array12.adb | 347 | logplain |
| -rw-r--r-- | array13.adb | 211 | logplain |
| -rw-r--r-- | array13.ads | 201 | logplain |
| -rw-r--r-- | array14.adb | 682 | logplain |
| -rw-r--r-- | array14.ads | 52 | logplain |
| -rw-r--r-- | array14_pkg.ads | 455 | logplain |
| -rw-r--r-- | array15.adb | 397 | logplain |
| -rw-r--r-- | array15.ads | 78 | logplain |
| -rw-r--r-- | array16.adb | 550 | logplain |
| -rw-r--r-- | array16.ads | 537 | logplain |
| -rw-r--r-- | array16_pkg.ads | 71 | logplain |
| -rw-r--r-- | array17.adb | 242 | logplain |
| -rw-r--r-- | array17_pkg.ads | 180 | logplain |
| -rw-r--r-- | array18.adb | 125 | logplain |
| -rw-r--r-- | array18_pkg.ads | 132 | logplain |
| -rw-r--r-- | array19.adb | 531 | logplain |
| -rw-r--r-- | array19.ads | 53 | logplain |
| -rw-r--r-- | array2.ads | 129 | logplain |
| -rw-r--r-- | array20.adb | 201 | logplain |
| -rw-r--r-- | array20.ads | 60 | logplain |
| -rw-r--r-- | array21.adb | 309 | logplain |
| -rw-r--r-- | array22.adb | 385 | logplain |
| -rw-r--r-- | array23.adb | 145 | logplain |
| -rw-r--r-- | array23_pkg1.ads | 254 | logplain |
| -rw-r--r-- | array23_pkg2.ads | 199 | logplain |
| -rw-r--r-- | array23_pkg3.ads | 65 | logplain |
| -rw-r--r-- | array3.adb | 1110 | logplain |
| -rw-r--r-- | array4.adb | 576 | logplain |
| -rw-r--r-- | array5.adb | 575 | logplain |
| -rw-r--r-- | array6.adb | 605 | logplain |
| -rw-r--r-- | array7.adb | 488 | logplain |
| -rw-r--r-- | array7.ads | 484 | logplain |
| -rw-r--r-- | array8.adb | 575 | logplain |
| -rw-r--r-- | array9.adb | 309 | logplain |
| -rw-r--r-- | array_bounds_test.adb | 397 | logplain |
| -rw-r--r-- | array_bounds_test2.adb | 525 | logplain |
| -rw-r--r-- | assert.ads | 75 | logplain |
| -rw-r--r-- | assert1.adb | 1086 | logplain |
| -rw-r--r-- | assign_from_packed.adb | 257 | logplain |
| -rw-r--r-- | assign_from_packed_pixels.ads | 335 | logplain |
| -rw-r--r-- | asynch.adb | 556 | logplain |
| -rw-r--r-- | asynch.ads | 199 | logplain |
| -rw-r--r-- | atomic1.adb | 379 | logplain |
| -rw-r--r-- | atomic1_pkg.ads | 1024 | logplain |
| -rw-r--r-- | atomic2.adb | 214 | logplain |
| -rw-r--r-- | atomic3.adb | 398 | logplain |
| -rw-r--r-- | atomic4.adb | 270 | logplain |
| -rw-r--r-- | atomic4.ads | 534 | logplain |
| -rw-r--r-- | atomic5.adb | 341 | logplain |
| -rw-r--r-- | atomic5.ads | 382 | logplain |
| -rw-r--r-- | atomic6_1.adb | 1440 | logplain |
| -rw-r--r-- | atomic6_2.adb | 1634 | logplain |
| -rw-r--r-- | atomic6_3.adb | 1728 | logplain |
| -rw-r--r-- | atomic6_4.adb | 1566 | logplain |
| -rw-r--r-- | atomic6_5.adb | 1476 | logplain |
| -rw-r--r-- | atomic6_6.adb | 1496 | logplain |
| -rw-r--r-- | atomic6_7.adb | 1546 | logplain |
| -rw-r--r-- | atomic6_8.adb | 1429 | logplain |
| -rw-r--r-- | atomic6_pkg.ads | 600 | logplain |
| -rw-r--r-- | atomic7_1.adb | 214 | logplain |
| -rw-r--r-- | atomic7_2.adb | 143 | logplain |
| -rw-r--r-- | atomic7_pkg1.ads | 152 | logplain |
| -rw-r--r-- | atomic7_pkg2.adb | 217 | logplain |
| -rw-r--r-- | atomic7_pkg2.ads | 77 | logplain |
| -rw-r--r-- | bad_array.adb | 146 | logplain |
| -rw-r--r-- | biased_uc.adb | 1067 | logplain |
| -rw-r--r-- | bip_aggregate_bug.adb | 1341 | logplain |
| -rw-r--r-- | bip_prim_func.adb | 277 | logplain |
| -rw-r--r-- | bip_prim_func.ads | 222 | logplain |
| -rw-r--r-- | bit_packed_array1.adb | 369 | logplain |
| -rw-r--r-- | bit_packed_array1.ads | 934 | logplain |
| -rw-r--r-- | bit_packed_array2.adb | 324 | logplain |
| -rw-r--r-- | bit_packed_array3.adb | 971 | logplain |
| -rw-r--r-- | bit_packed_array4.adb | 182 | logplain |
| -rw-r--r-- | bit_packed_array4.ads | 411 | logplain |
| -rw-r--r-- | bit_packed_array5.adb | 453 | logplain |
| -rw-r--r-- | bit_packed_array5.ads | 363 | logplain |
| -rw-r--r-- | blkextract_from_reg.adb | 1178 | logplain |
| -rw-r--r-- | blocklocs.adb | 657 | logplain |
| -rw-r--r-- | bltins.adb | 202 | logplain |
| -rw-r--r-- | boolean_bitfield.adb | 1198 | logplain |
| -rw-r--r-- | boolean_conv.adb | 536 | logplain |
| -rw-r--r-- | boolean_expr1.adb | 781 | logplain |
| -rw-r--r-- | boolean_expr1.ads | 95 | logplain |
| -rw-r--r-- | boolean_expr2.adb | 314 | logplain |
| -rw-r--r-- | boolean_subtype1.adb | 753 | logplain |
| -rw-r--r-- | boolean_subtype2.adb | 945 | logplain |
| -rw-r--r-- | boolean_subtype2.ads | 186 | logplain |
| -rw-r--r-- | boolean_subtype2_pkg.ads | 285 | logplain |
| -rw-r--r-- | bug_elaboration_code.adb | 184 | logplain |
| -rw-r--r-- | bug_elaboration_code.ads | 119 | logplain |
| -rw-r--r-- | c_words.adb | 288 | logplain |
| -rw-r--r-- | c_words.ads | 469 | logplain |
| -rw-r--r-- | capture_value.adb | 245 | logplain |
| -rw-r--r-- | case_null.adb | 315 | logplain |
| -rw-r--r-- | case_null.ads | 207 | logplain |
| -rw-r--r-- | case_optimization1.adb | 518 | logplain |
| -rw-r--r-- | case_optimization1.ads | 161 | logplain |
| -rw-r--r-- | case_optimization2.adb | 276 | logplain |
| -rw-r--r-- | case_optimization_pkg1.ads | 18675 | logplain |
| -rw-r--r-- | case_optimization_pkg2.adb | 598 | logplain |
| -rw-r--r-- | case_optimization_pkg2.ads | 764 | logplain |
| -rw-r--r-- | check1.adb | 146 | logplain |
| -rw-r--r-- | check1.ads | 207 | logplain |
| -rw-r--r-- | check_displace_generation.adb | 1100 | logplain |
| -rw-r--r-- | check_elaboration_code.adb | 197 | logplain |
| -rw-r--r-- | class_wide1.adb | 489 | logplain |
| -rw-r--r-- | class_wide2.adb | 287 | logplain |
| -rw-r--r-- | class_wide2.ads | 311 | logplain |
| -rw-r--r-- | compose.adb | 293 | logplain |
| -rw-r--r-- | concat1.adb | 482 | logplain |
| -rw-r--r-- | concat1_pkg.adb | 117 | logplain |
| -rw-r--r-- | concat1_pkg.ads | 89 | logplain |
| -rw-r--r-- | concat2.adb | 362 | logplain |
| -rw-r--r-- | concat2.ads | 55 | logplain |
| -rw-r--r-- | concat_length.adb | 317 | logplain |
| -rw-r--r-- | cond_expr1.adb | 177 | logplain |
| -rw-r--r-- | cond_expr2.adb | 209 | logplain |
| -rw-r--r-- | cond_expr2.ads | 82 | logplain |
| -rw-r--r-- | constant1.adb | 134 | logplain |
| -rw-r--r-- | constant2.adb | 171 | logplain |
| -rw-r--r-- | constant2_pkg1.ads | 134 | logplain |
| -rw-r--r-- | constant2_pkg2.adb | 184 | logplain |
| -rw-r--r-- | constant2_pkg2.ads | 108 | logplain |
| -rw-r--r-- | constant3.adb | 391 | logplain |
| -rw-r--r-- | constant4.adb | 211 | logplain |
| -rw-r--r-- | constant4_pkg.ads | 440 | logplain |
| -rw-r--r-- | controlled1.ads | 372 | logplain |
| -rw-r--r-- | controlled2.adb | 239 | logplain |
| -rw-r--r-- | controlled2.ads | 101 | logplain |
| -rw-r--r-- | controlled3.ads | 371 | logplain |
| -rw-r--r-- | controlled4.adb | 192 | logplain |
| -rw-r--r-- | controlled4.ads | 89 | logplain |
| -rw-r--r-- | controlled5.adb | 141 | logplain |
| -rw-r--r-- | controlled5_pkg.adb | 367 | logplain |
| -rw-r--r-- | controlled5_pkg.ads | 369 | logplain |
| -rw-r--r-- | controlled6.adb | 514 | logplain |
| -rw-r--r-- | controlled6_pkg-iterators.adb | 560 | logplain |
| -rw-r--r-- | controlled6_pkg-iterators.ads | 493 | logplain |
| -rw-r--r-- | controlled6_pkg.ads | 212 | logplain |
| -rw-r--r-- | controlled7.adb | 403 | logplain |
| -rw-r--r-- | controlled7.ads | 146 | logplain |
| -rw-r--r-- | controlled_record.adb | 281 | logplain |
| -rw-r--r-- | controlled_record.ads | 329 | logplain |
| -rw-r--r-- | conv_bug.adb | 685 | logplain |
| -rw-r--r-- | conv_decimal.adb | 739 | logplain |
| -rw-r--r-- | conv_integer.adb | 246 | logplain |
| -rw-r--r-- | conv_real.adb | 568 | logplain |
| -rw-r--r-- | curr_task.adb | 2246 | logplain |
| -rw-r--r-- | debug1.ads | 502 | logplain |
| -rw-r--r-- | debug2.adb | 599 | logplain |
| -rw-r--r-- | debug2.ads | 52 | logplain |
| -rw-r--r-- | debug2_pkg.ads | 404 | logplain |
| -rw-r--r-- | debug3.adb | 483 | logplain |
| -rw-r--r-- | debug3.ads | 50 | logplain |
| -rw-r--r-- | debug4.adb | 142 | logplain |
| -rw-r--r-- | debug4_pkg.adb | 729 | logplain |
| -rw-r--r-- | debug4_pkg.ads | 676 | logplain |
| -rw-r--r-- | decl_ctx_def.ads | 48 | logplain |
| -rw-r--r-- | decl_ctx_use.adb | 229 | logplain |
| -rw-r--r-- | decl_ctx_use.ads | 74 | logplain |
| -rw-r--r-- | deferred_const1.adb | 276 | logplain |
| -rw-r--r-- | deferred_const2.adb | 203 | logplain |
| -rw-r--r-- | deferred_const2_pkg.adb | 201 | logplain |
| -rw-r--r-- | deferred_const2_pkg.ads | 224 | logplain |
| -rw-r--r-- | deferred_const3.adb | 344 | logplain |
| -rw-r--r-- | deferred_const3_pkg.adb | 342 | logplain |
| -rw-r--r-- | deferred_const3_pkg.ads | 356 | logplain |
| -rw-r--r-- | deferred_const4.adb | 174 | logplain |
| -rw-r--r-- | deferred_const4.ads | 279 | logplain |
| -rw-r--r-- | deferred_const4_pkg.ads | 347 | logplain |
| -rw-r--r-- | deques.ads | 400 | logplain |
| -rw-r--r-- | deref1.ads | 104 | logplain |
| -rw-r--r-- | deref2.ads | 344 | logplain |
| -rw-r--r-- | deref3.adb | 172 | logplain |
| -rw-r--r-- | derived_aggregate.adb | 666 | logplain |
| -rw-r--r-- | derived_type1.adb | 601 | logplain |
| -rw-r--r-- | derived_type2.adb | 633 | logplain |
| -rw-r--r-- | derived_type3.adb | 124 | logplain |
| -rw-r--r-- | derived_type3_pkg.adb | 1048 | logplain |
| -rw-r--r-- | derived_type3_pkg.ads | 94 | logplain |
| -rw-r--r-- | derived_type4.adb | 288 | logplain |
| -rw-r--r-- | dg.exp | 1096 | logplain |
| -rw-r--r-- | discr1.ads | 466 | logplain |
| -rw-r--r-- | discr10.adb | 146 | logplain |
| -rw-r--r-- | discr10.ads | 516 | logplain |
| -rw-r--r-- | discr11.adb | 164 | logplain |
| -rw-r--r-- | discr11.ads | 174 | logplain |
| -rw-r--r-- | discr11_pkg.ads | 213 | logplain |
| -rw-r--r-- | discr12.adb | 565 | logplain |
| -rw-r--r-- | discr12_pkg.ads | 89 | logplain |
| -rw-r--r-- | discr13.adb | 607 | logplain |
| -rw-r--r-- | discr14.adb | 270 | logplain |
| -rw-r--r-- | discr14.ads | 1063 | logplain |
| -rw-r--r-- | discr15.adb | 312 | logplain |
| -rw-r--r-- | discr15_pkg.ads | 436 | logplain |
| -rw-r--r-- | discr16.adb | 404 | logplain |
| -rw-r--r-- | discr16_cont.ads | 105 | logplain |
| -rw-r--r-- | discr16_g.ads | 289 | logplain |
| -rw-r--r-- | discr16_pkg.ads | 165 | logplain |
| -rw-r--r-- | discr17.adb | 1085 | logplain |
| -rw-r--r-- | discr18.adb | 499 | logplain |
| -rw-r--r-- | discr18_pkg.ads | 470 | logplain |
| -rw-r--r-- | discr19.adb | 342 | logplain |
| -rw-r--r-- | discr2.adb | 372 | logplain |
| -rw-r--r-- | discr2.ads | 53 | logplain |
| -rw-r--r-- | discr20.adb | 141 | logplain |
| -rw-r--r-- | discr20.ads | 605 | logplain |
| -rw-r--r-- | discr21.adb | 584 | logplain |
| -rw-r--r-- | discr21.ads | 52 | logplain |
| -rw-r--r-- | discr21_pkg.ads | 351 | logplain |
| -rw-r--r-- | discr22.adb | 404 | logplain |
| -rw-r--r-- | discr23.adb | 280 | logplain |
| -rw-r--r-- | discr23.ads | 53 | logplain |
| -rw-r--r-- | discr23_pkg.ads | 221 | logplain |
| -rw-r--r-- | discr24.adb | 1192 | logplain |
| -rw-r--r-- | discr25.adb | 140 | logplain |
| -rw-r--r-- | discr25_pkg.adb | 463 | logplain |
| -rw-r--r-- | discr25_pkg.ads | 195 | logplain |
| -rw-r--r-- | discr26.adb | 258 | logplain |
| -rw-r--r-- | discr26.ads | 245 | logplain |
| -rw-r--r-- | discr26_pkg.ads | 71 | logplain |
| -rw-r--r-- | discr27.adb | 605 | logplain |
| -rw-r--r-- | discr27.ads | 53 | logplain |
| -rw-r--r-- | discr28.adb | 307 | logplain |
| -rw-r--r-- | discr28.ads | 337 | logplain |
| -rw-r--r-- | discr28_pkg.ads | 71 | logplain |
| -rw-r--r-- | discr29.adb | 139 | logplain |
| -rw-r--r-- | discr29.ads | 420 | logplain |
| -rw-r--r-- | discr3.ads | 299 | logplain |
| -rw-r--r-- | discr30.adb | 1194 | logplain |
| -rw-r--r-- | discr31.adb | 226 | logplain |
| -rw-r--r-- | discr31.ads | 370 | logplain |
| -rw-r--r-- | discr32.adb | 327 | logplain |
| -rw-r--r-- | discr32_pkg.ads | 472 | logplain |
| -rw-r--r-- | discr33.adb | 610 | logplain |
| -rw-r--r-- | discr34.adb | 121 | logplain |
| -rw-r--r-- | discr34_pkg.ads | 271 | logplain |
| -rw-r--r-- | discr35.adb | 215 | logplain |
| -rw-r--r-- | discr35.ads | 361 | logplain |
| -rw-r--r-- | discr36.adb | 298 | logplain |
| -rw-r--r-- | discr36.ads | 206 | logplain |
| -rw-r--r-- | discr36_pkg.adb | 151 | logplain |
| -rw-r--r-- | discr36_pkg.ads | 101 | logplain |
| -rw-r--r-- | discr37.adb | 217 | logplain |
| -rw-r--r-- | discr37.ads | 463 | logplain |
| -rw-r--r-- | discr38.adb | 941 | logplain |
| -rw-r--r-- | discr39.adb | 456 | logplain |
| -rw-r--r-- | discr4.adb | 894 | logplain |
| -rw-r--r-- | discr40.adb | 231 | logplain |
| -rw-r--r-- | discr40.ads | 719 | logplain |
| -rw-r--r-- | discr41.adb | 168 | logplain |
| -rw-r--r-- | discr41.ads | 437 | logplain |
| -rw-r--r-- | discr42.adb | 265 | logplain |
| -rw-r--r-- | discr42_pkg.adb | 255 | logplain |
| -rw-r--r-- | discr42_pkg.ads | 249 | logplain |
| -rw-r--r-- | discr43.adb | 382 | logplain |
| -rw-r--r-- | discr5.adb | 323 | logplain |
| -rw-r--r-- | discr7.adb | 436 | logplain |
| -rw-r--r-- | discr8.adb | 636 | logplain |
| -rw-r--r-- | discr8.ads | 350 | logplain |
| -rw-r--r-- | discr8_pkg1.ads | 203 | logplain |
| -rw-r--r-- | discr8_pkg2.ads | 236 | logplain |
| -rw-r--r-- | discr8_pkg3.ads | 73 | logplain |
| -rw-r--r-- | discr9.adb | 188 | logplain |
| -rw-r--r-- | discr9.ads | 475 | logplain |
| -rw-r--r-- | discr_range_check.adb | 415 | logplain |
| -rw-r--r-- | discr_test.adb | 437 | logplain |
| -rw-r--r-- | discr_test2.adb | 381 | logplain |
| -rw-r--r-- | dispatch1.adb | 168 | logplain |
| -rw-r--r-- | dispatch1_p.ads | 95 | logplain |
| -rw-r--r-- | dispatch2.adb | 199 | logplain |
| -rw-r--r-- | dispatch2_p.adb | 152 | logplain |
| -rw-r--r-- | dispatch2_p.ads | 260 | logplain |
| -rw-r--r-- | div_no_warning.adb | 293 | logplain |
| -rw-r--r-- | dse_step.adb | 361 | logplain |
| -rw-r--r-- | dse_step.ads | 411 | logplain |
| -rw-r--r-- | dynamic_bound.adb | 529 | logplain |
| -rw-r--r-- | dynamic_elab1.adb | 271 | logplain |
| -rw-r--r-- | dynamic_elab1.ads | 198 | logplain |
| -rw-r--r-- | dynamic_elab2.adb | 271 | logplain |
| -rw-r--r-- | dynamic_elab2.ads | 215 | logplain |
| -rw-r--r-- | dynamic_elab_pkg.ads | 153 | logplain |
| -rw-r--r-- | elab1.ads | 474 | logplain |
| -rw-r--r-- | elab2.adb | 123 | logplain |
| -rw-r--r-- | elim1.adb | 83 | logplain |
| -rw-r--r-- | elim1.ads | 111 | logplain |
| -rw-r--r-- | elim2.adb | 70 | logplain |
| -rw-r--r-- | empty_vector_length.adb | 395 | logplain |
| -rw-r--r-- | enclosing_record_reference.adb | 888 | logplain |
| -rw-r--r-- | enclosing_record_reference.ads | 618 | logplain |
| -rw-r--r-- | entry_queues.adb | 1078 | logplain |
| -rw-r--r-- | entry_queues2.adb | 834 | logplain |
| -rw-r--r-- | entry_queues3.adb | 480 | logplain |
| -rw-r--r-- | enum1.adb | 247 | logplain |
| -rw-r--r-- | enum1_pkg.ads | 128 | logplain |
| -rw-r--r-- | enum2.adb | 274 | logplain |
| -rw-r--r-- | enum2_pkg.ads | 237 | logplain |
| -rw-r--r-- | enum3.adb | 522 | logplain |
| -rw-r--r-- | env_compile_capacity.adb | 957 | logplain |
| -rw-r--r-- | env_compile_capacity.ads | 60 | logplain |
| -rw-r--r-- | equal1.ads | 286 | logplain |
| -rw-r--r-- | equal_access.adb | 142 | logplain |
| -rw-r--r-- | exp0_eval.adb | 620 | logplain |
| -rw-r--r-- | expect1.adb | 300 | logplain |
| -rw-r--r-- | ext1.ads | 377 | logplain |
| -rw-r--r-- | fatp_sra.adb | 234 | logplain |
| -rw-r--r-- | finalized.adb | 220 | logplain |
| -rw-r--r-- | fixce.adb | 322 | logplain |
| -rw-r--r-- | fixedpnt.adb | 186 | logplain |
| -rw-r--r-- | forward_anon.adb | 151 | logplain |
| -rw-r--r-- | forward_anon.ads | 266 | logplain |
| -rw-r--r-- | forward_vla.adb | 419 | logplain |
| -rw-r--r-- | fp_exception.adb | 518 | logplain |
| -rw-r--r-- | frame_overflow.adb | 558 | logplain |
| -rw-r--r-- | frame_overflow.ads | 423 | logplain |
| -rw-r--r-- | frunaligned.adb | 159 | logplain |
| -rw-r--r-- | frunaligned1.ads | 260 | logplain |
| -rw-r--r-- | g_tables.adb | 175 | logplain |
| -rw-r--r-- | g_tables.ads | 225 | logplain |
| -rw-r--r-- | gen_disp.adb | 1375 | logplain |
| -rw-r--r-- | gen_disp.ads | 299 | logplain |
| -rw-r--r-- | generic_dispatch.adb | 236 | logplain |
| -rw-r--r-- | generic_dispatch_p.adb | 166 | logplain |
| -rw-r--r-- | generic_dispatch_p.ads | 525 | logplain |
| -rw-r--r-- | gnat_malloc.adb | 422 | logplain |
| -rw-r--r-- | gnatg.adb | 305 | logplain |
| -rw-r--r-- | graphic.adb | 538 | logplain |
| -rw-r--r-- | graphic.ads | 216 | logplain |
| -rw-r--r-- | handle_and_return.adb | 282 | logplain |
| -rw-r--r-- | handle_raise_from_pure.adb | 270 | logplain |
| -rw-r--r-- | hyper_flat.adb | 312 | logplain |
| -rw-r--r-- | ice_type.adb | 187 | logplain |
| -rw-r--r-- | ice_types.ads | 150 | logplain |
| -rw-r--r-- | iface1.ads | 408 | logplain |
| -rw-r--r-- | iface2.adb | 140 | logplain |
| -rw-r--r-- | iface2.ads | 144 | logplain |
| -rw-r--r-- | iface_test.adb | 689 | logplain |
| -rw-r--r-- | iface_test.ads | 450 | logplain |
| -rw-r--r-- | ifaces.adb | 157 | logplain |
| -rw-r--r-- | ifaces.ads | 401 | logplain |
| -rw-r--r-- | import1.adb | 340 | logplain |
| -rw-r--r-- | import1.ads | 124 | logplain |
| -rw-r--r-- | in_mod_conv.adb | 558 | logplain |
| -rw-r--r-- | in_out_parameter.adb | 799 | logplain |
| -rw-r--r-- | in_out_parameter2.adb | 364 | logplain |
| -rw-r--r-- | in_out_parameter3.adb | 726 | logplain |
| -rw-r--r-- | in_out_parameter4.adb | 574 | logplain |
| -rw-r--r-- | include.adb | 128 | logplain |
| -rw-r--r-- | incomplete1.ads | 66 | logplain |
| -rw-r--r-- | incomplete2.adb | 134 | logplain |
| -rw-r--r-- | incomplete2.ads | 223 | logplain |
| -rw-r--r-- | incomplete3.adb | 343 | logplain |
| -rw-r--r-- | incomplete3.ads | 486 | logplain |
| -rw-r--r-- | init_scalar1.adb | 405 | logplain |
| -rw-r--r-- | inline1.adb | 177 | logplain |
| -rw-r--r-- | inline10.adb | 144 | logplain |
| -rw-r--r-- | inline10_pkg.adb | 360 | logplain |
| -rw-r--r-- | inline10_pkg.ads | 100 | logplain |
| -rw-r--r-- | inline11.adb | 145 | logplain |
| -rw-r--r-- | inline11_pkg.adb | 245 | logplain |
| -rw-r--r-- | inline11_pkg.ads | 102 | logplain |
| -rw-r--r-- | inline1_pkg.adb | 1032 | logplain |
| -rw-r--r-- | inline1_pkg.ads | 216 | logplain |
| -rw-r--r-- | inline2.adb | 216 | logplain |
| -rw-r--r-- | inline2_pkg.adb | 1032 | logplain |
| -rw-r--r-- | inline2_pkg.ads | 202 | logplain |
| -rw-r--r-- | inline3.adb | 225 | logplain |
| -rw-r--r-- | inline3_pkg.adb | 247 | logplain |
| -rw-r--r-- | inline3_pkg.ads | 105 | logplain |
| -rw-r--r-- | inline4.adb | 102 | logplain |
| -rw-r--r-- | inline4_pkg.adb | 276 | logplain |
| -rw-r--r-- | inline4_pkg.ads | 105 | logplain |
| -rw-r--r-- | inline5.adb | 261 | logplain |
| -rw-r--r-- | inline5_pkg.adb | 246 | logplain |
| -rw-r--r-- | inline5_pkg.ads | 98 | logplain |
| -rw-r--r-- | inline6.adb | 141 | logplain |
| -rw-r--r-- | inline6_pkg.adb | 269 | logplain |
| -rw-r--r-- | inline6_pkg.ads | 98 | logplain |
| -rw-r--r-- | inline7.adb | 263 | logplain |
| -rw-r--r-- | inline7_pkg1.adb | 227 | logplain |
| -rw-r--r-- | inline7_pkg1.ads | 100 | logplain |
| -rw-r--r-- | inline7_pkg2.adb | 130 | logplain |
| -rw-r--r-- | inline7_pkg2.ads | 117 | logplain |
| -rw-r--r-- | inline8.adb | 143 | logplain |
| -rw-r--r-- | inline8_pkg1.adb | 250 | logplain |
| -rw-r--r-- | inline8_pkg1.ads | 100 | logplain |
| -rw-r--r-- | inline8_pkg2.adb | 130 | logplain |
| -rw-r--r-- | inline8_pkg2.ads | 117 | logplain |
| -rw-r--r-- | inline9.adb | 261 | logplain |
| -rw-r--r-- | inline9_pkg.adb | 335 | logplain |
| -rw-r--r-- | inline9_pkg.ads | 98 | logplain |
| -rw-r--r-- | inline_scope.adb | 362 | logplain |
| -rw-r--r-- | inline_scope_p.adb | 174 | logplain |
| -rw-r--r-- | inline_scope_p.ads | 116 | logplain |
| -rw-r--r-- | inline_tagged.adb | 935 | logplain |
| -rw-r--r-- | interface1.adb | 481 | logplain |
| -rw-r--r-- | interface2.adb | 490 | logplain |
| -rw-r--r-- | interface3.adb | 709 | logplain |
| -rw-r--r-- | interface4.adb | 279 | logplain |
| -rw-r--r-- | interface5.adb | 186 | logplain |
| -rw-r--r-- | interface5.ads | 258 | logplain |
| -rw-r--r-- | interface_conv.adb | 381 | logplain |
| -rw-r--r-- | invalid1.adb | 1084 | logplain |
| -rw-r--r-- | invariant_index.adb | 337 | logplain |
| -rw-r--r-- | invariant_index.ads | 142 | logplain |
| -rw-r--r-- | iprot_test.adb | 772 | logplain |
| -rw-r--r-- | itype.adb | 161 | logplain |
| -rw-r--r-- | itype.ads | 113 | logplain |
| -rw-r--r-- | itypes.adb | 519 | logplain |
| -rw-r--r-- | itypes.ads | 45 | logplain |
| -rw-r--r-- | kill_value.adb | 368 | logplain |
| -rw-r--r-- | late_overriding.adb | 401 | logplain |
| -rw-r--r-- | layered_abstraction.adb | 442 | logplain |
| -rw-r--r-- | layered_abstraction.ads | 626 | logplain |
| -rw-r--r-- | layered_abstraction_p.ads | 108 | logplain |
| -rw-r--r-- | layered_instance.adb | 305 | logplain |
| -rw-r--r-- | lhs_view_convert.adb | 544 | logplain |
| -rw-r--r-- | limited_with.adb | 170 | logplain |
| -rw-r--r-- | limited_with.ads | 120 | logplain |
| -rw-r--r-- | limited_with2.adb | 200 | logplain |
| -rw-r--r-- | limited_with2.ads | 207 | logplain |
| -rw-r--r-- | limited_with2_pkg1.ads | 170 | logplain |
| -rw-r--r-- | limited_with2_pkg2.ads | 145 | logplain |
| -rw-r--r-- | limited_with3.adb | 137 | logplain |
| -rw-r--r-- | limited_with3.ads | 298 | logplain |
| -rw-r--r-- | limited_with3_pkg1.adb | 467 | logplain |
| -rw-r--r-- | limited_with3_pkg1.ads | 788 | logplain |
| -rw-r--r-- | limited_with3_pkg2.ads | 181 | logplain |
| -rw-r--r-- | limited_with3_pkg3.ads | 246 | logplain |
| -rw-r--r-- | loop_address.adb | 487 | logplain |
| -rw-r--r-- | loop_address2.adb | 534 | logplain |
| -rw-r--r-- | loop_boolean.adb | 276 | logplain |
| -rw-r--r-- | loop_bound.adb | 623 | logplain |
| -rw-r--r-- | loop_optimization1.adb | 632 | logplain |
| -rw-r--r-- | loop_optimization1.ads | 846 | logplain |
| -rw-r--r-- | loop_optimization10.adb | 418 | logplain |
| -rw-r--r-- | loop_optimization10.ads | 360 | logplain |
| -rw-r--r-- | loop_optimization10_pkg.ads | 250 | logplain |
| -rw-r--r-- | loop_optimization11.adb | 468 | logplain |
| -rw-r--r-- | loop_optimization11_pkg.ads | 276 | logplain |
| -rw-r--r-- | loop_optimization12.adb | 618 | logplain |
| -rw-r--r-- | loop_optimization12.ads | 554 | logplain |
| -rw-r--r-- | loop_optimization13.adb | 537 | logplain |
| -rw-r--r-- | loop_optimization13.ads | 451 | logplain |
| -rw-r--r-- | loop_optimization13_pkg.ads | 82 | logplain |
| -rw-r--r-- | loop_optimization14.adb | 554 | logplain |
| -rw-r--r-- | loop_optimization14.ads | 209 | logplain |
| -rw-r--r-- | loop_optimization14_pkg.ads | 106 | logplain |
| -rw-r--r-- | loop_optimization15.adb | 459 | logplain |
| -rw-r--r-- | loop_optimization15.ads | 181 | logplain |
| -rw-r--r-- | loop_optimization16.adb | 450 | logplain |
| -rw-r--r-- | loop_optimization16_pkg.adb | 155 | logplain |
| -rw-r--r-- | loop_optimization16_pkg.ads | 133 | logplain |
| -rw-r--r-- | loop_optimization17.adb | 438 | logplain |
| -rw-r--r-- | loop_optimization17_pkg.adb | 135 | logplain |
| -rw-r--r-- | loop_optimization17_pkg.ads | 611 | logplain |
| -rw-r--r-- | loop_optimization18.adb | 291 | logplain |
| -rw-r--r-- | loop_optimization18.ads | 165 | logplain |
| -rw-r--r-- | loop_optimization18_pkg.ads | 345 | logplain |
| -rw-r--r-- | loop_optimization2.adb | 1253 | logplain |
| -rw-r--r-- | loop_optimization2.ads | 1180 | logplain |
| -rw-r--r-- | loop_optimization3.adb | 315 | logplain |
| -rw-r--r-- | loop_optimization3_pkg.adb | 143 | logplain |
| -rw-r--r-- | loop_optimization3_pkg.ads | 107 | logplain |
| -rw-r--r-- | loop_optimization4.adb | 162 | logplain |
| -rw-r--r-- | loop_optimization4_pkg.adb | 461 | logplain |
| -rw-r--r-- | loop_optimization4_pkg.ads | 265 | logplain |
| -rw-r--r-- | loop_optimization5.adb | 579 | logplain |
| -rw-r--r-- | loop_optimization5_pkg.ads | 191 | logplain |
| -rw-r--r-- | loop_optimization6.adb | 433 | logplain |
| -rw-r--r-- | loop_optimization6.ads | 92 | logplain |
| -rw-r--r-- | loop_optimization7.adb | 334 | logplain |
| -rw-r--r-- | loop_optimization7.ads | 191 | logplain |
| -rw-r--r-- | loop_optimization7_pkg.ads | 171 | logplain |
| -rw-r--r-- | loop_optimization8.adb | 597 | logplain |
| -rw-r--r-- | loop_optimization8_pkg1.adb | 381 | logplain |
| -rw-r--r-- | loop_optimization8_pkg1.ads | 468 | logplain |
| -rw-r--r-- | loop_optimization8_pkg2.adb | 285 | logplain |
| -rw-r--r-- | loop_optimization8_pkg2.ads | 392 | logplain |
| -rw-r--r-- | loop_optimization9.adb | 3357 | logplain |
| -rw-r--r-- | loop_optimization9.ads | 432 | logplain |
| -rw-r--r-- | loop_unchecked_conversion.adb | 714 | logplain |
| -rw-r--r-- | loop_unchecked_conversion.ads | 90 | logplain |
| -rw-r--r-- | lto1.adb | 256 | logplain |
| -rw-r--r-- | lto10.adb | 252 | logplain |
| -rw-r--r-- | lto10_pkg.ads | 329 | logplain |
| -rw-r--r-- | lto11.adb | 459 | logplain |
| -rw-r--r-- | lto11.ads | 198 | logplain |
| -rw-r--r-- | lto13.adb | 133 | logplain |
| -rw-r--r-- | lto13_pkg.adb | 132 | logplain |
| -rw-r--r-- | lto13_pkg.ads | 76 | logplain |
| -rw-r--r-- | lto14.adb | 177 | logplain |
| -rw-r--r-- | lto15.adb | 221 | logplain |
| -rw-r--r-- | lto15.ads | 207 | logplain |
| -rw-r--r-- | lto16.adb | 312 | logplain |
| -rw-r--r-- | lto16_pkg.adb | 338 | logplain |
| -rw-r--r-- | lto16_pkg.ads | 65 | logplain |
| -rw-r--r-- | lto17.adb | 252 | logplain |
| -rw-r--r-- | lto17.ads | 446 | logplain |
| -rw-r--r-- | lto1_pkg.adb | 570 | logplain |
| -rw-r--r-- | lto1_pkg.ads | 737 | logplain |
| -rw-r--r-- | lto2.adb | 589 | logplain |
| -rw-r--r-- | lto4.adb | 281 | logplain |
| -rw-r--r-- | lto4.ads | 581 | logplain |
| -rw-r--r-- | lto5.adb | 113 | logplain |
| -rw-r--r-- | lto5_pkg.adb | 85 | logplain |
| -rw-r--r-- | lto5_pkg.ads | 108 | logplain |
| -rw-r--r-- | lto6.adb | 284 | logplain |
| -rw-r--r-- | lto6_pkg.ads | 235 | logplain |
| -rw-r--r-- | lto7.adb | 253 | logplain |
| -rw-r--r-- | lto7_pkg.adb | 143 | logplain |
| -rw-r--r-- | lto7_pkg.ads | 390 | logplain |
| -rw-r--r-- | lto8.adb | 382 | logplain |
| -rw-r--r-- | lto8_pkg.adb | 183 | logplain |
| -rw-r--r-- | lto8_pkg.ads | 480 | logplain |
| -rw-r--r-- | lto9.adb | 267 | logplain |
| -rw-r--r-- | lto9_pkg1.ads | 623 | logplain |
| -rw-r--r-- | lto9_pkg2.adb | 249 | logplain |
| -rw-r--r-- | lto9_pkg2.ads | 482 | logplain |
| -rw-r--r-- | machine_code1.adb | 308 | logplain |
| -rw-r--r-- | max_align.adb | 256 | logplain |
| -rw-r--r-- | md5_test.adb | 379 | logplain |
| -rw-r--r-- | memtrap.adb | 273 | logplain |
| -rw-r--r-- | misaligned_nest.adb | 387 | logplain |
| -rw-r--r-- | misaligned_param.adb | 633 | logplain |
| -rw-r--r-- | misaligned_param_pkg.adb | 305 | logplain |
| -rw-r--r-- | misaligned_param_pkg.ads | 108 | logplain |
| -rw-r--r-- | misaligned_volatile.adb | 526 | logplain |
| -rw-r--r-- | missing_acc_check.adb | 807 | logplain |
| -rw-r--r-- | modify_a_constant.adb | 566 | logplain |
| -rw-r--r-- | modular1.adb | 424 | logplain |
| -rw-r--r-- | modular2.adb | 113 | logplain |
| -rw-r--r-- | modular3.adb | 454 | logplain |
| -rw-r--r-- | modular3_pkg.ads | 239 | logplain |
| -rw-r--r-- | modular4.adb | 185 | logplain |
| -rw-r--r-- | modular4_pkg.ads | 130 | logplain |
| -rw-r--r-- | mutable1.adb | 668 | logplain |
| -rw-r--r-- | my_env_versioned_value_set_g.ads | 201 | logplain |
| -rw-r--r-- | named_test.adb | 559 | logplain |
| -rw-r--r-- | namet.ads | 196 | logplain |
| -rw-r--r-- | nan_max.adb | 528 | logplain |
| -rw-r--r-- | nat1.ads | 162 | logplain |
| -rw-r--r-- | nat1r.adb | 221 | logplain |
| -rw-r--r-- | nested_agg_bitfield_constructor.adb | 693 | logplain |
| -rw-r--r-- | nested_controlled_alloc.adb | 1021 | logplain |
| -rw-r--r-- | nested_float_packed.ads | 438 | logplain |
| -rw-r--r-- | nested_generic1.adb | 212 | logplain |
| -rw-r--r-- | nested_generic1_pkg.adb | 229 | logplain |
| -rw-r--r-- | nested_generic1_pkg.ads | 191 | logplain |
| -rw-r--r-- | nested_proc1.adb | 567 | logplain |
| -rw-r--r-- | nested_proc2.adb | 443 | logplain |
| -rw-r--r-- | nested_return_test.adb | 892 | logplain |
| -rw-r--r-- | nested_subtype_byref.adb | 398 | logplain |
| -rw-r--r-- | nested_subtype_byref.ads | 58 | logplain |
| -rw-r--r-- | no_exc_prop.adb | 327 | logplain |
| -rw-r--r-- | no_exc_prop.ads | 233 | logplain |
| -rw-r--r-- | no_final.adb | 564 | logplain |
| -rw-r--r-- | noinline2.adb | 455 | logplain |
| -rw-r--r-- | noinline2.ads | 84 | logplain |
| -rw-r--r-- | noreturn1.adb | 330 | logplain |
| -rw-r--r-- | noreturn1.ads | 159 | logplain |
| -rw-r--r-- | noreturn2.adb | 599 | logplain |
| -rw-r--r-- | noreturn2.ads | 166 | logplain |
| -rw-r--r-- | noreturn3.adb | 533 | logplain |
| -rw-r--r-- | noreturn3.ads | 227 | logplain |
| -rw-r--r-- | noreturn4.adb | 348 | logplain |
| -rw-r--r-- | noreturn4.ads | 214 | logplain |
| -rw-r--r-- | noreturn4_pkg.ads | 410 | logplain |
| -rw-r--r-- | noreturn5.adb | 644 | logplain |
| -rw-r--r-- | noreturn5.ads | 132 | logplain |
| -rw-r--r-- | not_null.adb | 487 | logplain |
| -rw-r--r-- | notnot.adb | 201 | logplain |
| -rw-r--r-- | null_pointer_deref1.adb | 525 | logplain |
| -rw-r--r-- | null_pointer_deref2.adb | 611 | logplain |
| -rw-r--r-- | null_pointer_deref3.adb | 549 | logplain |
| -rw-r--r-- | oalign1.ads | 108 | logplain |
| -rw-r--r-- | oalign2.ads | 108 | logplain |
| -rw-r--r-- | object_overflow1.adb | 245 | logplain |
| -rw-r--r-- | object_overflow2.adb | 255 | logplain |
| -rw-r--r-- | object_overflow3.adb | 322 | logplain |
| -rw-r--r-- | object_overflow4.adb | 424 | logplain |
| -rw-r--r-- | object_overflow5.adb | 430 | logplain |
| -rw-r--r-- | oconst1.adb | 300 | logplain |
| -rw-r--r-- | oconst1.ads | 382 | logplain |
| -rw-r--r-- | oconst2.adb | 241 | logplain |
| -rw-r--r-- | oconst2.ads | 351 | logplain |
| -rw-r--r-- | oconst3.adb | 269 | logplain |
| -rw-r--r-- | oconst3.ads | 426 | logplain |
| -rw-r--r-- | oconst4.adb | 519 | logplain |
| -rw-r--r-- | oconst4.ads | 1375 | logplain |
| -rw-r--r-- | oconst5.adb | 299 | logplain |
| -rw-r--r-- | oconst5.ads | 522 | logplain |
| -rw-r--r-- | old_errors.ads | 66 | logplain |
| -rw-r--r-- | opt1.adb | 644 | logplain |
| -rw-r--r-- | opt1.ads | 310 | logplain |
| -rw-r--r-- | opt10.adb | 477 | logplain |
| -rw-r--r-- | opt10_pkg.ads | 297 | logplain |
| -rw-r--r-- | opt11.adb | 160 | logplain |
| -rw-r--r-- | opt11.ads | 316 | logplain |
| -rw-r--r-- | opt12.adb | 288 | logplain |
| -rw-r--r-- | opt12_pkg.adb | 149 | logplain |
| -rw-r--r-- | opt12_pkg.ads | 245 | logplain |
| -rw-r--r-- | opt13.adb | 186 | logplain |
| -rw-r--r-- | opt13_pkg.adb | 587 | logplain |
| -rw-r--r-- | opt13_pkg.ads | 192 | logplain |
| -rw-r--r-- | opt14.adb | 364 | logplain |
| -rw-r--r-- | opt15.adb | 221 | logplain |
| -rw-r--r-- | opt15_pkg.adb | 184 | logplain |
| -rw-r--r-- | opt15_pkg.ads | 98 | logplain |
| -rw-r--r-- | opt16.adb | 723 | logplain |
| -rw-r--r-- | opt17.adb | 196 | logplain |
| -rw-r--r-- | opt17.ads | 89 | logplain |
| -rw-r--r-- | opt18.adb | 986 | logplain |
| -rw-r--r-- | opt18.ads | 642 | logplain |
| -rw-r--r-- | opt18_pkg.ads | 529 | logplain |
| -rw-r--r-- | opt19.adb | 477 | logplain |
| -rw-r--r-- | opt2.adb | 564 | logplain |
| -rw-r--r-- | opt20.adb | 504 | logplain |
| -rw-r--r-- | opt20.ads | 114 | logplain |
| -rw-r--r-- | opt20_pkg.ads | 263 | logplain |
| -rw-r--r-- | opt21.adb | 167 | logplain |
| -rw-r--r-- | opt21_pkg.adb | 352 | logplain |
| -rw-r--r-- | opt21_pkg.ads | 298 | logplain |
| -rw-r--r-- | opt22.adb | 301 | logplain |
| -rw-r--r-- | opt22_pkg.adb | 239 | logplain |
| -rw-r--r-- | opt22_pkg.ads | 89 | logplain |
| -rw-r--r-- | opt23.adb | 355 | logplain |
| -rw-r--r-- | opt23.ads | 97 | logplain |
| -rw-r--r-- | opt23_pkg.adb | 156 | logplain |
| -rw-r--r-- | opt23_pkg.ads | 654 | logplain |
| -rw-r--r-- | opt24.adb | 307 | logplain |
| -rw-r--r-- | opt24.ads | 97 | logplain |
| -rw-r--r-- | opt25.adb | 354 | logplain |
| -rw-r--r-- | opt25_pkg1.adb | 156 | logplain |
| -rw-r--r-- | opt25_pkg1.ads | 154 | logplain |
| -rw-r--r-- | opt25_pkg2.adb | 150 | logplain |
| -rw-r--r-- | opt25_pkg2.ads | 379 | logplain |
| -rw-r--r-- | opt26.adb | 715 | logplain |
| -rw-r--r-- | opt27.adb | 596 | logplain |
| -rw-r--r-- | opt27_pkg.adb | 802 | logplain |
| -rw-r--r-- | opt27_pkg.ads | 662 | logplain |
| -rw-r--r-- | opt28.adb | 841 | logplain |
| -rw-r--r-- | opt28.ads | 136 | logplain |
| -rw-r--r-- | opt28_pkg.ads | 397 | logplain |
| -rw-r--r-- | opt29.adb | 222 | logplain |
| -rw-r--r-- | opt29.ads | 493 | logplain |
| -rw-r--r-- | opt3.adb | 230 | logplain |
| -rw-r--r-- | opt30.adb | 418 | logplain |
| -rw-r--r-- | opt31.adb | 924 | logplain |
| -rw-r--r-- | opt32.adb | 745 | logplain |
| -rw-r--r-- | opt33.adb | 813 | logplain |
| -rw-r--r-- | opt34.adb | 608 | logplain |
| -rw-r--r-- | opt34_pkg.ads | 310 | logplain |
| -rw-r--r-- | opt35.adb | 347 | logplain |
| -rw-r--r-- | opt35_pkg.adb | 164 | logplain |
| -rw-r--r-- | opt35_pkg.ads | 115 | logplain |
| -rw-r--r-- | opt36.adb | 354 | logplain |
| -rw-r--r-- | opt37.adb | 1075 | logplain |
| -rw-r--r-- | opt37.ads | 493 | logplain |
| -rw-r--r-- | opt38.adb | 124 | logplain |
| -rw-r--r-- | opt38_pkg.adb | 482 | logplain |
| -rw-r--r-- | opt38_pkg.ads | 70 | logplain |
| -rw-r--r-- | opt39.adb | 533 | logplain |
| -rw-r--r-- | opt3_pkg.ads | 71 | logplain |
| -rw-r--r-- | opt4.adb | 303 | logplain |
| -rw-r--r-- | opt40.adb | 330 | logplain |
| -rw-r--r-- | opt41.adb | 396 | logplain |
| -rw-r--r-- | opt41_pkg.adb | 1602 | logplain |
| -rw-r--r-- | opt41_pkg.ads | 682 | logplain |
| -rw-r--r-- | opt42.adb | 573 | logplain |
| -rw-r--r-- | opt42.ads | 235 | logplain |
| -rw-r--r-- | opt43.adb | 280 | logplain |
| -rw-r--r-- | opt44.adb | 411 | logplain |
| -rw-r--r-- | opt44.ads | 172 | logplain |
| -rw-r--r-- | opt45.adb | 851 | logplain |
| -rw-r--r-- | opt46.adb | 1099 | logplain |
| -rw-r--r-- | opt46.ads | 282 | logplain |
| -rw-r--r-- | opt46_pkg.adb | 170 | logplain |
| -rw-r--r-- | opt46_pkg.ads | 679 | logplain |
| -rw-r--r-- | opt47.adb | 932 | logplain |
| -rw-r--r-- | opt48.adb | 217 | logplain |
| -rw-r--r-- | opt48_pkg1.adb | 265 | logplain |
| -rw-r--r-- | opt48_pkg1.ads | 104 | logplain |
| -rw-r--r-- | opt48_pkg2.adb | 127 | logplain |
| -rw-r--r-- | opt48_pkg2.ads | 162 | logplain |
| -rw-r--r-- | opt5.adb | 368 | logplain |
| -rw-r--r-- | opt6.adb | 600 | logplain |
| -rw-r--r-- | opt6.ads | 389 | logplain |
| -rw-r--r-- | opt7.adb | 1248 | logplain |
| -rw-r--r-- | opt7.ads | 291 | logplain |
| -rw-r--r-- | opt7_pkg.ads | 68 | logplain |
| -rw-r--r-- | opt8.adb | 1350 | logplain |
| -rw-r--r-- | opt8.ads | 1247 | logplain |
| -rw-r--r-- | opt8_pkg.ads | 123 | logplain |
| -rw-r--r-- | opt9.adb | 390 | logplain |
| -rw-r--r-- | opt9_pkg.ads | 57 | logplain |
| -rw-r--r-- | outer_agg_bitfield_constructor.adb | 845 | logplain |
| -rw-r--r-- | overflow_fixed.adb | 365 | logplain |
| -rw-r--r-- | overflow_sum.adb | 1822 | logplain |
| -rw-r--r-- | overflow_sum2.adb | 902 | logplain |
| -rw-r--r-- | overriding_ops.adb | 328 | logplain |
| -rw-r--r-- | overriding_ops.ads | 407 | logplain |
| -rw-r--r-- | overriding_ops_p.ads | 281 | logplain |
| -rw-r--r-- | pack1.ads | 126 | logplain |
| -rw-r--r-- | pack10.adb | 507 | logplain |
| -rw-r--r-- | pack11.adb | 387 | logplain |
| -rw-r--r-- | pack12.adb | 529 | logplain |
| -rw-r--r-- | pack13.adb | 191 | logplain |
| -rw-r--r-- | pack13.ads | 734 | logplain |
| -rw-r--r-- | pack13_pkg.ads | 223 | logplain |
| -rw-r--r-- | pack14.adb | 224 | logplain |
| -rw-r--r-- | pack15.adb | 134 | logplain |
| -rw-r--r-- | pack15.ads | 383 | logplain |
| -rw-r--r-- | pack16.adb | 471 | logplain |
| -rw-r--r-- | pack16_pkg.ads | 62 | logplain |
| -rw-r--r-- | pack17.adb | 891 | logplain |
| -rw-r--r-- | pack18.adb | 220 | logplain |
| -rw-r--r-- | pack18_pkg.ads | 465 | logplain |
| -rw-r--r-- | pack19.adb | 1088 | logplain |
| -rw-r--r-- | pack2.adb | 376 | logplain |
| -rw-r--r-- | pack20.adb | 137 | logplain |
| -rw-r--r-- | pack20.ads | 240 | logplain |
| -rw-r--r-- | pack20_pkg.ads | 131 | logplain |
| -rw-r--r-- | pack3.adb | 532 | logplain |
| -rw-r--r-- | pack4.adb | 590 | logplain |
| -rw-r--r-- | pack5.adb | 508 | logplain |
| -rw-r--r-- | pack6.adb | 406 | logplain |
| -rw-r--r-- | pack7.adb | 397 | logplain |
| -rw-r--r-- | pack8.adb | 428 | logplain |
| -rw-r--r-- | pack9.adb | 387 | logplain |
| -rw-r--r-- | pack9.ads | 256 | logplain |
| -rw-r--r-- | packed_subtype.adb | 372 | logplain |
| -rw-r--r-- | pak.adb | 445 | logplain |
| -rw-r--r-- | pak.ads | 227 | logplain |
| -rw-r--r-- | parameterlessfunc.adb | 358 | logplain |
| -rw-r--r-- | parent_ltd_with-child_full_view.adb | 303 | logplain |
| -rw-r--r-- | parent_ltd_with-child_full_view.ads | 349 | logplain |
| -rw-r--r-- | parent_ltd_with.ads | 304 | logplain |
| -rw-r--r-- | pointer_array.adb | 230 | logplain |
| -rw-r--r-- | pointer_controlled.adb | 676 | logplain |
| -rw-r--r-- | pointer_conversion.adb | 429 | logplain |
| -rw-r--r-- | pointer_discr1.adb | 172 | logplain |
| -rw-r--r-- | pointer_discr1_pkg1.ads | 162 | logplain |
| -rw-r--r-- | pointer_discr1_pkg2.ads | 259 | logplain |
| -rw-r--r-- | pointer_discr1_pkg3.ads | 243 | logplain |
| -rw-r--r-- | pointer_protected.adb | 214 | logplain |
| -rw-r--r-- | pointer_protected_p.ads | 182 | logplain |
| -rw-r--r-- | pointer_variable_bounds.adb | 626 | logplain |
| -rw-r--r-- | pointer_variable_bounds.ads | 590 | logplain |
| -rw-r--r-- | pointer_variable_bounds_q.ads | 165 | logplain |
| -rw-r--r-- | prefix1.adb | 208 | logplain |
| -rw-r--r-- | prefix1.ads | 148 | logplain |
| -rw-r--r-- | prefix2.adb | 958 | logplain |
| -rw-r--r-- | prefix2.ads | 743 | logplain |
| -rw-r--r-- | profile_warning.adb | 59 | logplain |
| -rw-r--r-- | profile_warning.ads | 165 | logplain |
| -rw-r--r-- | profile_warning_p.adb | 283 | logplain |
| -rw-r--r-- | profile_warning_p.ads | 64 | logplain |
| -rw-r--r-- | prot1.adb | 443 | logplain |
| -rw-r--r-- | prot2.adb | 396 | logplain |
| -rw-r--r-- | prot2.ads | 50 | logplain |
| -rw-r--r-- | prot2_pkg1.ads | 72 | logplain |
| -rw-r--r-- | prot2_pkg2.adb | 395 | logplain |
| -rw-r--r-- | prot2_pkg2.ads | 216 | logplain |
| -rw-r--r-- | prot_def.adb | 809 | logplain |
| -rw-r--r-- | protected_self_ref1.adb | 450 | logplain |
| -rw-r--r-- | protected_self_ref2.adb | 314 | logplain |
| -rw-r--r-- | quote.adb | 162 | logplain |
| -rw-r--r-- | raise_ce.adb | 60 | logplain |
| -rw-r--r-- | raise_from_pure.adb | 197 | logplain |
| -rw-r--r-- | raise_from_pure.ads | 105 | logplain |
| -rw-r--r-- | range_check.adb | 320 | logplain |
| -rw-r--r-- | range_check2.adb | 334 | logplain |
| -rw-r--r-- | rational_arithmetic.ads | 1017 | logplain |
| -rw-r--r-- | recursive_call.adb | 248 | logplain |
| -rw-r--r-- | ref_type.adb | 209 | logplain |
| -rw-r--r-- | ref_type.ads | 103 | logplain |
| -rw-r--r-- | regpat1.adb | 241 | logplain |
| -rw-r--r-- | release_unc_maxalign.adb | 428 | logplain |
| -rw-r--r-- | remote_type.adb | 468 | logplain |
| -rw-r--r-- | remote_type.ads | 583 | logplain |
| -rw-r--r-- | renaming1.adb | 243 | logplain |
| -rw-r--r-- | renaming1.ads | 83 | logplain |
| -rw-r--r-- | renaming2.adb | 1705 | logplain |
| -rw-r--r-- | renaming3.adb | 213 | logplain |
| -rw-r--r-- | renaming4.ads | 342 | logplain |
| -rw-r--r-- | renaming5.adb | 576 | logplain |
| -rw-r--r-- | renaming5.ads | 57 | logplain |
| -rw-r--r-- | renaming6.adb | 561 | logplain |
| -rw-r--r-- | renaming6.ads | 238 | logplain |
| -rw-r--r-- | rep_clause1.adb | 2453 | logplain |
| -rw-r--r-- | rep_clause2.adb | 241 | logplain |
| -rw-r--r-- | rep_clause2.ads | 1081 | logplain |
| -rw-r--r-- | rep_clause3.adb | 867 | logplain |
| -rw-r--r-- | rep_clause4.adb | 615 | logplain |
| -rw-r--r-- | rep_clause5.adb | 1017 | logplain |
| -rw-r--r-- | rep_clause5.ads | 243 | logplain |
| -rw-r--r-- | rep_clause5_pkg.ads | 7321 | logplain |
| -rw-r--r-- | requeue1.adb | 953 | logplain |
| -rw-r--r-- | return1.adb | 268 | logplain |
| -rw-r--r-- | return1.ads | 238 | logplain |
| -rw-r--r-- | return2.adb | 722 | logplain |
| -rw-r--r-- | return2.ads | 349 | logplain |
| -rw-r--r-- | return2_pkg.ads | 133 | logplain |
| -rw-r--r-- | return3.adb | 162 | logplain |
| -rw-r--r-- | return4.adb | 335 | logplain |
| -rw-r--r-- | return4_pkg.adb | 178 | logplain |
| -rw-r--r-- | return4_pkg.ads | 151 | logplain |
| -rw-r--r-- | round_div.adb | 385 | logplain |
| -rw-r--r-- | rt1.adb | 180 | logplain |
| -rw-r--r-- | rt1.ads | 419 | logplain |
| -rw-r--r-- | scalar_mode_agg_compare.adb | 571 | logplain |
| -rw-r--r-- | scalar_mode_agg_compare_loop.adb | 404 | logplain |
| -rw-r--r-- | self.adb | 453 | logplain |
| -rw-r--r-- | self.ads | 574 | logplain |
| -rw-r--r-- | self1.adb | 480 | logplain |
| -rw-r--r-- | self_aggregate_with_array.adb | 396 | logplain |
| -rw-r--r-- | self_aggregate_with_call.adb | 579 | logplain |
| -rw-r--r-- | self_aggregate_with_pointer.adb | 484 | logplain |
| -rw-r--r-- | self_aggregate_with_zeros.adb | 382 | logplain |
| -rw-r--r-- | set_in_pproc.adb | 368 | logplain |
| -rw-r--r-- | show_deques_priority.adb | 168 | logplain |
| -rw-r--r-- | size_attribute.adb | 151 | logplain |
| -rw-r--r-- | sizetype1.adb | 273 | logplain |
| -rw-r--r-- | sizetype2.adb | 576 | logplain |
| -rw-r--r-- | sizetype3.adb | 409 | logplain |
| -rw-r--r-- | sizetype3.ads | 188 | logplain |
| -rw-r--r-- | sizetype3_pkg.ads | 127 | logplain |
| -rw-r--r-- | sizetype4.adb | 489 | logplain |
| -rw-r--r-- | slice1.adb | 485 | logplain |
| -rw-r--r-- | slice2.adb | 206 | logplain |
| -rw-r--r-- | slice2.ads | 217 | logplain |
| -rw-r--r-- | slice3.adb | 517 | logplain |
| -rw-r--r-- | slice4.adb | 581 | logplain |
| -rw-r--r-- | slice5.adb | 680 | logplain |
| -rw-r--r-- | slice6.adb | 350 | logplain |
| -rw-r--r-- | slice6_pkg.ads | 387 | logplain |
| -rw-r--r-- | slice7.adb | 1055 | logplain |
| -rw-r--r-- | slice7_pkg.ads | 149 | logplain |
| -rw-r--r-- | slice8.adb | 177 | logplain |
| -rw-r--r-- | slice8_pkg1.ads | 99 | logplain |
| -rw-r--r-- | slice8_pkg2.ads | 457 | logplain |
| -rw-r--r-- | slice8_pkg3.adb | 391 | logplain |
| -rw-r--r-- | slice8_pkg3.ads | 154 | logplain |
| -rw-r--r-- | slice_enum.adb | 131 | logplain |
| -rw-r--r-- | small_alignment.adb | 436 | logplain |
| -rw-r--r-- | socket1.adb | 303 | logplain |
| -rw-r--r-- | sort1.adb | 778 | logplain |
| -rw-r--r-- | sort1.ads | 64 | logplain |
| -rw-r--r-- | sort2.adb | 155 | logplain |
| -rw-r--r-- | source_ref1.adb | 85 | logplain |
| -rw-r--r-- | source_ref2.adb | 124 | logplain |
| d--------- | specs | 7275 | logplain |
| -rw-r--r-- | spipaterr.adb | 292 | logplain |
| -rw-r--r-- | sse_nolib.adb | 1287 | logplain |
| -rw-r--r-- | stack_check1.adb | 734 | logplain |
| -rw-r--r-- | stack_check2.adb | 818 | logplain |
| -rw-r--r-- | stack_check3.adb | 642 | logplain |
| -rw-r--r-- | stack_check3.ads | 63 | logplain |
| -rw-r--r-- | stack_usage1.adb | 2194 | logplain |
| -rw-r--r-- | stack_usage1_pkg.adb | 224 | logplain |
| -rw-r--r-- | stack_usage1_pkg.ads | 242 | logplain |
| -rw-r--r-- | stack_usage1b.adb | 2199 | logplain |
| -rw-r--r-- | stack_usage1c.adb | 2200 | logplain |
| -rw-r--r-- | stack_usage2.adb | 527 | logplain |
| -rw-r--r-- | statically_matching.ads | 244 | logplain |
| -rw-r--r-- | str1.adb | 313 | logplain |
| -rw-r--r-- | string_comparison.adb | 208 | logplain |
| -rw-r--r-- | string_slice.adb | 339 | logplain |
| -rw-r--r-- | string_slice2.adb | 492 | logplain |
| -rw-r--r-- | subp_elim_errors.adb | 621 | logplain |
| -rw-r--r-- | subp_elim_errors.ads | 115 | logplain |
| -rw-r--r-- | sync1.adb | 273 | logplain |
| -rw-r--r-- | sync1.ads | 319 | logplain |
| -rw-r--r-- | sync_iface_test.adb | 414 | logplain |
| -rw-r--r-- | sync_iface_test.ads | 320 | logplain |
| -rw-r--r-- | taft_type1.adb | 102 | logplain |
| -rw-r--r-- | taft_type1_pkg1.adb | 448 | logplain |
| -rw-r--r-- | taft_type1_pkg1.ads | 183 | logplain |
| -rw-r--r-- | taft_type1_pkg2.ads | 138 | logplain |
| -rw-r--r-- | taft_type2.adb | 315 | logplain |
| -rw-r--r-- | taft_type2.ads | 59 | logplain |
| -rw-r--r-- | taft_type2_pkg.ads | 157 | logplain |
| -rw-r--r-- | taft_type3.adb | 505 | logplain |
| -rw-r--r-- | taft_type3_pkg.ads | 125 | logplain |
| -rw-r--r-- | tag1.adb | 450 | logplain |
| -rw-r--r-- | tagged_alloc_free.adb | 560 | logplain |
| -rw-r--r-- | tagged_type_pkg.adb | 515 | logplain |
| -rw-r--r-- | tagged_type_pkg.ads | 248 | logplain |
| -rw-r--r-- | tail_call.adb | 159 | logplain |
| -rw-r--r-- | tail_call_p.adb | 698 | logplain |
| -rw-r--r-- | tail_call_p.ads | 217 | logplain |
| -rw-r--r-- | task_name.adb | 122 | logplain |
| -rw-r--r-- | task_name.ads | 750 | logplain |
| -rw-r--r-- | task_stack_align.adb | 704 | logplain |
| -rw-r--r-- | test_8bitlong_overflow.adb | 513 | logplain |
| -rw-r--r-- | test_address_null_init.adb | 397 | logplain |
| -rw-r--r-- | test_ai254.adb | 270 | logplain |
| -rw-r--r-- | test_allocator_maxalign2.adb | 125 | logplain |
| -rw-r--r-- | test_bip_no_alloc.adb | 580 | logplain |
| -rw-r--r-- | test_bounded.adb | 274 | logplain |
| -rw-r--r-- | test_call.adb | 599 | logplain |
| -rw-r--r-- | test_debug1.adb | 134 | logplain |
| -rw-r--r-- | test_delay.adb | 129 | logplain |
| -rw-r--r-- | test_direct_io.adb | 243 | logplain |
| -rw-r--r-- | test_dse_step.adb | 291 | logplain |
| -rw-r--r-- | test_enum_io.adb | 604 | logplain |
| -rw-r--r-- | test_equal1.adb | 354 | logplain |
| -rw-r--r-- | test_ext1.adb | 117 | logplain |
| -rw-r--r-- | test_fixed_io.adb | 852 | logplain |
| -rw-r--r-- | test_iface_aggr.adb | 1174 | logplain |
| -rw-r--r-- | test_ifaces.adb | 215 | logplain |
| -rw-r--r-- | test_image.adb | 149 | logplain |
| -rw-r--r-- | test_image_p.adb | 670 | logplain |
| -rw-r--r-- | test_image_p.ads | 744 | logplain |
| -rw-r--r-- | test_nested_subtype_byref.adb | 150 | logplain |
| -rw-r--r-- | test_oalign.adb | 339 | logplain |
| -rw-r--r-- | test_oconst.adb | 306 | logplain |
| -rw-r--r-- | test_prefix1.adb | 273 | logplain |
| -rw-r--r-- | test_prio.adb | 418 | logplain |
| -rw-r--r-- | test_prio_p.adb | 187 | logplain |
| -rw-r--r-- | test_prio_p.ads | 479 | logplain |
| -rw-r--r-- | test_raise_from_pure.adb | 316 | logplain |
| -rw-r--r-- | test_rational_arithmetic.adb | 418 | logplain |
| -rw-r--r-- | test_self.adb | 259 | logplain |
| -rw-r--r-- | test_self_ref.adb | 845 | logplain |
| -rw-r--r-- | test_table1.adb | 820 | logplain |
| -rw-r--r-- | test_tables.adb | 203 | logplain |
| -rw-r--r-- | test_time_stamp.adb | 801 | logplain |
| -rw-r--r-- | test_unknown_discrs.adb | 606 | logplain |
| -rw-r--r-- | test_version.adb | 348 | logplain |
| -rw-r--r-- | testint.adb | 318 | logplain |
| -rw-r--r-- | tf_interface_1.adb | 199 | logplain |
| -rw-r--r-- | tf_interface_1.ads | 655 | logplain |
| -rw-r--r-- | tfren.adb | 780 | logplain |
| -rw-r--r-- | thin_pointer1.adb | 234 | logplain |
| -rw-r--r-- | thin_pointer1.ads | 432 | logplain |
| -rw-r--r-- | thin_pointer2.adb | 230 | logplain |
| -rw-r--r-- | thin_pointer2_pkg.adb | 350 | logplain |
| -rw-r--r-- | thin_pointer2_pkg.ads | 169 | logplain |
| -rw-r--r-- | timer_cancel.adb | 844 | logplain |
| -rw-r--r-- | trampoline1.adb | 377 | logplain |
| -rw-r--r-- | trampoline2.adb | 439 | logplain |
| -rw-r--r-- | tree_static_def.adb | 160 | logplain |
| -rw-r--r-- | tree_static_def.ads | 177 | logplain |
| -rw-r--r-- | tree_static_use.adb | 164 | logplain |
| -rw-r--r-- | type_conv.adb | 275 | logplain |
| -rw-r--r-- | unaligned_rep_clause.adb | 689 | logplain |
| -rw-r--r-- | unc.adb | 602 | logplain |
| -rw-r--r-- | unc_memfree.adb | 865 | logplain |
| -rw-r--r-- | unc_memops.adb | 1359 | logplain |
| -rw-r--r-- | unc_memops.ads | 948 | logplain |
| -rw-r--r-- | unchecked_convert1.adb | 687 | logplain |
| -rw-r--r-- | unchecked_convert2.adb | 854 | logplain |
| -rw-r--r-- | unchecked_convert3.adb | 355 | logplain |
| -rw-r--r-- | unchecked_convert4.adb | 408 | logplain |
| -rw-r--r-- | unchecked_convert5.adb | 396 | logplain |
| -rw-r--r-- | unchecked_convert5b.adb | 403 | logplain |
| -rw-r--r-- | unchecked_convert6.adb | 396 | logplain |
| -rw-r--r-- | unchecked_convert6b.adb | 403 | logplain |
| -rw-r--r-- | unchecked_convert7.adb | 653 | logplain |
| -rw-r--r-- | unchecked_convert8.adb | 631 | logplain |
| -rw-r--r-- | unchecked_convert8.ads | 76 | logplain |
| -rw-r--r-- | unchecked_convert9.adb | 287 | logplain |
| -rw-r--r-- | unchecked_convert9.ads | 365 | logplain |
| -rw-r--r-- | unchecked_union1.adb | 409 | logplain |
| -rw-r--r-- | uninit_array.adb | 386 | logplain |
| -rw-r--r-- | uninit_array.ads | 79 | logplain |
| -rw-r--r-- | uninit_array_pkg.ads | 206 | logplain |
| -rw-r--r-- | uninit_func.adb | 268 | logplain |
| -rw-r--r-- | valid1.adb | 460 | logplain |
| -rw-r--r-- | valued_proc.adb | 259 | logplain |
| -rw-r--r-- | valued_proc_pkg.ads | 443 | logplain |
| -rw-r--r-- | varsize1.adb | 552 | logplain |
| -rw-r--r-- | varsize2.adb | 458 | logplain |
| -rw-r--r-- | varsize2.ads | 621 | logplain |
| -rw-r--r-- | varsize3_1.adb | 66 | logplain |
| -rw-r--r-- | varsize3_1.ads | 142 | logplain |
| -rw-r--r-- | varsize3_2.adb | 143 | logplain |
| -rw-r--r-- | varsize3_3.adb | 136 | logplain |
| -rw-r--r-- | varsize3_4.adb | 139 | logplain |
| -rw-r--r-- | varsize3_5.adb | 142 | logplain |
| -rw-r--r-- | varsize3_6.adb | 138 | logplain |
| -rw-r--r-- | varsize3_pkg1.ads | 248 | logplain |
| -rw-r--r-- | varsize3_pkg2.ads | 86 | logplain |
| -rw-r--r-- | varsize3_pkg3.ads | 164 | logplain |
| -rw-r--r-- | vect1.adb | 2776 | logplain |
| -rw-r--r-- | vect1.ads | 1558 | logplain |
| -rw-r--r-- | vect10.adb | 623 | logplain |
| -rw-r--r-- | vect10.ads | 326 | logplain |
| -rw-r--r-- | vect11.adb | 746 | logplain |
| -rw-r--r-- | vect11.ads | 330 | logplain |
| -rw-r--r-- | vect12.adb | 629 | logplain |
| -rw-r--r-- | vect12.ads | 252 | logplain |
| -rw-r--r-- | vect13.adb | 627 | logplain |
| -rw-r--r-- | vect13.ads | 252 | logplain |
| -rw-r--r-- | vect14.adb | 617 | logplain |
| -rw-r--r-- | vect1_pkg.ads | 98 | logplain |
| -rw-r--r-- | vect2.adb | 2776 | logplain |
| -rw-r--r-- | vect2.ads | 1599 | logplain |
| -rw-r--r-- | vect2_pkg.ads | 100 | logplain |
| -rw-r--r-- | vect3.adb | 2776 | logplain |
| -rw-r--r-- | vect3.ads | 1664 | logplain |
| -rw-r--r-- | vect3_pkg.ads | 165 | logplain |
| -rw-r--r-- | vect4.adb | 2926 | logplain |
| -rw-r--r-- | vect4.ads | 1753 | logplain |
| -rw-r--r-- | vect4_pkg.ads | 98 | logplain |
| -rw-r--r-- | vect5.adb | 2926 | logplain |
| -rw-r--r-- | vect5.ads | 1796 | logplain |
| -rw-r--r-- | vect5_pkg.ads | 100 | logplain |
| -rw-r--r-- | vect6.adb | 2926 | logplain |
| -rw-r--r-- | vect6.ads | 1859 | logplain |
| -rw-r--r-- | vect6_pkg.ads | 165 | logplain |
| -rw-r--r-- | vect7.adb | 328 | logplain |
| -rw-r--r-- | vect7.ads | 319 | logplain |
| -rw-r--r-- | vect8.adb | 236 | logplain |
| -rw-r--r-- | vect8.ads | 164 | logplain |
| -rw-r--r-- | vect9.adb | 980 | logplain |
| -rw-r--r-- | vect9.ads | 230 | logplain |
| -rw-r--r-- | vect9_pkg.ads | 522 | logplain |
| -rw-r--r-- | vfa1_1.adb | 1314 | logplain |
| -rw-r--r-- | vfa1_2.adb | 1206 | logplain |
| -rw-r--r-- | vfa1_3.adb | 1253 | logplain |
| -rw-r--r-- | vfa1_4.adb | 1235 | logplain |
| -rw-r--r-- | vfa1_pkg.ads | 954 | logplain |
| -rw-r--r-- | view_conversion1.adb | 1105 | logplain |
| -rw-r--r-- | volatile1.ads | 447 | logplain |
| -rw-r--r-- | volatile10.adb | 139 | logplain |
| -rw-r--r-- | volatile10_pkg.ads | 537 | logplain |
| -rw-r--r-- | volatile11.adb | 1051 | logplain |
| -rw-r--r-- | volatile11_pkg.adb | 699 | logplain |
| -rw-r--r-- | volatile11_pkg.ads | 475 | logplain |
| -rw-r--r-- | volatile12.adb | 115 | logplain |
| -rw-r--r-- | volatile12.ads | 136 | logplain |
| -rw-r--r-- | volatile13.adb | 231 | logplain |
| -rw-r--r-- | volatile13.ads | 495 | logplain |
| -rw-r--r-- | volatile2.adb | 472 | logplain |
| -rw-r--r-- | volatile2.ads | 267 | logplain |
| -rw-r--r-- | volatile3.adb | 285 | logplain |
| -rw-r--r-- | volatile4.adb | 323 | logplain |
| -rw-r--r-- | volatile5.adb | 172 | logplain |
| -rw-r--r-- | volatile5_pkg.ads | 156 | logplain |
| -rw-r--r-- | volatile6.adb | 318 | logplain |
| -rw-r--r-- | volatile7.adb | 380 | logplain |
| -rw-r--r-- | volatile8.adb | 379 | logplain |
| -rw-r--r-- | volatile9.adb | 353 | logplain |
| -rw-r--r-- | volatile_aggregate.adb | 676 | logplain |
| -rw-r--r-- | warn1.adb | 288 | logplain |
| -rw-r--r-- | warn10.adb | 226 | logplain |
| -rw-r--r-- | warn10.ads | 194 | logplain |
| -rw-r--r-- | warn10_pkg.ads | 281 | logplain |
| -rw-r--r-- | warn11.adb | 438 | logplain |
| -rw-r--r-- | warn12.adb | 1193 | logplain |
| -rw-r--r-- | warn12_pkg.ads | 511 | logplain |
| -rw-r--r-- | warn2.adb | 413 | logplain |
| -rw-r--r-- | warn3.adb | 398 | logplain |
| -rw-r--r-- | warn4.adb | 847 | logplain |
| -rw-r--r-- | warn5.adb | 824 | logplain |
| -rw-r--r-- | warn6.adb | 228 | logplain |
| -rw-r--r-- | warn6.ads | 219 | logplain |
| -rw-r--r-- | warn7.adb | 247 | logplain |
| -rw-r--r-- | warn8.adb | 123 | logplain |
| -rw-r--r-- | warn9.adb | 153 | logplain |
| -rw-r--r-- | weak2.adb | 124 | logplain |
| -rw-r--r-- | weak2.ads | 151 | logplain |
| -rw-r--r-- | wide_boolean.adb | 389 | logplain |
| -rw-r--r-- | wide_boolean_pkg.adb | 182 | logplain |
| -rw-r--r-- | wide_boolean_pkg.ads | 512 | logplain |
| -rw-r--r-- | wide_pi.adb | 117 | logplain |
| -rw-r--r-- | wide_test.adb | 348 | logplain |
