summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg
ModeNameSize
-rw-r--r--abe_pkg.adb271logplain
-rw-r--r--abe_pkg.ads120logplain
-rw-r--r--abstract1.adb964logplain
-rw-r--r--abstract1.ads619logplain
-rw-r--r--abstract_state1.adb102logplain
-rw-r--r--abstract_state1.ads542logplain
-rw-r--r--abstract_with_anonymous_result.adb896logplain
-rw-r--r--access1.adb414logplain
-rw-r--r--access2.adb367logplain
-rw-r--r--access3.adb318logplain
-rw-r--r--access3.ads246logplain
-rw-r--r--access4.adb147logplain
-rw-r--r--access5.adb79logplain
-rw-r--r--access5.ads199logplain
-rw-r--r--access6.adb589logplain
-rw-r--r--access7.adb2239logplain
-rw-r--r--access8.adb1225logplain
-rw-r--r--access8_pkg.adb605logplain
-rw-r--r--access8_pkg.ads506logplain
-rw-r--r--access9.adb274logplain
-rw-r--r--access_discr.adb559logplain
-rw-r--r--access_discr2.adb197logplain
-rw-r--r--access_func.adb217logplain
-rw-r--r--access_test.adb563logplain
-rw-r--r--addr1.adb387logplain
-rw-r--r--addr1.ads48logplain
-rw-r--r--addr10.adb468logplain
-rw-r--r--addr11.adb468logplain
-rw-r--r--addr12.adb88logplain
-rw-r--r--addr12_a.adb554logplain
-rw-r--r--addr12_a.ads57logplain
-rw-r--r--addr12_b.adb195logplain
-rw-r--r--addr12_b.ads524logplain
-rw-r--r--addr12_c.ads133logplain
-rw-r--r--addr13.adb180logplain
-rw-r--r--addr13.ads89logplain
-rw-r--r--addr14.adb368logplain
-rw-r--r--addr2.adb158logplain
-rw-r--r--addr2_p.adb248logplain
-rw-r--r--addr2_p.ads229logplain
-rw-r--r--addr3.adb664logplain
-rw-r--r--addr4.adb253logplain
-rw-r--r--addr5.adb199logplain
-rw-r--r--addr6.adb554logplain
-rw-r--r--addr7.adb179logplain
-rw-r--r--addr7.ads145logplain
-rw-r--r--addr8.adb171logplain
-rw-r--r--addr8.ads137logplain
-rw-r--r--addr9_1.adb827logplain
-rw-r--r--addr9_2.adb854logplain
-rw-r--r--addr9_3.adb819logplain
-rw-r--r--addr9_4.adb811logplain
-rw-r--r--addr_slice.adb408logplain
-rw-r--r--address_conv.adb322logplain
-rw-r--r--address_conversion.adb452logplain
-rw-r--r--address_null_init.ads226logplain
-rw-r--r--aggr1.adb1228logplain
-rw-r--r--aggr10.adb593logplain
-rw-r--r--aggr10_pkg.ads460logplain
-rw-r--r--aggr11.adb405logplain
-rw-r--r--aggr11_pkg.ads283logplain
-rw-r--r--aggr12.adb350logplain
-rw-r--r--aggr12.ads261logplain
-rw-r--r--aggr13.adb390logplain
-rw-r--r--aggr14.adb91logplain
-rw-r--r--aggr14_pkg.adb235logplain
-rw-r--r--aggr14_pkg.ads148logplain
-rw-r--r--aggr15.adb303logplain
-rw-r--r--aggr15.ads233logplain
-rw-r--r--aggr16.adb431logplain
-rw-r--r--aggr16.ads50logplain
-rw-r--r--aggr16_pkg.ads433logplain
-rw-r--r--aggr17.adb554logplain
-rw-r--r--aggr18.adb545logplain
-rw-r--r--aggr19.adb253logplain
-rw-r--r--aggr19_pkg.adb153logplain
-rw-r--r--aggr19_pkg.ads570logplain
-rw-r--r--aggr2.adb310logplain
-rw-r--r--aggr20.adb147logplain
-rw-r--r--aggr20.ads430logplain
-rw-r--r--aggr20_pkg.ads140logplain
-rw-r--r--aggr21.adb284logplain
-rw-r--r--aggr21_pkg.adb135logplain
-rw-r--r--aggr21_pkg.ads178logplain
-rw-r--r--aggr22.adb262logplain
-rw-r--r--aggr22.ads267logplain
-rw-r--r--aggr23.adb112logplain
-rw-r--r--aggr23_q.adb300logplain
-rw-r--r--aggr23_tt.ads106logplain
-rw-r--r--aggr24.adb184logplain
-rw-r--r--aggr24_pkg.adb269logplain
-rw-r--r--aggr24_pkg.ads278logplain
-rw-r--r--aggr25.adb85logplain
-rw-r--r--aggr25.ads472logplain
-rw-r--r--aggr26.adb246logplain
-rw-r--r--aggr27.adb727logplain
-rw-r--r--aggr28.adb535logplain
-rw-r--r--aggr3.adb842logplain
-rw-r--r--aggr4.adb514logplain
-rw-r--r--aggr7.adb813logplain
-rw-r--r--aggr8.adb401logplain
-rw-r--r--aggr9.adb162logplain
-rw-r--r--aggr9.ads89logplain
-rw-r--r--aggr9_pkg.ads231logplain
-rw-r--r--ai12_0086_example.adb628logplain
-rw-r--r--aliased1.adb568logplain
-rw-r--r--aliased2.adb376logplain
-rw-r--r--aliased_prefix_accessibility.adb1558logplain
-rw-r--r--aliasing1.adb441logplain
-rw-r--r--aliasing1.ads177logplain
-rw-r--r--aliasing2.adb446logplain
-rw-r--r--aliasing2.ads163logplain
-rw-r--r--aliasing3.adb162logplain
-rw-r--r--aliasing3_pkg.adb157logplain
-rw-r--r--aliasing3_pkg.ads305logplain
-rw-r--r--align_check.adb523logplain
-rw-r--r--align_max.adb3832logplain
-rw-r--r--aligned_vla.adb533logplain
-rw-r--r--alignment1.adb247logplain
-rw-r--r--alignment10.adb390logplain
-rw-r--r--alignment11.adb224logplain
-rw-r--r--alignment12.adb231logplain
-rw-r--r--alignment13.adb313logplain
-rw-r--r--alignment14.adb294logplain
-rw-r--r--alignment15.adb260logplain
-rw-r--r--alignment2.adb1236logplain
-rw-r--r--alignment3.adb915logplain
-rw-r--r--alignment4.adb237logplain
-rw-r--r--alignment5.adb654logplain
-rw-r--r--alignment6.adb713logplain
-rw-r--r--alignment7.adb306logplain
-rw-r--r--alignment8.adb318logplain
-rw-r--r--alignment9.adb444logplain
-rw-r--r--allocator.adb370logplain
-rw-r--r--allocator2.adb124logplain
-rw-r--r--allocator2.ads453logplain
-rw-r--r--allocator_maxalign1.adb964logplain
-rw-r--r--allocator_maxalign2.adb669logplain
-rw-r--r--allocator_maxalign2.ads211logplain
-rw-r--r--ancestor_type.adb233logplain
-rw-r--r--ancestor_type.ads200logplain
-rw-r--r--annotation1.adb139logplain
-rw-r--r--anon1.ads66logplain
-rw-r--r--anon2.adb120logplain
-rw-r--r--anon3.adb113logplain
-rw-r--r--anon3.ads86logplain
-rw-r--r--array1.adb656logplain
-rw-r--r--array1.ads151logplain
-rw-r--r--array10.adb449logplain
-rw-r--r--array11.adb322logplain
-rw-r--r--array12.adb347logplain
-rw-r--r--array13.adb211logplain
-rw-r--r--array13.ads201logplain
-rw-r--r--array14.adb682logplain
-rw-r--r--array14.ads52logplain
-rw-r--r--array14_pkg.ads455logplain
-rw-r--r--array15.adb397logplain
-rw-r--r--array15.ads78logplain
-rw-r--r--array16.adb550logplain
-rw-r--r--array16.ads537logplain
-rw-r--r--array16_pkg.ads71logplain
-rw-r--r--array17.adb242logplain
-rw-r--r--array17_pkg.ads180logplain
-rw-r--r--array18.adb125logplain
-rw-r--r--array18_pkg.ads132logplain
-rw-r--r--array19.adb531logplain
-rw-r--r--array19.ads53logplain
-rw-r--r--array2.ads129logplain
-rw-r--r--array20.adb201logplain
-rw-r--r--array20.ads60logplain
-rw-r--r--array21.adb309logplain
-rw-r--r--array22.adb385logplain
-rw-r--r--array23.adb145logplain
-rw-r--r--array23_pkg1.ads254logplain
-rw-r--r--array23_pkg2.ads199logplain
-rw-r--r--array23_pkg3.ads65logplain
-rw-r--r--array24.adb257logplain
-rw-r--r--array25.adb129logplain
-rw-r--r--array25_pkg.adb250logplain
-rw-r--r--array25_pkg.ads268logplain
-rw-r--r--array26.adb357logplain
-rw-r--r--array26_pkg.adb114logplain
-rw-r--r--array26_pkg.ads157logplain
-rw-r--r--array27.adb359logplain
-rw-r--r--array27_pkg.adb114logplain
-rw-r--r--array27_pkg.ads157logplain
-rw-r--r--array28.adb359logplain
-rw-r--r--array28_pkg.adb116logplain
-rw-r--r--array28_pkg.ads157logplain
-rw-r--r--array29.adb662logplain
-rw-r--r--array29.ads135logplain
-rw-r--r--array3.adb1110logplain
-rw-r--r--array30.adb749logplain
-rw-r--r--array31.adb312logplain
-rw-r--r--array32.adb147logplain
-rw-r--r--array32.ads174logplain
-rw-r--r--array33.adb3479logplain
-rw-r--r--array34.adb335logplain
-rw-r--r--array35.adb366logplain
-rw-r--r--array36.adb428logplain
-rw-r--r--array37.adb316logplain
-rw-r--r--array38.adb156logplain
-rw-r--r--array38_pkg.adb150logplain
-rw-r--r--array38_pkg.ads477logplain
-rw-r--r--array4.adb576logplain
-rw-r--r--array5.adb575logplain
-rw-r--r--array6.adb605logplain
-rw-r--r--array7.adb488logplain
-rw-r--r--array7.ads484logplain
-rw-r--r--array8.adb575logplain
-rw-r--r--array9.adb309logplain
-rw-r--r--array_bounds_test.adb397logplain
-rw-r--r--array_bounds_test2.adb525logplain
-rw-r--r--aspect1.adb325logplain
-rw-r--r--aspect1_horizontal.adb235logplain
-rw-r--r--aspect1_horizontal.ads307logplain
-rw-r--r--aspect1_vectors_2d.ads464logplain
-rw-r--r--aspect2.adb87logplain
-rw-r--r--aspect2.ads899logplain
-rw-r--r--assert.ads75logplain
-rw-r--r--assert1.adb1086logplain
-rw-r--r--assert2.adb88logplain
-rw-r--r--assert2.ads415logplain
-rw-r--r--assertion_policy1.adb304logplain
-rw-r--r--assertion_policy1_pkg.adb201logplain
-rw-r--r--assertion_policy1_pkg.ads177logplain
-rw-r--r--assign_from_packed.adb257logplain
-rw-r--r--assign_from_packed_pixels.ads335logplain
-rw-r--r--asynch.adb556logplain
-rw-r--r--asynch.ads199logplain
-rw-r--r--atomic1.adb379logplain
-rw-r--r--atomic10.adb591logplain
-rw-r--r--atomic11.adb400logplain
-rw-r--r--atomic11_pkg1.ads338logplain
-rw-r--r--atomic11_pkg2.ads78logplain
-rw-r--r--atomic1_pkg.ads1024logplain
-rw-r--r--atomic2.adb214logplain
-rw-r--r--atomic3.adb398logplain
-rw-r--r--atomic4.adb270logplain
-rw-r--r--atomic4.ads534logplain
-rw-r--r--atomic5.adb341logplain
-rw-r--r--atomic5.ads382logplain
-rw-r--r--atomic6_1.adb1440logplain
-rw-r--r--atomic6_2.adb1634logplain
-rw-r--r--atomic6_3.adb1728logplain
-rw-r--r--atomic6_4.adb1566logplain
-rw-r--r--atomic6_5.adb1476logplain
-rw-r--r--atomic6_6.adb1496logplain
-rw-r--r--atomic6_7.adb1546logplain
-rw-r--r--atomic6_8.adb1429logplain
-rw-r--r--atomic6_pkg.ads600logplain
-rw-r--r--atomic7_1.adb214logplain
-rw-r--r--atomic7_2.adb143logplain
-rw-r--r--atomic7_pkg1.ads152logplain
-rw-r--r--atomic7_pkg2.adb217logplain
-rw-r--r--atomic7_pkg2.ads77logplain
-rw-r--r--atomic8.adb578logplain
-rw-r--r--atomic9.adb559logplain
-rw-r--r--bad_array.adb146logplain
-rw-r--r--bias1.adb845logplain
-rw-r--r--biased_subtype.adb410logplain
-rw-r--r--biased_uc.adb1067logplain
-rw-r--r--bip_aggregate_bug.adb1341logplain
-rw-r--r--bip_case_expr.adb381logplain
-rw-r--r--bip_case_expr_pkg.ads203logplain
-rw-r--r--bip_cu.adb165logplain
-rw-r--r--bip_cu_constructor.adb145logplain
-rw-r--r--bip_cu_constructor.ads67logplain
-rw-r--r--bip_cu_t.adb177logplain
-rw-r--r--bip_cu_t.ads247logplain
-rw-r--r--bip_exception.adb428logplain
-rw-r--r--bip_exception.ads614logplain
-rw-r--r--bip_exception_pkg.ads339logplain
-rw-r--r--bip_export.adb259logplain
-rw-r--r--bip_export.ads145logplain
-rw-r--r--bip_overlay.adb340logplain
-rw-r--r--bip_overlay.ads491logplain
-rw-r--r--bip_prim_func.adb277logplain
-rw-r--r--bip_prim_func.ads222logplain
-rw-r--r--bit_order1.adb389logplain
-rw-r--r--bit_packed_array1.adb369logplain
-rw-r--r--bit_packed_array1.ads934logplain
-rw-r--r--bit_packed_array2.adb324logplain
-rw-r--r--bit_packed_array3.adb971logplain
-rw-r--r--bit_packed_array4.adb182logplain
-rw-r--r--bit_packed_array4.ads411logplain
-rw-r--r--bit_packed_array5.adb453logplain
-rw-r--r--bit_packed_array5.ads363logplain
-rw-r--r--blkextract_from_reg.adb1178logplain
-rw-r--r--block_ext_return_assert_failure.adb460logplain
-rw-r--r--bltins.adb202logplain
-rw-r--r--boolean_bitfield.adb1198logplain
-rw-r--r--boolean_conv.adb536logplain
-rw-r--r--boolean_expr1.adb781logplain
-rw-r--r--boolean_expr1.ads95logplain
-rw-r--r--boolean_expr2.adb314logplain
-rw-r--r--boolean_subtype1.adb753logplain
-rw-r--r--boolean_subtype2.adb945logplain
-rw-r--r--boolean_subtype2.ads186logplain
-rw-r--r--boolean_subtype2_pkg.ads285logplain
-rw-r--r--bug_elaboration_code.adb184logplain
-rw-r--r--bug_elaboration_code.ads119logplain
-rw-r--r--c_words.adb288logplain
-rw-r--r--c_words.ads469logplain
-rw-r--r--capture_value.adb245logplain
-rw-r--r--case_character.adb303logplain
-rw-r--r--case_null.adb315logplain
-rw-r--r--case_null.ads207logplain
-rw-r--r--case_optimization1.adb518logplain
-rw-r--r--case_optimization1.ads161logplain
-rw-r--r--case_optimization2.adb276logplain
-rw-r--r--case_optimization3.adb465logplain
-rw-r--r--case_optimization3.ads213logplain
-rw-r--r--case_optimization_pkg1.ads18675logplain
-rw-r--r--case_optimization_pkg2.adb598logplain
-rw-r--r--case_optimization_pkg2.ads764logplain
-rw-r--r--casesi.adb674logplain
-rw-r--r--casesi.ads55logplain
-rw-r--r--check1.adb146logplain
-rw-r--r--check1.ads207logplain
-rw-r--r--check_displace_generation.adb1100logplain
-rw-r--r--check_elaboration_code.adb197logplain
-rw-r--r--class_wide1.adb489logplain
-rw-r--r--class_wide2.adb287logplain
-rw-r--r--class_wide2.ads311logplain
-rw-r--r--class_wide3.adb191logplain
-rw-r--r--class_wide3_pkg.ads332logplain
-rw-r--r--class_wide4.adb522logplain
-rw-r--r--class_wide4_pkg.ads503logplain
-rw-r--r--class_wide4_pkg2.ads610logplain
-rw-r--r--class_wide5.adb250logplain
-rw-r--r--compile_time_error1.adb113logplain
-rw-r--r--compile_time_error1.ads215logplain
-rw-r--r--compile_time_error1_pkg.ads185logplain
-rw-r--r--complex1.adb205logplain
-rw-r--r--complex1_pkg.ads86logplain
-rw-r--r--component_size.adb1175logplain
-rw-r--r--compose.adb293logplain
-rw-r--r--concat1.adb482logplain
-rw-r--r--concat1_pkg.adb117logplain
-rw-r--r--concat1_pkg.ads89logplain
-rw-r--r--concat2.adb362logplain
-rw-r--r--concat2.ads55logplain
-rw-r--r--concat3.adb257logplain
-rw-r--r--concat_length.adb317logplain
-rw-r--r--cond_expr1.adb177logplain
-rw-r--r--cond_expr2.adb209logplain
-rw-r--r--cond_expr2.ads82logplain
-rw-r--r--config_pragma1.adb447logplain
-rw-r--r--config_pragma1_pkg.ads616logplain
-rw-r--r--constant1.adb134logplain
-rw-r--r--constant2.adb171logplain
-rw-r--r--constant2_pkg1.ads134logplain
-rw-r--r--constant2_pkg2.adb184logplain
-rw-r--r--constant2_pkg2.ads108logplain
-rw-r--r--constant3.adb391logplain
-rw-r--r--constant4.adb211logplain
-rw-r--r--constant4_pkg.ads440logplain
-rw-r--r--containers1.adb126logplain
-rw-r--r--containers1.ads209logplain
-rw-r--r--contract1.adb351logplain
-rw-r--r--controlled1.ads372logplain
-rw-r--r--controlled2.adb266logplain
-rw-r--r--controlled2.ads101logplain
-rw-r--r--controlled3.ads371logplain
-rw-r--r--controlled4.adb219logplain
-rw-r--r--controlled4.ads89logplain
-rw-r--r--controlled5.adb141logplain
-rw-r--r--controlled5_pkg.adb367logplain
-rw-r--r--controlled5_pkg.ads369logplain
-rw-r--r--controlled6.adb514logplain
-rw-r--r--controlled6_pkg-iterators.adb560logplain
-rw-r--r--controlled6_pkg-iterators.ads493logplain
-rw-r--r--controlled6_pkg.ads212logplain
-rw-r--r--controlled7.adb403logplain
-rw-r--r--controlled7.ads146logplain
-rw-r--r--controlled8.adb2110logplain
-rw-r--r--controlled_record.adb281logplain
-rw-r--r--controlled_record.ads329logplain
-rw-r--r--conv_bug.adb685logplain
-rw-r--r--conv_decimal.adb739logplain
-rw-r--r--conv_integer.adb246logplain
-rw-r--r--conv_real.adb568logplain
-rw-r--r--cpp_constructor.adb288logplain
-rw-r--r--cpp_constructor2.adb433logplain
-rw-r--r--cpp_constructor_fp.ads331logplain
-rw-r--r--cpp_constructor_useit.ads222logplain
-rw-r--r--curr_task.adb2246logplain
-rw-r--r--debug1.ads502logplain
-rw-r--r--debug10.adb1325logplain
-rw-r--r--debug10_pkg.ads3492logplain
-rw-r--r--debug11.adb957logplain
-rw-r--r--debug11_pkg.adb914logplain
-rw-r--r--debug11_pkg.ads267logplain
-rw-r--r--debug11_pkg2.ads252logplain
-rw-r--r--debug12.adb336logplain
-rw-r--r--debug12.ads215logplain
-rw-r--r--debug13.adb861logplain
-rw-r--r--debug13.ads70logplain
-rw-r--r--debug14.adb660logplain
-rw-r--r--debug15.adb361logplain
-rw-r--r--debug2.adb599logplain
-rw-r--r--debug2.ads52logplain
-rw-r--r--debug2_pkg.ads404logplain
-rw-r--r--debug3.adb483logplain
-rw-r--r--debug3.ads50logplain
-rw-r--r--debug4.adb142logplain
-rw-r--r--debug4_pkg.adb729logplain
-rw-r--r--debug4_pkg.ads676logplain
-rw-r--r--debug5.adb438logplain
-rw-r--r--debug6.adb170logplain
-rw-r--r--debug6_pkg.ads370logplain
-rw-r--r--debug7.adb326logplain
-rw-r--r--debug7.ads145logplain
-rw-r--r--debug8.adb761logplain
-rw-r--r--debug9.adb1624logplain
-rw-r--r--decl_ctx_def.ads48logplain
-rw-r--r--decl_ctx_use.adb229logplain
-rw-r--r--decl_ctx_use.ads74logplain
-rw-r--r--default_initial_condition.adb273logplain
-rw-r--r--default_initial_condition_pack.adb197logplain
-rw-r--r--default_initial_condition_pack.ads275logplain
-rw-r--r--default_pkg_actual.adb534logplain
-rw-r--r--default_pkg_actual2.adb446logplain
-rw-r--r--default_variants.adb692logplain
-rw-r--r--deferred_const1.adb276logplain
-rw-r--r--deferred_const2.adb203logplain
-rw-r--r--deferred_const2_pkg.adb201logplain
-rw-r--r--deferred_const2_pkg.ads224logplain
-rw-r--r--deferred_const3.adb344logplain
-rw-r--r--deferred_const3_pkg.adb342logplain
-rw-r--r--deferred_const3_pkg.ads356logplain
-rw-r--r--deferred_const4.adb174logplain
-rw-r--r--deferred_const4.ads279logplain
-rw-r--r--deferred_const4_pkg.ads347logplain
-rw-r--r--delta_aggr.adb1228logplain
-rw-r--r--deques.ads400logplain
-rw-r--r--deref1.ads104logplain
-rw-r--r--deref2.ads344logplain
-rw-r--r--deref3.adb172logplain
-rw-r--r--derived_aggregate.adb666logplain
-rw-r--r--derived_type1.adb601logplain
-rw-r--r--derived_type2.adb633logplain
-rw-r--r--derived_type3.adb124logplain
-rw-r--r--derived_type3_pkg.adb1048logplain
-rw-r--r--derived_type3_pkg.ads94logplain
-rw-r--r--derived_type4.adb288logplain
-rw-r--r--derived_type5.adb162logplain
-rw-r--r--derived_type5_pkg.ads634logplain
-rw-r--r--derived_type6.adb96logplain
-rw-r--r--derived_type6.ads211logplain
-rw-r--r--dflt_init_cond.adb188logplain
-rw-r--r--dflt_init_cond_pkg.ads360logplain
-rw-r--r--dg.exp1096logplain
-rw-r--r--dimensions.adb94logplain
-rw-r--r--dimensions.ads917logplain
-rw-r--r--dimensions2.adb671logplain
-rw-r--r--dimensions2_phys.ads2933logplain
-rw-r--r--dimensions2_real_numbers.ads72logplain
-rw-r--r--dinst.adb784logplain
-rw-r--r--dinst_pkg.adb135logplain
-rw-r--r--dinst_pkg.ads52logplain
-rw-r--r--discr1.ads466logplain
-rw-r--r--discr10.adb146logplain
-rw-r--r--discr10.ads516logplain
-rw-r--r--discr11.adb164logplain
-rw-r--r--discr11.ads174logplain
-rw-r--r--discr11_pkg.ads213logplain
-rw-r--r--discr12.adb565logplain
-rw-r--r--discr12_pkg.ads89logplain
-rw-r--r--discr13.adb607logplain
-rw-r--r--discr14.adb270logplain
-rw-r--r--discr14.ads1063logplain
-rw-r--r--discr15.adb312logplain
-rw-r--r--discr15_pkg.ads436logplain
-rw-r--r--discr16.adb404logplain
-rw-r--r--discr16_cont.ads105logplain
-rw-r--r--discr16_g.ads289logplain
-rw-r--r--discr16_pkg.ads165logplain
-rw-r--r--discr17.adb1085logplain
-rw-r--r--discr18.adb499logplain
-rw-r--r--discr18_pkg.ads470logplain
-rw-r--r--discr19.adb342logplain
-rw-r--r--discr2.adb372logplain
-rw-r--r--discr2.ads53logplain
-rw-r--r--discr20.adb141logplain
-rw-r--r--discr20.ads605logplain
-rw-r--r--discr21.adb584logplain
-rw-r--r--discr21.ads52logplain
-rw-r--r--discr21_pkg.ads351logplain
-rw-r--r--discr22.adb404logplain
-rw-r--r--discr23.adb280logplain
-rw-r--r--discr23.ads53logplain
-rw-r--r--discr23_pkg.ads221logplain
-rw-r--r--discr24.adb1192logplain
-rw-r--r--discr25.adb140logplain
-rw-r--r--discr25_pkg.adb463logplain
-rw-r--r--discr25_pkg.ads195logplain
-rw-r--r--discr26.adb258logplain
-rw-r--r--discr26.ads245logplain
-rw-r--r--discr26_pkg.ads71logplain
-rw-r--r--discr27.adb605logplain
-rw-r--r--discr27.ads53logplain
-rw-r--r--discr28.adb307logplain
-rw-r--r--discr28.ads337logplain
-rw-r--r--discr28_pkg.ads71logplain
-rw-r--r--discr29.adb139logplain
-rw-r--r--discr29.ads420logplain
-rw-r--r--discr3.ads299logplain
-rw-r--r--discr30.adb1194logplain
-rw-r--r--discr31.adb226logplain
-rw-r--r--discr31.ads370logplain
-rw-r--r--discr32.adb327logplain
-rw-r--r--discr32_pkg.ads472logplain
-rw-r--r--discr33.adb610logplain
-rw-r--r--discr34.adb121logplain
-rw-r--r--discr34_pkg.ads271logplain
-rw-r--r--discr35.adb215logplain
-rw-r--r--discr35.ads361logplain
-rw-r--r--discr36.adb298logplain
-rw-r--r--discr36.ads206logplain
-rw-r--r--discr36_pkg.adb151logplain
-rw-r--r--discr36_pkg.ads101logplain
-rw-r--r--discr37.adb217logplain
-rw-r--r--discr37.ads463logplain
-rw-r--r--discr38.adb941logplain
-rw-r--r--discr39.adb456logplain
-rw-r--r--discr4.adb894logplain
-rw-r--r--discr40.adb231logplain
-rw-r--r--discr40.ads719logplain
-rw-r--r--discr41.adb168logplain
-rw-r--r--discr41.ads437logplain
-rw-r--r--discr42.adb265logplain
-rw-r--r--discr42_pkg.adb255logplain
-rw-r--r--discr42_pkg.ads249logplain
-rw-r--r--discr43.adb382logplain
-rw-r--r--discr44.adb496logplain
-rw-r--r--discr45.adb810logplain
-rw-r--r--discr46.adb244logplain
-rw-r--r--discr46.ads450logplain
-rw-r--r--discr47.adb299logplain
-rw-r--r--discr48.adb201logplain
-rw-r--r--discr48_pkg.ads449logplain
-rw-r--r--discr49.adb235logplain
-rw-r--r--discr49_rec1.adb163logplain
-rw-r--r--discr49_rec1.ads270logplain
-rw-r--r--discr49_rec2.adb149logplain
-rw-r--r--discr49_rec2.ads269logplain
-rw-r--r--discr5.adb323logplain
-rw-r--r--discr50.adb271logplain
-rw-r--r--discr51.adb676logplain
-rw-r--r--discr52.adb498logplain
-rw-r--r--discr53.adb258logplain
-rw-r--r--discr53.ads279logplain
-rw-r--r--discr53_pkg.ads73logplain
-rw-r--r--discr54.adb126logplain
-rw-r--r--discr54_pkg.ads2758logplain
-rw-r--r--discr55.adb262logplain
-rw-r--r--discr56.adb87logplain
-rw-r--r--discr56.ads107logplain
-rw-r--r--discr56_pkg1.adb92logplain
-rw-r--r--discr56_pkg1.ads260logplain
-rw-r--r--discr56_pkg2.ads195logplain
-rw-r--r--discr57.adb297logplain
-rw-r--r--discr58.adb939logplain
-rw-r--r--discr7.adb436logplain
-rw-r--r--discr8.adb636logplain
-rw-r--r--discr8.ads350logplain
-rw-r--r--discr8_pkg1.ads203logplain
-rw-r--r--discr8_pkg2.ads236logplain
-rw-r--r--discr8_pkg3.ads73logplain
-rw-r--r--discr9.adb188logplain
-rw-r--r--discr9.ads475logplain
-rw-r--r--discr_range_check.adb415logplain
-rw-r--r--discr_test.adb437logplain
-rw-r--r--discr_test2.adb381logplain
-rw-r--r--disp1.adb161logplain
-rw-r--r--disp1_pkg.ads105logplain
-rw-r--r--disp2.adb192logplain
-rw-r--r--disp2_pkg.adb159logplain
-rw-r--r--disp2_pkg.ads269logplain
-rw-r--r--div_no_warning.adb293logplain
-rw-r--r--dse_step.adb361logplain
-rw-r--r--dse_step.ads411logplain
-rw-r--r--dynamic_bound.adb529logplain
-rw-r--r--dynamic_elab1.adb271logplain
-rw-r--r--dynamic_elab1.ads198logplain
-rw-r--r--dynamic_elab2.adb271logplain
-rw-r--r--dynamic_elab2.ads215logplain
-rw-r--r--dynamic_elab_pkg.ads153logplain
-rw-r--r--dynhash.adb20094logplain
-rw-r--r--dynhash1.adb1342logplain
-rw-r--r--elab1.ads474logplain
-rw-r--r--elab2.adb123logplain
-rw-r--r--elab3.adb162logplain
-rw-r--r--elab3.ads46logplain
-rw-r--r--elab3_pkg.adb165logplain
-rw-r--r--elab3_pkg.ads126logplain
-rw-r--r--elab4.adb79logplain
-rw-r--r--elab4_pkg.adb2407logplain
-rw-r--r--elab4_pkg.ads1125logplain
-rw-r--r--elab5.adb79logplain
-rw-r--r--elab5_pkg.adb2912logplain
-rw-r--r--elab5_pkg.ads1286logplain
-rw-r--r--elab6.adb152logplain
-rw-r--r--elab6.ads78logplain
-rw-r--r--elab6_pkg.adb291logplain
-rw-r--r--elab6_pkg.ads67logplain
-rw-r--r--elab7.adb117logplain
-rw-r--r--elab7_pkg1.adb118logplain
-rw-r--r--elab7_pkg1.ads54logplain
-rw-r--r--elab7_pkg2.adb270logplain
-rw-r--r--elab7_pkg2.ads81logplain
-rw-r--r--elab8.adb167logplain
-rw-r--r--elab8_gen.adb178logplain
-rw-r--r--elab8_gen.ads132logplain
-rw-r--r--elab8_pkg.adb70logplain
-rw-r--r--elab8_pkg.ads79logplain
-rw-r--r--elim1.adb83logplain
-rw-r--r--elim1.ads111logplain
-rw-r--r--elim2.adb70logplain
-rw-r--r--empty_vector_length.adb395logplain
-rw-r--r--enclosing_record_reference.adb888logplain
-rw-r--r--enclosing_record_reference.ads618logplain
-rw-r--r--encode_string1.adb1429logplain
-rw-r--r--encode_string1_pkg.adb339logplain
-rw-r--r--encode_string1_pkg.ads165logplain
-rw-r--r--entry1.adb1338logplain
-rw-r--r--entry1.ads123logplain
-rw-r--r--entry_family.adb573logplain
-rw-r--r--entry_queues.adb1078logplain
-rw-r--r--entry_queues2.adb834logplain
-rw-r--r--entry_queues3.adb480logplain
-rw-r--r--enum1.adb247logplain
-rw-r--r--enum1_pkg.ads128logplain
-rw-r--r--enum2.adb274logplain
-rw-r--r--enum2_pkg.ads237logplain
-rw-r--r--enum3.adb522logplain
-rw-r--r--enum4.adb1680logplain
-rw-r--r--enum5.adb171logplain
-rw-r--r--enum_rep.adb79logplain
-rw-r--r--enum_rep.ads583logplain
-rw-r--r--enum_val1.adb447logplain
-rw-r--r--env_compile_capacity.adb957logplain
-rw-r--r--env_compile_capacity.ads60logplain
-rw-r--r--equal1.ads286logplain
-rw-r--r--equal10.adb87logplain
-rw-r--r--equal10.ads175logplain
-rw-r--r--equal11.adb638logplain
-rw-r--r--equal11_interface.ads150logplain
-rw-r--r--equal11_record.adb157logplain
-rw-r--r--equal11_record.ads435logplain
-rw-r--r--equal2.adb810logplain
-rw-r--r--equal3.adb587logplain
-rw-r--r--equal4.adb288logplain
-rw-r--r--equal4.ads132logplain
-rw-r--r--equal4_controlled_filter.ads263logplain
-rw-r--r--equal4_full_selector_filter.ads251logplain
-rw-r--r--equal4_smart_pointers.ads229logplain
-rw-r--r--equal5.adb284logplain
-rw-r--r--equal5.ads675logplain
-rw-r--r--equal6.adb761logplain
-rw-r--r--equal6_types.adb392logplain
-rw-r--r--equal6_types.ads1431logplain
-rw-r--r--equal7.adb291logplain
-rw-r--r--equal7_pkg.adb296logplain
-rw-r--r--equal7_pkg.ads554logplain
-rw-r--r--equal8.adb112logplain
-rw-r--r--equal8.ads1013logplain
-rw-r--r--equal8_pkg.ads1567logplain
-rw-r--r--equal9.adb474logplain
-rw-r--r--equal_access.adb142logplain
-rw-r--r--exit1.adb1322logplain
-rw-r--r--exp0_eval.adb620logplain
-rw-r--r--expect1.adb300logplain
-rw-r--r--expect2.adb482logplain
-rw-r--r--expect2_pkg.ads447logplain
-rw-r--r--expect3.adb688logplain
-rw-r--r--expect4.adb589logplain
-rw-r--r--expr_func2.adb92logplain
-rw-r--r--expr_func2.ads525logplain
-rw-r--r--expr_func3.adb96logplain
-rw-r--r--expr_func3.ads362logplain
-rw-r--r--expr_func4.adb220logplain
-rw-r--r--expr_func5.adb176logplain
-rw-r--r--expr_func6.adb96logplain
-rw-r--r--expr_func6.ads397logplain
-rw-r--r--expr_func7.adb94logplain
-rw-r--r--expr_func7.ads444logplain
-rw-r--r--expr_func8.adb888logplain
-rw-r--r--expr_func9.adb435logplain
-rw-r--r--expr_func_main.adb163logplain
-rw-r--r--expr_func_pkg.adb202logplain
-rw-r--r--expr_func_pkg.ads224logplain
-rw-r--r--ext1.ads377logplain
-rw-r--r--fatp_sra.adb234logplain
-rw-r--r--finalized.adb248logplain
-rw-r--r--fixce.adb322logplain
-rw-r--r--fixed_delete.adb390logplain
-rw-r--r--fixedpnt.adb186logplain
-rw-r--r--fixedpnt2.adb734logplain
-rw-r--r--fixedpnt2.ads626logplain
-rw-r--r--fixedpnt3.adb399logplain
-rw-r--r--fixedpnt4.adb319logplain
-rw-r--r--fixedpnt5.adb1754logplain
-rw-r--r--fixedpnt6.adb315logplain
-rw-r--r--fixedpnt7.adb417logplain
-rw-r--r--fixedpnt8.adb657logplain
-rw-r--r--float_attributes_overflows.adb930logplain
-rw-r--r--float_value1.adb1682logplain
-rw-r--r--float_value2.adb247logplain
-rw-r--r--formal_containers.adb592logplain
-rw-r--r--forward_anon.adb151logplain
-rw-r--r--forward_anon.ads266logplain
-rw-r--r--forward_vla.adb419logplain
-rw-r--r--fp_exception.adb518logplain
-rw-r--r--frame_overflow.adb554logplain
-rw-r--r--frame_overflow.ads423logplain
-rw-r--r--frame_overflow2.adb444logplain
-rw-r--r--freezing1.adb90logplain
-rw-r--r--freezing1.ads276logplain
-rw-r--r--freezing1_pack.adb223logplain
-rw-r--r--freezing1_pack.ads444logplain
-rw-r--r--frunaligned.adb159logplain
-rw-r--r--frunaligned1.ads260logplain
-rw-r--r--g_tables.adb175logplain
-rw-r--r--g_tables.ads225logplain
d---------gcov73logplain
-rw-r--r--gen_disp.adb1375logplain
-rw-r--r--gen_disp.ads299logplain
-rw-r--r--gen_formal_pkg.adb225logplain
-rw-r--r--gen_formal_pkg_a.ads64logplain
-rw-r--r--gen_formal_pkg_b.ads137logplain
-rw-r--r--gen_formal_pkg_w.ads278logplain
-rw-r--r--generic2-child.ads88logplain
-rw-r--r--generic2-io_any.adb102logplain
-rw-r--r--generic2-io_any.ads132logplain
-rw-r--r--generic2.ads77logplain
-rw-r--r--generic_actuals.adb472logplain
-rw-r--r--generic_call_cw.adb833logplain
-rw-r--r--generic_call_iface.adb831logplain
-rw-r--r--generic_disp.adb225logplain
-rw-r--r--generic_disp_pkg.adb184logplain
-rw-r--r--generic_disp_pkg.ads541logplain
-rw-r--r--generic_inst10.adb643logplain
-rw-r--r--generic_inst10_pkg.ads192logplain
-rw-r--r--generic_inst11.adb147logplain
-rw-r--r--generic_inst11_pkg.adb374logplain
-rw-r--r--generic_inst11_pkg.ads87logplain
-rw-r--r--generic_inst12.adb226logplain
-rw-r--r--generic_inst12_pkg1.adb177logplain
-rw-r--r--generic_inst12_pkg1.ads181logplain
-rw-r--r--generic_inst12_pkg2.ads93logplain
-rw-r--r--generic_inst13.adb406logplain
-rw-r--r--generic_inst13_pkg-nested_g.ads334logplain
-rw-r--r--generic_inst13_pkg-ops_g.ads229logplain
-rw-r--r--generic_inst13_pkg.ads170logplain
-rw-r--r--generic_inst2.adb108logplain
-rw-r--r--generic_inst2.ads228logplain
-rw-r--r--generic_inst2_c.ads161logplain
-rw-r--r--generic_inst3.adb547logplain
-rw-r--r--generic_inst3_kafka_lib-topic.ads280logplain
-rw-r--r--generic_inst3_kafka_lib.ads64logplain
-rw-r--r--generic_inst3_markets.ads458logplain
-rw-r--r--generic_inst3_traits-encodables.ads247logplain
-rw-r--r--generic_inst3_traits.ads74logplain
-rw-r--r--generic_inst4.adb95logplain
-rw-r--r--generic_inst4_gen.ads60logplain
-rw-r--r--generic_inst4_inst.ads228logplain
-rw-r--r--generic_inst4_typ.ads131logplain
-rw-r--r--generic_inst5.adb269logplain
-rw-r--r--generic_inst6.adb184logplain
-rw-r--r--generic_inst6_g1-c.adb190logplain
-rw-r--r--generic_inst6_g1-c.ads77logplain
-rw-r--r--generic_inst6_g1.ads66logplain
-rw-r--r--generic_inst6_i1.ads73logplain
-rw-r--r--generic_inst6_i2.ads95logplain
-rw-r--r--generic_inst6_x.ads201logplain
-rw-r--r--generic_inst7.adb152logplain
-rw-r--r--generic_inst7_pkg.adb293logplain
-rw-r--r--generic_inst7_pkg.ads152logplain
-rw-r--r--generic_inst7_types.ads322logplain
-rw-r--r--generic_inst8.adb146logplain
-rw-r--r--generic_inst8.ads95logplain
-rw-r--r--generic_inst8_g.adb183logplain
-rw-r--r--generic_inst8_g.ads310logplain
-rw-r--r--generic_inst9.adb99logplain
-rw-r--r--generic_inst9.ads258logplain
-rw-r--r--generic_inst9_pkg1-operator.ads357logplain
-rw-r--r--generic_inst9_pkg1.ads183logplain
-rw-r--r--generic_inst9_pkg2.adb203logplain
-rw-r--r--generic_inst9_pkg2.ads337logplain
-rw-r--r--generic_pkg.adb870logplain
-rw-r--r--ghost1.adb179logplain
-rw-r--r--ghost1.ads174logplain
-rw-r--r--ghost2.adb84logplain
-rw-r--r--ghost2.ads338logplain
-rw-r--r--ghost3.adb86logplain
-rw-r--r--ghost3.ads395logplain
-rw-r--r--ghost4.adb291logplain
-rw-r--r--ghost5.adb84logplain
-rw-r--r--ghost5.ads76logplain
-rw-r--r--ghost5_parent.ads298logplain
-rw-r--r--ghost6.adb148logplain
-rw-r--r--ghost6_pkg.ads138logplain
-rw-r--r--ghost7.adb115logplain
-rw-r--r--ghost7.ads219logplain
-rw-r--r--global.adb2302logplain
-rw-r--r--global.ads352logplain
-rw-r--r--global2.adb199logplain
-rw-r--r--global2.ads213logplain
-rw-r--r--gnat_array_split1.adb108logplain
-rw-r--r--gnat_array_split1.ads120logplain
-rw-r--r--gnat_malloc.adb422logplain
-rw-r--r--gnatg.adb305logplain
-rw-r--r--graphic.adb538logplain
-rw-r--r--graphic.ads216logplain
-rw-r--r--handle_and_return.adb282logplain
-rw-r--r--handle_raise_from_pure.adb270logplain
-rw-r--r--hyper_flat.adb312logplain
-rw-r--r--ice_type.adb187logplain
-rw-r--r--ice_types.ads150logplain
-rw-r--r--iface1.ads408logplain
-rw-r--r--iface2.adb140logplain
-rw-r--r--iface2.ads144logplain
-rw-r--r--iface_test.adb689logplain
-rw-r--r--iface_test.ads450logplain
-rw-r--r--ifaces.adb157logplain
-rw-r--r--ifaces.ads401logplain
-rw-r--r--image1.adb233logplain
-rw-r--r--implicit_param.adb400logplain
-rw-r--r--implicit_param_pkg.ads190logplain
-rw-r--r--import1.adb340logplain
-rw-r--r--import1.ads124logplain
-rw-r--r--import2.adb201logplain
-rw-r--r--in_mod_conv.adb558logplain
-rw-r--r--in_out_parameter.adb799logplain
-rw-r--r--in_out_parameter2.adb364logplain
-rw-r--r--in_out_parameter3.adb726logplain
-rw-r--r--in_out_parameter4.adb574logplain
-rw-r--r--include.adb128logplain
-rw-r--r--incomplete1.ads66logplain
-rw-r--r--incomplete2.adb134logplain
-rw-r--r--incomplete2.ads223logplain
-rw-r--r--incomplete3.adb343logplain
-rw-r--r--incomplete3.ads486logplain
-rw-r--r--incomplete4.adb158logplain
-rw-r--r--incomplete4_pkg.ads181logplain
-rw-r--r--incomplete5.adb167logplain
-rw-r--r--incomplete5.ads357logplain
-rw-r--r--incomplete5_pkg.adb284logplain
-rw-r--r--incomplete5_pkg.ads333logplain
-rw-r--r--incomplete6.adb286logplain
-rw-r--r--incomplete6.ads432logplain
-rw-r--r--incomplete7.adb94logplain
-rw-r--r--incomplete7.ads623logplain
-rw-r--r--init_scalar1.adb405logplain
-rw-r--r--initializes.adb791logplain
-rw-r--r--initializes.ads226logplain
-rw-r--r--inline1.adb177logplain
-rw-r--r--inline10.adb144logplain
-rw-r--r--inline10_pkg.adb360logplain
-rw-r--r--inline10_pkg.ads100logplain
-rw-r--r--inline11.adb145logplain
-rw-r--r--inline11_pkg.adb245logplain
-rw-r--r--inline11_pkg.ads102logplain
-rw-r--r--inline12.adb321logplain
-rw-r--r--inline13.adb436logplain
-rw-r--r--inline13.ads154logplain
-rw-r--r--inline13_pkg.adb148logplain
-rw-r--r--inline13_pkg.ads189logplain
-rw-r--r--inline14.adb133logplain
-rw-r--r--inline14_pkg.adb213logplain
-rw-r--r--inline14_pkg.ads86logplain
-rw-r--r--inline15.adb167logplain
-rw-r--r--inline15_gen.adb825logplain
-rw-r--r--inline15_gen.ads207logplain
-rw-r--r--inline15_types.ads376logplain
-rw-r--r--inline16.adb592logplain
-rw-r--r--inline16_gen.adb511logplain
-rw-r--r--inline16_gen.ads186logplain
-rw-r--r--inline16_types.ads213logplain
-rw-r--r--inline17.adb197logplain
-rw-r--r--inline17_pkg1.adb234logplain
-rw-r--r--inline17_pkg1.ads91logplain
-rw-r--r--inline17_pkg2.ads227logplain
-rw-r--r--inline17_pkg3.adb244logplain
-rw-r--r--inline17_pkg3.ads354logplain
-rw-r--r--inline18.adb120logplain
-rw-r--r--inline18.ads125logplain
-rw-r--r--inline18_gen1-inner_g.ads115logplain
-rw-r--r--inline18_gen1.adb131logplain
-rw-r--r--inline18_gen1.ads202logplain
-rw-r--r--inline18_gen2.adb173logplain
-rw-r--r--inline18_gen2.ads155logplain
-rw-r--r--inline18_gen3.adb193logplain
-rw-r--r--inline18_gen3.ads211logplain
-rw-r--r--inline18_pkg1.adb163logplain
-rw-r--r--inline18_pkg1.ads362logplain
-rw-r--r--inline18_pkg2-child.ads174logplain
-rw-r--r--inline18_pkg2.ads44logplain
-rw-r--r--inline19.adb296logplain
-rw-r--r--inline19.ads121logplain
-rw-r--r--inline1_pkg.adb1032logplain
-rw-r--r--inline1_pkg.ads216logplain
-rw-r--r--inline2.adb216logplain
-rw-r--r--inline20.adb162logplain
-rw-r--r--inline20_g.adb360logplain
-rw-r--r--inline20_g.ads309logplain
-rw-r--r--inline20_h.ads344logplain
-rw-r--r--inline20_i.ads330logplain
-rw-r--r--inline20_q-io.ads52logplain
-rw-r--r--inline20_q.ads56logplain
-rw-r--r--inline20_r.ads186logplain
-rw-r--r--inline21.adb133logplain
-rw-r--r--inline21_g.ads101logplain
-rw-r--r--inline21_h.adb187logplain
-rw-r--r--inline21_h.ads149logplain
-rw-r--r--inline21_q.ads144logplain
-rw-r--r--inline2_pkg.adb1032logplain
-rw-r--r--inline2_pkg.ads202logplain
-rw-r--r--inline3.adb227logplain
-rw-r--r--inline3_pkg.adb247logplain
-rw-r--r--inline3_pkg.ads105logplain
-rw-r--r--inline4.adb102logplain
-rw-r--r--inline4_pkg.adb276logplain
-rw-r--r--inline4_pkg.ads105logplain
-rw-r--r--inline5.adb263logplain
-rw-r--r--inline5_pkg.adb246logplain
-rw-r--r--inline5_pkg.ads98logplain
-rw-r--r--inline6.adb141logplain
-rw-r--r--inline6_pkg.adb269logplain
-rw-r--r--inline6_pkg.ads98logplain
-rw-r--r--inline7.adb265logplain
-rw-r--r--inline7_pkg1.adb227logplain
-rw-r--r--inline7_pkg1.ads100logplain
-rw-r--r--inline7_pkg2.adb130logplain
-rw-r--r--inline7_pkg2.ads117logplain
-rw-r--r--inline8.adb143logplain
-rw-r--r--inline8_pkg1.adb250logplain
-rw-r--r--inline8_pkg1.ads100logplain
-rw-r--r--inline8_pkg2.adb130logplain
-rw-r--r--inline8_pkg2.ads117logplain
-rw-r--r--inline9.adb263logplain
-rw-r--r--inline9_pkg.adb335logplain
-rw-r--r--inline9_pkg.ads98logplain
-rw-r--r--inline_always1.adb1219logplain
-rw-r--r--inline_scope.adb362logplain
-rw-r--r--inline_scope_p.adb174logplain
-rw-r--r--inline_scope_p.ads116logplain
-rw-r--r--inline_tagged.adb935logplain
-rw-r--r--interface1.adb481logplain
-rw-r--r--interface10.adb450logplain
-rw-r--r--interface2.adb490logplain
-rw-r--r--interface3.adb709logplain
-rw-r--r--interface4.adb279logplain
-rw-r--r--interface5.adb186logplain
-rw-r--r--interface5.ads258logplain
-rw-r--r--interface6.adb1038logplain
-rw-r--r--interface7.adb324logplain
-rw-r--r--interface8.adb181logplain
-rw-r--r--interface8.ads279logplain
-rw-r--r--interface9.adb193logplain
-rw-r--r--interface9_root-child.ads240logplain
-rw-r--r--interface9_root.ads323logplain
-rw-r--r--interface_conv.adb381logplain
-rw-r--r--invalid1.adb1084logplain
-rw-r--r--invariant_index.adb337logplain
-rw-r--r--invariant_index.ads142logplain
-rw-r--r--iprot_test.adb772logplain
-rw-r--r--iter1.adb541logplain
-rw-r--r--iter1.ads219logplain
-rw-r--r--iter2.adb639logplain
-rw-r--r--iter2.ads100logplain
-rw-r--r--iter3.adb328logplain
-rw-r--r--iter4.adb1095logplain
-rw-r--r--iter5.adb222logplain
-rw-r--r--iter5_pkg.ads3790logplain
-rw-r--r--iter6.adb1003logplain
-rw-r--r--itype.adb161logplain
-rw-r--r--itype.ads113logplain
-rw-r--r--itypes.adb519logplain
-rw-r--r--itypes.ads45logplain
-rw-r--r--kill_value.adb368logplain
-rw-r--r--langdw2.adb324logplain
-rw-r--r--langdw3.adb323logplain
-rw-r--r--late_overriding.adb401logplain
-rw-r--r--layered_abstraction.adb442logplain
-rw-r--r--layered_abstraction.ads626logplain
-rw-r--r--layered_abstraction_p.ads108logplain
-rw-r--r--layered_instance.adb305logplain
-rw-r--r--lhs_view_convert.adb544logplain
-rw-r--r--limited1.adb136logplain
-rw-r--r--limited1_inner.adb354logplain
-rw-r--r--limited1_inner.ads505logplain
-rw-r--r--limited1_outer.adb147logplain
-rw-r--r--limited1_outer.ads225logplain
-rw-r--r--limited2.adb141logplain
-rw-r--r--limited2_pack_1.adb112logplain
-rw-r--r--limited2_pack_1.ads156logplain
-rw-r--r--limited2_pack_2.adb453logplain
-rw-r--r--limited2_pack_2.ads108logplain
-rw-r--r--limited3.adb182logplain
-rw-r--r--limited3_pkg.adb448logplain
-rw-r--r--limited3_pkg.ads675logplain
-rw-r--r--limited4.adb1501logplain
-rw-r--r--limited_aggr.adb98logplain
-rw-r--r--limited_aggr.ads220logplain
-rw-r--r--limited_with.adb170logplain
-rw-r--r--limited_with.ads120logplain
-rw-r--r--limited_with2.adb200logplain
-rw-r--r--limited_with2.ads207logplain
-rw-r--r--limited_with2_pkg1.ads170logplain
-rw-r--r--limited_with2_pkg2.ads145logplain
-rw-r--r--limited_with3.adb137logplain
-rw-r--r--limited_with3.ads298logplain
-rw-r--r--limited_with3_pkg1.adb467logplain
-rw-r--r--limited_with3_pkg1.ads788logplain
-rw-r--r--limited_with3_pkg2.ads181logplain
-rw-r--r--limited_with3_pkg3.ads246logplain
-rw-r--r--limited_with4.adb921logplain
-rw-r--r--limited_with4.ads756logplain
-rw-r--r--limited_with4_pkg.ads356logplain
-rw-r--r--limited_with5.adb290logplain
-rw-r--r--limited_with5.ads144logplain
-rw-r--r--limited_with5_pkg.adb232logplain
-rw-r--r--limited_with5_pkg.ads227logplain
-rw-r--r--limited_with6.adb290logplain
-rw-r--r--limited_with6.ads216logplain
-rw-r--r--limited_with6_pkg.adb276logplain
-rw-r--r--limited_with6_pkg.ads299logplain
-rw-r--r--limited_with7.adb207logplain
-rw-r--r--limited_with7.ads130logplain
-rw-r--r--limited_with7_pkg.ads124logplain
-rw-r--r--linkedlist.adb30407logplain
-rw-r--r--loop_address.adb487logplain
-rw-r--r--loop_address2.adb534logplain
-rw-r--r--loop_boolean.adb276logplain
-rw-r--r--loop_bound.adb623logplain
-rw-r--r--loop_entry1.adb278logplain
-rw-r--r--loop_entry2.adb266logplain
-rw-r--r--loop_invariant1.adb349logplain
-rw-r--r--loop_invariant1.ads145logplain
-rw-r--r--loop_optimization1.adb632logplain
-rw-r--r--loop_optimization1.ads846logplain
-rw-r--r--loop_optimization10.adb418logplain
-rw-r--r--loop_optimization10.ads360logplain
-rw-r--r--loop_optimization10_pkg.ads250logplain
-rw-r--r--loop_optimization11.adb468logplain
-rw-r--r--loop_optimization11_pkg.ads276logplain
-rw-r--r--loop_optimization12.adb618logplain
-rw-r--r--loop_optimization12.ads554logplain
-rw-r--r--loop_optimization13.adb537logplain
-rw-r--r--loop_optimization13.ads451logplain
-rw-r--r--loop_optimization13_pkg.ads82logplain
-rw-r--r--loop_optimization14.adb554logplain
-rw-r--r--loop_optimization14.ads209logplain
-rw-r--r--loop_optimization14_pkg.ads106logplain
-rw-r--r--loop_optimization15.adb459logplain
-rw-r--r--loop_optimization15.ads181logplain
-rw-r--r--loop_optimization16.adb450logplain
-rw-r--r--loop_optimization16_pkg.adb155logplain
-rw-r--r--loop_optimization16_pkg.ads133logplain
-rw-r--r--loop_optimization17.adb438logplain
-rw-r--r--loop_optimization17_pkg.adb135logplain
-rw-r--r--loop_optimization17_pkg.ads611logplain
-rw-r--r--loop_optimization18.adb291logplain
-rw-r--r--loop_optimization18.ads165logplain
-rw-r--r--loop_optimization18_pkg.ads345logplain
-rw-r--r--loop_optimization19.adb985logplain
-rw-r--r--loop_optimization2.adb1253logplain
-rw-r--r--loop_optimization2.ads1180logplain
-rw-r--r--loop_optimization20.adb774logplain
-rw-r--r--loop_optimization21.adb463logplain
-rw-r--r--loop_optimization21.ads189logplain
-rw-r--r--loop_optimization22.adb425logplain
-rw-r--r--loop_optimization22.ads150logplain
-rw-r--r--loop_optimization23.adb305logplain
-rw-r--r--loop_optimization23_pkg.adb280logplain
-rw-r--r--loop_optimization23_pkg.ads435logplain
-rw-r--r--loop_optimization24.adb870logplain
-rw-r--r--loop_optimization3.adb315logplain
-rw-r--r--loop_optimization3_pkg.adb143logplain
-rw-r--r--loop_optimization3_pkg.ads107logplain
-rw-r--r--loop_optimization4.adb162logplain
-rw-r--r--loop_optimization4_pkg.adb461logplain
-rw-r--r--loop_optimization4_pkg.ads265logplain
-rw-r--r--loop_optimization5.adb579logplain
-rw-r--r--loop_optimization5_pkg.ads191logplain
-rw-r--r--loop_optimization6.adb433logplain
-rw-r--r--loop_optimization6.ads92logplain
-rw-r--r--loop_optimization7.adb334logplain
-rw-r--r--loop_optimization7.ads191logplain
-rw-r--r--loop_optimization7_pkg.ads171logplain
-rw-r--r--loop_optimization8.adb597logplain
-rw-r--r--loop_optimization8_pkg1.adb381logplain
-rw-r--r--loop_optimization8_pkg1.ads468logplain
-rw-r--r--loop_optimization8_pkg2.adb285logplain
-rw-r--r--loop_optimization8_pkg2.ads392logplain
-rw-r--r--loop_optimization9.adb3357logplain
-rw-r--r--loop_optimization9.ads432logplain
-rw-r--r--loop_unchecked_conversion.adb714logplain
-rw-r--r--loop_unchecked_conversion.ads90logplain
-rw-r--r--loopvar.adb710logplain
-rw-r--r--lto1.adb256logplain
-rw-r--r--lto10.adb252logplain
-rw-r--r--lto10_pkg.ads329logplain
-rw-r--r--lto11.adb459logplain
-rw-r--r--lto11.ads198logplain
-rw-r--r--lto13.adb133logplain
-rw-r--r--lto13_pkg.adb132logplain
-rw-r--r--lto13_pkg.ads76logplain
-rw-r--r--lto14.adb177logplain
-rw-r--r--lto15.adb197logplain
-rw-r--r--lto15.ads207logplain
-rw-r--r--lto16.adb288logplain
-rw-r--r--lto16_pkg.adb338logplain
-rw-r--r--lto16_pkg.ads65logplain
-rw-r--r--lto17.adb228logplain
-rw-r--r--lto17.ads446logplain
-rw-r--r--lto18.adb365logplain
-rw-r--r--lto18.ads97logplain
-rw-r--r--lto18_pkg.ads656logplain
-rw-r--r--lto19.adb184logplain
-rw-r--r--lto19_pkg1.adb92logplain
-rw-r--r--lto19_pkg1.ads206logplain
-rw-r--r--lto19_pkg2.adb98logplain
-rw-r--r--lto19_pkg2.ads70logplain
-rw-r--r--lto1_pkg.adb570logplain
-rw-r--r--lto1_pkg.ads737logplain
-rw-r--r--lto2.adb589logplain
-rw-r--r--lto20.adb145logplain
-rw-r--r--lto20_pkg.adb143logplain
-rw-r--r--lto20_pkg.ads308logplain
-rw-r--r--lto21.adb153logplain
-rw-r--r--lto21_pkg1.ads194logplain
-rw-r--r--lto21_pkg2.adb670logplain
-rw-r--r--lto21_pkg2.ads59logplain
-rw-r--r--lto22.adb120logplain
-rw-r--r--lto22_pkg1.ads100logplain
-rw-r--r--lto22_pkg2.adb131logplain
-rw-r--r--lto22_pkg2.ads267logplain
-rw-r--r--lto23.adb350logplain
-rw-r--r--lto24.adb163logplain
-rw-r--r--lto24_pkg1.ads340logplain
-rw-r--r--lto24_pkg2.adb108logplain
-rw-r--r--lto24_pkg2.ads71logplain
-rw-r--r--lto4.adb281logplain
-rw-r--r--lto4.ads581logplain
-rw-r--r--lto5.adb113logplain
-rw-r--r--lto5_pkg.adb85logplain
-rw-r--r--lto5_pkg.ads108logplain
-rw-r--r--lto6.adb284logplain
-rw-r--r--lto6_pkg.ads235logplain
-rw-r--r--lto7.adb253logplain
-rw-r--r--lto7_pkg.adb143logplain
-rw-r--r--lto7_pkg.ads390logplain
-rw-r--r--lto8.adb382logplain
-rw-r--r--lto8_pkg.adb183logplain
-rw-r--r--lto8_pkg.ads480logplain
-rw-r--r--lto9.adb267logplain
-rw-r--r--lto9_pkg1.ads623logplain
-rw-r--r--lto9_pkg2.adb249logplain
-rw-r--r--lto9_pkg2.ads482logplain
-rw-r--r--machine_attr1.adb565logplain
-rw-r--r--machine_attr1.ads537logplain
-rw-r--r--machine_code1.adb308logplain
-rw-r--r--max_align.adb256logplain
-rw-r--r--max_size.adb258logplain
-rw-r--r--max_size_pkg.ads188logplain
-rw-r--r--md5_test.adb379logplain
-rw-r--r--memorytest.adb583logplain
-rw-r--r--memtrap.adb273logplain
-rw-r--r--misaligned_nest.adb387logplain
-rw-r--r--misaligned_param.adb633logplain
-rw-r--r--misaligned_param_pkg.adb305logplain
-rw-r--r--misaligned_param_pkg.ads108logplain
-rw-r--r--misaligned_volatile.adb526logplain
-rw-r--r--missing_acc_check.adb807logplain
-rw-r--r--modify_a_constant.adb566logplain
-rw-r--r--modular1.adb424logplain
-rw-r--r--modular2.adb113logplain
-rw-r--r--modular3.adb454logplain
-rw-r--r--modular3_pkg.ads239logplain
-rw-r--r--modular4.adb185logplain
-rw-r--r--modular4_pkg.ads130logplain
-rw-r--r--modular5.adb777logplain
-rw-r--r--multfixed.adb664logplain
-rw-r--r--mutable1.adb668logplain
-rw-r--r--my_env_versioned_value_set_g.ads201logplain
-rw-r--r--named_test.adb559logplain
-rw-r--r--namet.ads196logplain
-rw-r--r--nan_max.adb528logplain
-rw-r--r--nat1.ads162logplain
-rw-r--r--nat1r.adb221logplain
-rw-r--r--nested_agg_bitfield_constructor.adb693logplain
-rw-r--r--nested_controlled_alloc.adb1021logplain
-rw-r--r--nested_float_packed.ads438logplain
-rw-r--r--nested_generic1.adb212logplain
-rw-r--r--nested_generic1_pkg.adb229logplain
-rw-r--r--nested_generic1_pkg.ads191logplain
-rw-r--r--nested_generic2.adb104logplain
-rw-r--r--nested_generic2.ads307logplain
-rw-r--r--nested_generic2_g1.adb279logplain
-rw-r--r--nested_generic2_g1.ads240logplain
-rw-r--r--nested_generic2_g2.ads158logplain
-rw-r--r--nested_proc1.adb567logplain
-rw-r--r--nested_proc2.adb443logplain
-rw-r--r--nested_return_test.adb892logplain
-rw-r--r--nested_subtype_byref.adb398logplain
-rw-r--r--nested_subtype_byref.ads58logplain
-rw-r--r--no_caching.adb634logplain
-rw-r--r--no_caching.ads310logplain
-rw-r--r--no_exc_prop.adb327logplain
-rw-r--r--no_exc_prop.ads233logplain
-rw-r--r--no_final.adb564logplain
-rw-r--r--noinline2.adb455logplain
-rw-r--r--noinline2.ads84logplain
-rw-r--r--noreturn1.adb330logplain
-rw-r--r--noreturn1.ads159logplain
-rw-r--r--noreturn2.adb599logplain
-rw-r--r--noreturn2.ads166logplain
-rw-r--r--noreturn3.adb533logplain
-rw-r--r--noreturn3.ads227logplain
-rw-r--r--noreturn4.adb348logplain
-rw-r--r--noreturn4.ads214logplain
-rw-r--r--noreturn4_pkg.ads410logplain
-rw-r--r--noreturn5.adb644logplain
-rw-r--r--noreturn5.ads132logplain
-rw-r--r--normalize_pathname.adb224logplain
-rw-r--r--not_null.adb487logplain
-rw-r--r--notnot.adb201logplain
-rw-r--r--null_check.adb418logplain
-rw-r--r--null_pointer_deref1.adb507logplain
-rw-r--r--null_pointer_deref2.adb592logplain
-rw-r--r--null_pointer_deref3.adb553logplain
-rw-r--r--oalign1.ads108logplain
-rw-r--r--oalign2.ads108logplain
-rw-r--r--object_overflow1.adb280logplain
-rw-r--r--object_overflow2.adb290logplain
-rw-r--r--object_overflow3.adb357logplain
-rw-r--r--object_overflow4.adb462logplain
-rw-r--r--object_overflow5.adb468logplain
-rw-r--r--object_size1.adb344logplain
-rw-r--r--oconst1.adb300logplain
-rw-r--r--oconst1.ads382logplain
-rw-r--r--oconst2.adb241logplain
-rw-r--r--oconst2.ads351logplain
-rw-r--r--oconst3.adb269logplain
-rw-r--r--oconst3.ads426logplain
-rw-r--r--oconst4.adb519logplain
-rw-r--r--oconst4.ads1375logplain
-rw-r--r--oconst5.adb299logplain
-rw-r--r--oconst5.ads522logplain
-rw-r--r--old_errors.ads66logplain
-rw-r--r--openacc1.adb254logplain
-rw-r--r--opt1.adb644logplain
-rw-r--r--opt1.ads310logplain
-rw-r--r--opt10.adb477logplain
-rw-r--r--opt10_pkg.ads297logplain
-rw-r--r--opt11.adb160logplain
-rw-r--r--opt11.ads316logplain
-rw-r--r--opt12.adb288logplain
-rw-r--r--opt12_pkg.adb149logplain
-rw-r--r--opt12_pkg.ads245logplain
-rw-r--r--opt13.adb186logplain
-rw-r--r--opt13_pkg.adb587logplain
-rw-r--r--opt13_pkg.ads192logplain
-rw-r--r--opt14.adb364logplain
-rw-r--r--opt15.adb221logplain
-rw-r--r--opt15_pkg.adb184logplain
-rw-r--r--opt15_pkg.ads98logplain
-rw-r--r--opt16.adb723logplain
-rw-r--r--opt17.adb196logplain
-rw-r--r--opt17.ads89logplain
-rw-r--r--opt18.adb986logplain
-rw-r--r--opt18.ads642logplain
-rw-r--r--opt18_pkg.ads529logplain
-rw-r--r--opt19.adb477logplain
-rw-r--r--opt2.adb564logplain
-rw-r--r--opt20.adb504logplain
-rw-r--r--opt20.ads114logplain
-rw-r--r--opt20_pkg.ads263logplain
-rw-r--r--opt21.adb167logplain
-rw-r--r--opt21_pkg.adb352logplain
-rw-r--r--opt21_pkg.ads298logplain
-rw-r--r--opt22.adb301logplain
-rw-r--r--opt22_pkg.adb239logplain
-rw-r--r--opt22_pkg.ads89logplain
-rw-r--r--opt23.adb355logplain
-rw-r--r--opt23.ads97logplain
-rw-r--r--opt23_pkg.adb156logplain
-rw-r--r--opt23_pkg.ads654logplain
-rw-r--r--opt24.adb307logplain
-rw-r--r--opt24.ads97logplain
-rw-r--r--opt25.adb354logplain
-rw-r--r--opt25_pkg1.adb156logplain
-rw-r--r--opt25_pkg1.ads154logplain
-rw-r--r--opt25_pkg2.adb150logplain
-rw-r--r--opt25_pkg2.ads379logplain
-rw-r--r--opt26.adb715logplain
-rw-r--r--opt27.adb596logplain
-rw-r--r--opt27_pkg.adb802logplain
-rw-r--r--opt27_pkg.ads662logplain
-rw-r--r--opt28.adb841logplain
-rw-r--r--opt28.ads136logplain
-rw-r--r--opt28_pkg.ads397logplain
-rw-r--r--opt29.adb222logplain
-rw-r--r--opt29.ads493logplain
-rw-r--r--opt3.adb230logplain
-rw-r--r--opt30.adb418logplain
-rw-r--r--opt31.adb924logplain
-rw-r--r--opt32.adb745logplain
-rw-r--r--opt33.adb813logplain
-rw-r--r--opt34.adb608logplain
-rw-r--r--opt34_pkg.ads310logplain
-rw-r--r--opt35.adb347logplain
-rw-r--r--opt35_pkg.adb164logplain
-rw-r--r--opt35_pkg.ads115logplain
-rw-r--r--opt36.adb354logplain
-rw-r--r--opt37.adb1075logplain
-rw-r--r--opt37.ads493logplain
-rw-r--r--opt38.adb124logplain
-rw-r--r--opt38_pkg.adb482logplain
-rw-r--r--opt38_pkg.ads70logplain
-rw-r--r--opt39.adb586logplain
-rw-r--r--opt3_pkg.ads71logplain
-rw-r--r--opt4.adb303logplain
-rw-r--r--opt40.adb330logplain
-rw-r--r--opt41.adb396logplain
-rw-r--r--opt41_pkg.adb1602logplain
-rw-r--r--opt41_pkg.ads682logplain
-rw-r--r--opt42.adb573logplain
-rw-r--r--opt42.ads235logplain
-rw-r--r--opt43.adb280logplain
-rw-r--r--opt44.adb411logplain
-rw-r--r--opt44.ads172logplain
-rw-r--r--opt45.adb851logplain
-rw-r--r--opt46.adb1099logplain
-rw-r--r--opt46.ads282logplain
-rw-r--r--opt46_pkg.adb170logplain
-rw-r--r--opt46_pkg.ads679logplain
-rw-r--r--opt47.adb932logplain
-rw-r--r--opt48.adb217logplain
-rw-r--r--opt48_pkg1.adb265logplain
-rw-r--r--opt48_pkg1.ads104logplain
-rw-r--r--opt48_pkg2.adb127logplain
-rw-r--r--opt48_pkg2.ads162logplain
-rw-r--r--opt49.adb771logplain
-rw-r--r--opt5.adb368logplain
-rw-r--r--opt50.adb395logplain
-rw-r--r--opt50_pkg.adb1427logplain
-rw-r--r--opt50_pkg.ads284logplain
-rw-r--r--opt51.adb403logplain
-rw-r--r--opt51_pkg.ads72logplain
-rw-r--r--opt52.adb244logplain
-rw-r--r--opt53.adb271logplain
-rw-r--r--opt54.adb269logplain
-rw-r--r--opt55.adb387logplain
-rw-r--r--opt55.ads428logplain
-rw-r--r--opt56.adb312logplain
-rw-r--r--opt56.ads140logplain
-rw-r--r--opt57.adb2628logplain
-rw-r--r--opt57.ads1411logplain
-rw-r--r--opt57_pkg.ads332logplain
-rw-r--r--opt58.adb377logplain
-rw-r--r--opt58_pkg.ads369logplain
-rw-r--r--opt59.adb895logplain
-rw-r--r--opt59_pkg.adb328logplain
-rw-r--r--opt59_pkg.ads209logplain
-rw-r--r--opt6.adb600logplain
-rw-r--r--opt6.ads389logplain
-rw-r--r--opt60.adb405logplain
-rw-r--r--opt61.adb360logplain
-rw-r--r--opt61_pkg.adb3368logplain
-rw-r--r--opt61_pkg.ads203logplain
-rw-r--r--opt62.adb274logplain
-rw-r--r--opt62_pkg.ads483logplain
-rw-r--r--opt63.adb471logplain
-rw-r--r--opt64.adb514logplain
-rw-r--r--opt64_pkg.adb315logplain
-rw-r--r--opt64_pkg.ads128logplain
-rw-r--r--opt65.adb727logplain
-rw-r--r--opt66.adb205logplain
-rw-r--r--opt67.adb910logplain
-rw-r--r--opt67_pkg.adb518logplain
-rw-r--r--opt67_pkg.ads823logplain
-rw-r--r--opt68.adb1286logplain
-rw-r--r--opt68.ads518logplain
-rw-r--r--opt69.adb508logplain
-rw-r--r--opt7.adb1248logplain
-rw-r--r--opt7.ads291logplain
-rw-r--r--opt70.adb251logplain
-rw-r--r--opt70_pkg.adb1687logplain
-rw-r--r--opt70_pkg.ads130logplain
-rw-r--r--opt71_pkg.ads142logplain
-rw-r--r--opt71a.adb340logplain
-rw-r--r--opt71b.adb350logplain
-rw-r--r--opt72_pkg.ads218logplain
-rw-r--r--opt72a.adb340logplain
-rw-r--r--opt72b.adb350logplain
-rw-r--r--opt73.adb945logplain
-rw-r--r--opt74.adb214logplain
-rw-r--r--opt74_pkg.adb345logplain
-rw-r--r--opt74_pkg.ads153logplain
-rw-r--r--opt75.adb112logplain
-rw-r--r--opt75_pkg.adb281logplain
-rw-r--r--opt75_pkg.ads665logplain
-rw-r--r--opt76.adb859logplain
-rw-r--r--opt77.adb234logplain
-rw-r--r--opt77_pkg.adb516logplain
-rw-r--r--opt77_pkg.ads111logplain
-rw-r--r--opt78.adb287logplain
-rw-r--r--opt78.ads242logplain
-rw-r--r--opt79.adb362logplain
-rw-r--r--opt79.ads111logplain
-rw-r--r--opt7_pkg.ads68logplain
-rw-r--r--opt8.adb1350logplain
-rw-r--r--opt8.ads1247logplain
-rw-r--r--opt80.adb279logplain
-rw-r--r--opt81.adb539logplain
-rw-r--r--opt81.ads247logplain
-rw-r--r--opt82.adb249logplain
-rw-r--r--opt82_pkg.ads178logplain
-rw-r--r--opt8_pkg.ads123logplain
-rw-r--r--opt9.adb390logplain
-rw-r--r--opt9_pkg.ads57logplain
-rw-r--r--others1.adb349logplain
-rw-r--r--out_param.adb603logplain
-rw-r--r--outer_agg_bitfield_constructor.adb845logplain
-rw-r--r--overflow_fixed.adb365logplain
-rw-r--r--overflow_sum.adb1822logplain
-rw-r--r--overflow_sum2.adb902logplain
-rw-r--r--overflow_sum3.adb340logplain
-rw-r--r--overload.adb383logplain
-rw-r--r--overload.ads360logplain
-rw-r--r--overload2.adb252logplain
-rw-r--r--overload2_p.adb164logplain
-rw-r--r--overload2_p.ads134logplain
-rw-r--r--overload2_q.adb137logplain
-rw-r--r--overload2_q.ads100logplain
-rw-r--r--overriding_ops.adb328logplain
-rw-r--r--overriding_ops.ads407logplain
-rw-r--r--overriding_ops2.adb175logplain
-rw-r--r--overriding_ops2.ads301logplain
-rw-r--r--overriding_ops2_pkg-high.ads200logplain
-rw-r--r--overriding_ops2_pkg.ads296logplain
-rw-r--r--overriding_ops_p.ads281logplain
-rw-r--r--pack1.ads126logplain
-rw-r--r--pack10.adb507logplain
-rw-r--r--pack11.adb387logplain
-rw-r--r--pack12.adb529logplain
-rw-r--r--pack13.adb191logplain
-rw-r--r--pack13.ads734logplain
-rw-r--r--pack13_pkg.ads223logplain
-rw-r--r--pack14.adb224logplain
-rw-r--r--pack15.adb134logplain
-rw-r--r--pack15.ads383logplain
-rw-r--r--pack16.adb471logplain
-rw-r--r--pack16_pkg.ads62logplain
-rw-r--r--pack17.adb891logplain
-rw-r--r--pack18.adb220logplain
-rw-r--r--pack18_pkg.ads465logplain
-rw-r--r--pack19.adb1088logplain
-rw-r--r--pack2.adb376logplain
-rw-r--r--pack20.adb137logplain
-rw-r--r--pack20.ads240logplain
-rw-r--r--pack20_pkg.ads131logplain
-rw-r--r--pack21.adb526logplain
-rw-r--r--pack22.adb390logplain
-rw-r--r--pack22_pkg.adb367logplain
-rw-r--r--pack22_pkg.ads1619logplain
-rw-r--r--pack23.adb227logplain
-rw-r--r--pack23_pkg.ads93logplain
-rw-r--r--pack24.adb659logplain
-rw-r--r--pack25.adb445logplain
-rw-r--r--pack26.adb368logplain
-rw-r--r--pack3.adb532logplain
-rw-r--r--pack4.adb590logplain
-rw-r--r--pack5.adb508logplain
-rw-r--r--pack6.adb406logplain
-rw-r--r--pack7.adb397logplain
-rw-r--r--pack8.adb428logplain
-rw-r--r--pack9.adb364logplain
-rw-r--r--pack9.ads256logplain
-rw-r--r--packed_array.adb63logplain
-rw-r--r--packed_array.ads168logplain
-rw-r--r--packed_array_pkg.ads363logplain
-rw-r--r--packed_subtype.adb372logplain
-rw-r--r--pak.adb445logplain
-rw-r--r--pak.ads227logplain
-rw-r--r--parameterlessfunc.adb358logplain
-rw-r--r--parent_ltd_with-child_full_view.adb303logplain
-rw-r--r--parent_ltd_with-child_full_view.ads349logplain
-rw-r--r--parent_ltd_with.ads304logplain
-rw-r--r--part_of1-instantiation.adb218logplain
-rw-r--r--part_of1-instantiation.ads120logplain
-rw-r--r--part_of1-private_generic.adb279logplain
-rw-r--r--part_of1-private_generic.ads242logplain
-rw-r--r--part_of1.ads34logplain
-rw-r--r--pointer_array.adb230logplain
-rw-r--r--pointer_controlled.adb676logplain
-rw-r--r--pointer_conversion.adb429logplain
-rw-r--r--pointer_discr1.adb172logplain
-rw-r--r--pointer_discr1_pkg1.ads162logplain
-rw-r--r--pointer_discr1_pkg2.ads259logplain
-rw-r--r--pointer_discr1_pkg3.ads243logplain
-rw-r--r--pointer_protected.adb214logplain
-rw-r--r--pointer_protected_p.ads182logplain
-rw-r--r--pointer_variable_bounds.adb626logplain
-rw-r--r--pointer_variable_bounds.ads590logplain
-rw-r--r--pointer_variable_bounds_q.ads165logplain
-rw-r--r--predicate1.adb813logplain
-rw-r--r--predicate10.adb151logplain
-rw-r--r--predicate10_pkg.adb195logplain
-rw-r--r--predicate10_pkg.ads310logplain
-rw-r--r--predicate11.adb710logplain
-rw-r--r--predicate12.adb124logplain
-rw-r--r--predicate12.ads1273logplain
-rw-r--r--predicate13.adb73logplain
-rw-r--r--predicate13.ads400logplain
-rw-r--r--predicate14.adb96logplain
-rw-r--r--predicate14.ads1440logplain
-rw-r--r--predicate2-containers.ads308logplain
-rw-r--r--predicate2-project-name_values.ads984logplain
-rw-r--r--predicate2-project-registry-attribute.ads138logplain
-rw-r--r--predicate2-project-registry.ads77logplain
-rw-r--r--predicate2-project-typ-set.ads296logplain
-rw-r--r--predicate2-project-typ.ads612logplain
-rw-r--r--predicate2-project.ads60logplain
-rw-r--r--predicate2-source_reference.ads785logplain
-rw-r--r--predicate2.ads403logplain
-rw-r--r--predicate2_main.adb274logplain
-rw-r--r--predicate3.adb669logplain
-rw-r--r--predicate3_pkg.ads500logplain
-rw-r--r--predicate4.adb408logplain
-rw-r--r--predicate4_pkg.ads415logplain
-rw-r--r--predicate5.adb92logplain
-rw-r--r--predicate5.ads440logplain
-rw-r--r--predicate6.adb92logplain
-rw-r--r--predicate6.ads423logplain
-rw-r--r--predicate7.adb109logplain
-rw-r--r--predicate7.ads351logplain
-rw-r--r--predicate7_pkg.ads113logplain
-rw-r--r--predicate8.adb254logplain
-rw-r--r--predicate8_pkg.adb1575logplain
-rw-r--r--predicate8_pkg.ads2374logplain
-rw-r--r--predicate9.adb513logplain
-rw-r--r--prefetch1.adb718logplain
-rw-r--r--prefetch1.ads190logplain
-rw-r--r--prefix1.adb208logplain
-rw-r--r--prefix1.ads148logplain
-rw-r--r--prefix2.adb958logplain
-rw-r--r--prefix2.ads743logplain
-rw-r--r--private_overriding.adb1536logplain
-rw-r--r--profile_warning.adb59logplain
-rw-r--r--profile_warning.ads165logplain
-rw-r--r--profile_warning_p.adb283logplain
-rw-r--r--profile_warning_p.ads64logplain
-rw-r--r--prot1.adb443logplain
-rw-r--r--prot2.adb396logplain
-rw-r--r--prot2.ads50logplain
-rw-r--r--prot2_pkg1.ads72logplain
-rw-r--r--prot2_pkg2.adb395logplain
-rw-r--r--prot2_pkg2.ads216logplain
-rw-r--r--prot3.adb95logplain
-rw-r--r--prot3_pkg.adb295logplain
-rw-r--r--prot3_pkg.ads288logplain
-rw-r--r--prot4.adb512logplain
-rw-r--r--prot5.adb359logplain
-rw-r--r--prot5_pkg.adb273logplain
-rw-r--r--prot5_pkg.ads185logplain
-rw-r--r--prot6.adb325logplain
-rw-r--r--prot6.ads711logplain
-rw-r--r--prot7.adb498logplain
-rw-r--r--prot7.ads348logplain
-rw-r--r--prot8.adb95logplain
-rw-r--r--prot8.ads138logplain
-rw-r--r--prot9.adb160logplain
-rw-r--r--prot9_gen.ads177logplain
-rw-r--r--prot9_pkg1.ads153logplain
-rw-r--r--prot9_pkg2.ads288logplain
-rw-r--r--prot_def.adb809logplain
-rw-r--r--protected_func.adb470logplain
-rw-r--r--protected_func.ads244logplain
-rw-r--r--protected_null.adb282logplain
-rw-r--r--protected_self_ref1.adb450logplain
-rw-r--r--protected_self_ref2.adb314logplain
-rw-r--r--pure_function1.adb444logplain
-rw-r--r--pure_function1.ads148logplain
-rw-r--r--pure_function2.adb497logplain
-rw-r--r--pure_function2.ads191logplain
-rw-r--r--pure_function3_pkg.ads329logplain
-rw-r--r--pure_function3a.adb364logplain
-rw-r--r--pure_function3b.adb384logplain
-rw-r--r--pure_function3c.adb380logplain
-rw-r--r--pure_subp_body.adb392logplain
-rw-r--r--pure_subp_body_pkg.ads54logplain
-rw-r--r--quote.adb162logplain
-rw-r--r--raise_ce.adb60logplain
-rw-r--r--raise_expr.adb424logplain
-rw-r--r--raise_from_pure.adb197logplain
-rw-r--r--raise_from_pure.ads105logplain
-rw-r--r--range_check.adb320logplain
-rw-r--r--range_check2.adb334logplain
-rw-r--r--range_check3.adb255logplain
-rw-r--r--range_check3_pkg.adb380logplain
-rw-r--r--range_check3_pkg.ads264logplain
-rw-r--r--range_check5.adb360logplain
-rw-r--r--range_check6.adb414logplain
-rw-r--r--range_check7.adb353logplain
-rw-r--r--rational_arithmetic.ads1017logplain
-rw-r--r--recursive_call.adb248logplain
-rw-r--r--ref_type.adb209logplain
-rw-r--r--ref_type.ads103logplain
-rw-r--r--regpat1.adb241logplain
-rw-r--r--release_unc_maxalign.adb428logplain
-rw-r--r--remote_call_iface.adb133logplain
-rw-r--r--remote_call_iface.ads112logplain
-rw-r--r--remote_type.adb468logplain
-rw-r--r--remote_type.ads583logplain
-rw-r--r--renaming1.adb243logplain
-rw-r--r--renaming1.ads83logplain
-rw-r--r--renaming10.adb253logplain
-rw-r--r--renaming10.ads148logplain
-rw-r--r--renaming11.adb214logplain
-rw-r--r--renaming11.ads378logplain
-rw-r--r--renaming12.adb95logplain
-rw-r--r--renaming12.ads399logplain
-rw-r--r--renaming13.adb370logplain
-rw-r--r--renaming14.adb585logplain
-rw-r--r--renaming15.adb880logplain
-rw-r--r--renaming2.adb1705logplain
-rw-r--r--renaming3.adb213logplain
-rw-r--r--renaming4.ads342logplain
-rw-r--r--renaming5.adb576logplain
-rw-r--r--renaming5.ads57logplain
-rw-r--r--renaming6.adb561logplain
-rw-r--r--renaming6.ads238logplain
-rw-r--r--renaming7.adb216logplain
-rw-r--r--renaming7_pkg.ads61logplain
-rw-r--r--renaming8.adb172logplain
-rw-r--r--renaming8_pkg1.ads119logplain
-rw-r--r--renaming8_pkg2.adb131logplain
-rw-r--r--renaming8_pkg2.ads231logplain
-rw-r--r--renaming8_pkg3.adb123logplain
-rw-r--r--renaming8_pkg3.ads86logplain
-rw-r--r--renaming9.adb136logplain
-rw-r--r--renaming9.ads295logplain
-rw-r--r--rep_clause1.adb2453logplain
-rw-r--r--rep_clause2.adb241logplain
-rw-r--r--rep_clause2.ads1081logplain
-rw-r--r--rep_clause3.adb867logplain
-rw-r--r--rep_clause4.adb615logplain
-rw-r--r--rep_clause5.adb1017logplain
-rw-r--r--rep_clause5.ads243logplain
-rw-r--r--rep_clause5_pkg.ads7321logplain
-rw-r--r--rep_clause6.adb96logplain
-rw-r--r--rep_clause6.ads1418logplain
-rw-r--r--rep_clause7.adb463logplain
-rw-r--r--rep_clause8.adb472logplain
-rw-r--r--rep_clause9.adb616logplain
-rw-r--r--requeue1.adb953logplain
-rw-r--r--return1.adb268logplain
-rw-r--r--return1.ads238logplain
-rw-r--r--return2.adb722logplain
-rw-r--r--return2.ads349logplain
-rw-r--r--return2_pkg.ads133logplain
-rw-r--r--return3.adb162logplain
-rw-r--r--return4.adb335logplain
-rw-r--r--return4_pkg.adb178logplain
-rw-r--r--return4_pkg.ads151logplain
-rw-r--r--round_div.adb385logplain
-rw-r--r--rt1.adb180logplain
-rw-r--r--rt1.ads419logplain
-rw-r--r--rt_signals.adb218logplain
-rw-r--r--scalar_mode_agg_compare.adb571logplain
-rw-r--r--scalar_mode_agg_compare_loop.adb404logplain
-rw-r--r--scos1.adb770logplain
-rw-r--r--sec_stack1.adb764logplain
-rw-r--r--sec_stack2.adb3129logplain
-rw-r--r--self.adb453logplain
-rw-r--r--self.ads574logplain
-rw-r--r--self_aggregate_with_array.adb396logplain
-rw-r--r--self_aggregate_with_call.adb579logplain
-rw-r--r--self_aggregate_with_pointer.adb484logplain
-rw-r--r--self_aggregate_with_zeros.adb382logplain
-rw-r--r--self_ref1.adb288logplain
-rw-r--r--set_in_pproc.adb368logplain
-rw-r--r--sets1.adb16210logplain
-rw-r--r--show_deques_priority.adb168logplain
-rw-r--r--size_attribute.adb151logplain
-rw-r--r--size_clause1.adb271logplain
-rw-r--r--sizetype1.adb273logplain
-rw-r--r--sizetype2.adb576logplain
-rw-r--r--sizetype3.adb409logplain
-rw-r--r--sizetype3.ads188logplain
-rw-r--r--sizetype3_pkg.ads127logplain
-rw-r--r--sizetype4.adb489logplain
-rw-r--r--slice1.adb485logplain
-rw-r--r--slice10.adb511logplain
-rw-r--r--slice2.adb206logplain
-rw-r--r--slice2.ads217logplain
-rw-r--r--slice3.adb517logplain
-rw-r--r--slice4.adb581logplain
-rw-r--r--slice5.adb680logplain
-rw-r--r--slice6.adb350logplain
-rw-r--r--slice6_pkg.ads387logplain
-rw-r--r--slice7.adb1055logplain
-rw-r--r--slice7_pkg.ads149logplain
-rw-r--r--slice8.adb177logplain
-rw-r--r--slice8_pkg1.ads99logplain
-rw-r--r--slice8_pkg2.ads457logplain
-rw-r--r--slice8_pkg3.adb391logplain
-rw-r--r--slice8_pkg3.ads154logplain
-rw-r--r--slice9.adb297logplain
-rw-r--r--slice_enum.adb131logplain
-rw-r--r--small_alignment.adb436logplain
-rw-r--r--socket1.adb319logplain
-rw-r--r--socket2.adb517logplain
-rw-r--r--sort1.adb778logplain
-rw-r--r--sort1.ads64logplain
-rw-r--r--sort2.adb155logplain
-rw-r--r--source_ref1.adb85logplain
-rw-r--r--source_ref2.adb124logplain
-rw-r--r--spark1.adb464logplain
-rw-r--r--spark1.ads145logplain
-rw-r--r--spark2.adb258logplain
-rw-r--r--spark2.ads532logplain
-rw-r--r--spark3.adb357logplain
d---------specs8561logplain
-rw-r--r--spipaterr.adb292logplain
-rw-r--r--split_args.adb275logplain
-rw-r--r--sse_nolib.adb1287logplain
d---------sso2550logplain
-rw-r--r--sso1.adb2010logplain
-rw-r--r--sso10.adb175logplain
-rw-r--r--sso10_pkg.ads167logplain
-rw-r--r--sso12.adb483logplain
-rw-r--r--sso13.adb966logplain
-rw-r--r--sso14.adb1297logplain
-rw-r--r--sso15.adb1276logplain
-rw-r--r--sso16.adb961logplain
-rw-r--r--sso2.adb234logplain
-rw-r--r--sso2.ads298logplain
-rw-r--r--sso3.adb1167logplain
-rw-r--r--sso4.adb1195logplain
-rw-r--r--sso5.adb1134logplain
-rw-r--r--sso6.adb1193logplain
-rw-r--r--sso7.adb1134logplain
-rw-r--r--sso8.adb257logplain
-rw-r--r--sso8_pkg.ads785logplain
-rw-r--r--sso9.adb138logplain
-rw-r--r--sso9_pkg.ads311logplain
-rw-r--r--stack_check1.adb767logplain
-rw-r--r--stack_check2.adb851logplain
-rw-r--r--stack_check3.adb675logplain
-rw-r--r--stack_check3.ads63logplain
-rw-r--r--stack_usage1.adb2099logplain
-rw-r--r--stack_usage1_pkg.ads242logplain
-rw-r--r--stack_usage1b.adb2104logplain
-rw-r--r--stack_usage1c.adb2105logplain
-rw-r--r--stack_usage2.adb527logplain
-rw-r--r--stack_usage3.adb913logplain
-rw-r--r--stack_usage3_pkg.ads147logplain
-rw-r--r--stack_usage4.adb235logplain
-rw-r--r--stack_usage4_pkg.ads269logplain
-rw-r--r--stack_usage5.adb198logplain
-rw-r--r--stack_usage6.adb242logplain
-rw-r--r--stack_usage6_pkg.ads369logplain
-rw-r--r--static_pred1.adb426logplain
-rw-r--r--static_pred1.ads104logplain
-rw-r--r--statically_matching.ads244logplain
-rw-r--r--storage_size1.adb397logplain
-rw-r--r--str1.adb313logplain
-rw-r--r--string_comparison.adb208logplain
-rw-r--r--string_merge1.adb415logplain
-rw-r--r--string_merge2.adb427logplain
-rw-r--r--string_slice.adb339logplain
-rw-r--r--string_slice2.adb492logplain
-rw-r--r--subp_elim_errors.adb621logplain
-rw-r--r--subp_elim_errors.ads115logplain
-rw-r--r--subp_inst.adb747logplain
-rw-r--r--subp_inst_pkg.adb598logplain
-rw-r--r--subp_inst_pkg.ads248logplain
-rw-r--r--subpools1.adb2334logplain
-rw-r--r--suppress_initialization.adb167logplain
-rw-r--r--suppress_initialization2.adb101logplain
-rw-r--r--suppress_initialization2.ads279logplain
-rw-r--r--suppress_initialization_pkg.ads675logplain
-rw-r--r--sync1.adb273logplain
-rw-r--r--sync1.ads319logplain
-rw-r--r--sync2.adb436logplain
-rw-r--r--sync2.ads118logplain
-rw-r--r--sync_iface_call.adb594logplain
-rw-r--r--sync_iface_call_pkg.ads505logplain
-rw-r--r--sync_iface_call_pkg2.adb120logplain
-rw-r--r--sync_iface_call_pkg2.ads148logplain
-rw-r--r--sync_iface_test.adb414logplain
-rw-r--r--sync_iface_test.ads320logplain
-rw-r--r--synchronized1.adb326logplain
-rw-r--r--synchronized1.ads170logplain
-rw-r--r--synchronized2.adb162logplain
-rw-r--r--synchronized2.ads132logplain
-rw-r--r--synchronized2_pkg.ads104logplain
-rw-r--r--system_info1.adb842logplain
-rw-r--r--taft_type1.adb102logplain
-rw-r--r--taft_type1_pkg1.adb448logplain
-rw-r--r--taft_type1_pkg1.ads183logplain
-rw-r--r--taft_type1_pkg2.ads138logplain
-rw-r--r--taft_type2.adb315logplain
-rw-r--r--taft_type2.ads59logplain
-rw-r--r--taft_type2_pkg.ads157logplain
-rw-r--r--taft_type3.adb505logplain
-rw-r--r--taft_type3_pkg.ads125logplain
-rw-r--r--taft_type4.adb154logplain
-rw-r--r--taft_type4_pkg.adb257logplain
-rw-r--r--taft_type4_pkg.ads177logplain
-rw-r--r--tag1.adb450logplain
-rw-r--r--tag2.adb500logplain
-rw-r--r--tag2_pkg.ads455logplain
-rw-r--r--tagged1.adb88logplain
-rw-r--r--tagged1.ads917logplain
-rw-r--r--tagged2.adb147logplain
-rw-r--r--tagged2.ads165logplain
-rw-r--r--tagged3.adb1032logplain
-rw-r--r--tagged3_pkg.adb252logplain
-rw-r--r--tagged3_pkg.ads241logplain
-rw-r--r--tagged4.adb665logplain
-rw-r--r--tagged5.adb116logplain
-rw-r--r--tagged5.ads357logplain
-rw-r--r--tagged_alloc_free.adb560logplain
-rw-r--r--tagged_prefix_call.adb580logplain
-rw-r--r--tagged_type_pkg.adb515logplain
-rw-r--r--tagged_type_pkg.ads248logplain
-rw-r--r--tail_call.adb159logplain
-rw-r--r--tail_call_p.adb698logplain
-rw-r--r--tail_call_p.ads217logplain
-rw-r--r--tampering_check1.adb270logplain
-rw-r--r--tampering_check1_ivectors.ads118logplain
-rw-r--r--tampering_check1_trim.adb242logplain
-rw-r--r--tampering_check1_trim.ads114logplain
-rw-r--r--task1.adb85logplain
-rw-r--r--task1.ads218logplain
-rw-r--r--task1_pkg.adb150logplain
-rw-r--r--task1_pkg.ads251logplain
-rw-r--r--task2.adb130logplain
-rw-r--r--task2_pkg.adb92logplain
-rw-r--r--task2_pkg.ads100logplain
-rw-r--r--task3.adb265logplain
-rw-r--r--task3.ads272logplain
-rw-r--r--task3_pkg1.ads283logplain
-rw-r--r--task3_pkg2.ads178logplain
-rw-r--r--task4.adb282logplain
-rw-r--r--task5.adb651logplain
-rw-r--r--task_name.adb122logplain
-rw-r--r--task_name.ads750logplain
-rw-r--r--task_stack_align.adb704logplain
-rw-r--r--test_8bitlong_overflow.adb513logplain
-rw-r--r--test_address_null_init.adb397logplain
-rw-r--r--test_ai254.adb270logplain
-rw-r--r--test_allocator_maxalign2.adb125logplain
-rw-r--r--test_bip_no_alloc.adb580logplain
-rw-r--r--test_bounded.adb274logplain
-rw-r--r--test_call.adb599logplain
-rw-r--r--test_casesi.adb147logplain
-rw-r--r--test_debug1.adb134logplain
-rw-r--r--test_delay.adb129logplain
-rw-r--r--test_direct_io.adb243logplain
-rw-r--r--test_dse_step.adb291logplain
-rw-r--r--test_enum_io.adb604logplain
-rw-r--r--test_equal1.adb354logplain
-rw-r--r--test_ext1.adb117logplain
-rw-r--r--test_fixed_io.adb852logplain
-rw-r--r--test_iface_aggr.adb1174logplain
-rw-r--r--test_ifaces.adb215logplain
-rw-r--r--test_image.adb149logplain
-rw-r--r--test_image_p.adb670logplain
-rw-r--r--test_image_p.ads744logplain
-rw-r--r--test_nested_subtype_byref.adb150logplain
-rw-r--r--test_oalign.adb339logplain
-rw-r--r--test_oconst.adb306logplain
-rw-r--r--test_prefix1.adb273logplain
-rw-r--r--test_prio.adb418logplain
-rw-r--r--test_prio_p.adb187logplain
-rw-r--r--test_prio_p.ads479logplain
-rw-r--r--test_raise_from_pure.adb316logplain
-rw-r--r--test_rational_arithmetic.adb418logplain
-rw-r--r--test_self.adb259logplain
-rw-r--r--test_self_ref.adb845logplain
-rw-r--r--test_table1.adb820logplain
-rw-r--r--test_tables.adb203logplain
-rw-r--r--test_time_stamp.adb801logplain
-rw-r--r--test_unknown_discrs.adb606logplain
-rw-r--r--test_version.adb348logplain
-rw-r--r--testint.adb318logplain
-rw-r--r--tf_interface_1.adb199logplain
-rw-r--r--tf_interface_1.ads655logplain
-rw-r--r--tfren.adb780logplain
-rw-r--r--thin_pointer1.adb234logplain
-rw-r--r--thin_pointer1.ads432logplain
-rw-r--r--thin_pointer2.adb230logplain
-rw-r--r--thin_pointer2_pkg.adb350logplain
-rw-r--r--thin_pointer2_pkg.ads169logplain
-rw-r--r--timer_cancel.adb844logplain
-rw-r--r--tls1.adb1066logplain
-rw-r--r--tls1_pkg.ads567logplain
-rw-r--r--trampoline1.adb377logplain
-rw-r--r--trampoline2.adb439logplain
-rw-r--r--trampoline3.adb382logplain
-rw-r--r--trampoline4.adb470logplain
-rw-r--r--tree_static_def.adb160logplain
-rw-r--r--tree_static_def.ads177logplain
-rw-r--r--tree_static_use.adb164logplain
-rw-r--r--type_conv.adb275logplain
-rw-r--r--type_conv2.adb376logplain
-rw-r--r--type_conv2.ads244logplain
-rw-r--r--unaligned_rep_clause.adb689logplain
-rw-r--r--unc.adb602logplain
-rw-r--r--unc_memfree.adb865logplain
-rw-r--r--unc_memops.adb1359logplain
-rw-r--r--unc_memops.ads948logplain
-rw-r--r--unchecked_convert1.adb687logplain
-rw-r--r--unchecked_convert10.adb878logplain
-rw-r--r--unchecked_convert11.adb936logplain
-rw-r--r--unchecked_convert12.adb932logplain
-rw-r--r--unchecked_convert13.adb531logplain
-rw-r--r--unchecked_convert14.adb845logplain
-rw-r--r--unchecked_convert2.adb854logplain
-rw-r--r--unchecked_convert3.adb355logplain
-rw-r--r--unchecked_convert4.adb408logplain
-rw-r--r--unchecked_convert5.adb396logplain
-rw-r--r--unchecked_convert5b.adb403logplain
-rw-r--r--unchecked_convert6.adb396logplain
-rw-r--r--unchecked_convert6b.adb403logplain
-rw-r--r--unchecked_convert7.adb653logplain
-rw-r--r--unchecked_convert8.adb631logplain
-rw-r--r--unchecked_convert8.ads76logplain
-rw-r--r--unchecked_convert9.adb287logplain
-rw-r--r--unchecked_convert9.ads365logplain
-rw-r--r--unchecked_union1.adb409logplain
-rw-r--r--unchecked_union2.adb944logplain
-rw-r--r--unchecked_union3.adb963logplain
-rw-r--r--uninit_array.adb386logplain
-rw-r--r--uninit_array.ads79logplain
-rw-r--r--uninit_array_pkg.ads206logplain
-rw-r--r--uninit_func.adb268logplain
-rw-r--r--unreferenced.adb230logplain
-rw-r--r--unreferenced2.adb553logplain
-rw-r--r--unroll1.adb806logplain
-rw-r--r--unroll1.ads175logplain
-rw-r--r--unroll2.adb622logplain
-rw-r--r--unroll2.ads175logplain
-rw-r--r--unroll3.adb619logplain
-rw-r--r--unroll3.ads175logplain
-rw-r--r--unroll4.adb617logplain
-rw-r--r--unroll4.ads211logplain
-rw-r--r--unroll4_pkg.ads73logplain
-rw-r--r--valid1.adb460logplain
-rw-r--r--valid4.adb195logplain
-rw-r--r--valid4_pkg.adb450logplain
-rw-r--r--valid4_pkg.ads254logplain
-rw-r--r--valid_scalars1.adb209logplain
-rw-r--r--valid_scalars2.adb505logplain
-rw-r--r--validity_check.adb274logplain
-rw-r--r--validity_check2.adb251logplain
-rw-r--r--validity_check2_pkg.ads341logplain
-rw-r--r--validity_check3.adb3718logplain
-rw-r--r--validity_check3.ads3011logplain
-rw-r--r--valued_proc.adb259logplain
-rw-r--r--valued_proc_pkg.ads443logplain
-rw-r--r--varsize1.adb552logplain
-rw-r--r--varsize2.adb458logplain
-rw-r--r--varsize2.ads621logplain
-rw-r--r--varsize3_1.adb66logplain
-rw-r--r--varsize3_1.ads142logplain
-rw-r--r--varsize3_2.adb143logplain
-rw-r--r--varsize3_3.adb136logplain
-rw-r--r--varsize3_4.adb139logplain
-rw-r--r--varsize3_5.adb142logplain
-rw-r--r--varsize3_6.adb138logplain
-rw-r--r--varsize3_pkg1.ads248logplain
-rw-r--r--varsize3_pkg2.ads86logplain
-rw-r--r--varsize3_pkg3.ads164logplain
-rw-r--r--vect1.adb2797logplain
-rw-r--r--vect1.ads1558logplain
-rw-r--r--vect10.adb623logplain
-rw-r--r--vect10.ads326logplain
-rw-r--r--vect11.adb746logplain
-rw-r--r--vect11.ads330logplain
-rw-r--r--vect12.adb629logplain
-rw-r--r--vect12.ads252logplain
-rw-r--r--vect13.adb627logplain
-rw-r--r--vect13.ads252logplain
-rw-r--r--vect14.adb617logplain
-rw-r--r--vect15.adb387logplain
-rw-r--r--vect15.ads163logplain
-rw-r--r--vect16.adb454logplain
-rw-r--r--vect16.ads169logplain
-rw-r--r--vect17.adb399logplain
-rw-r--r--vect17.ads179logplain
-rw-r--r--vect18.adb432logplain
-rw-r--r--vect18.ads167logplain
-rw-r--r--vect1_pkg.ads98logplain
-rw-r--r--vect2.adb2797logplain
-rw-r--r--vect2.ads1599logplain
-rw-r--r--vect2_pkg.ads100logplain
-rw-r--r--vect3.adb2797logplain
-rw-r--r--vect3.ads1664logplain
-rw-r--r--vect3_pkg.ads165logplain
-rw-r--r--vect4.adb2947logplain
-rw-r--r--vect4.ads1753logplain
-rw-r--r--vect4_pkg.ads98logplain
-rw-r--r--vect5.adb2947logplain
-rw-r--r--vect5.ads1796logplain
-rw-r--r--vect5_pkg.ads100logplain
-rw-r--r--vect6.adb2947logplain
-rw-r--r--vect6.ads1859logplain
-rw-r--r--vect6_pkg.ads165logplain
-rw-r--r--vect7.adb328logplain
-rw-r--r--vect7.ads319logplain
-rw-r--r--vect8.adb236logplain
-rw-r--r--vect8.ads164logplain
-rw-r--r--vect9.adb980logplain
-rw-r--r--vect9.ads230logplain
-rw-r--r--vect9_pkg.ads522logplain
-rw-r--r--vfa1_1.adb1314logplain
-rw-r--r--vfa1_2.adb1206logplain
-rw-r--r--vfa1_3.adb1253logplain
-rw-r--r--vfa1_4.adb1235logplain
-rw-r--r--vfa1_pkg.ads954logplain
-rw-r--r--view_conversion1.adb1105logplain
-rw-r--r--volatile1.ads447logplain
-rw-r--r--volatile10.adb139logplain
-rw-r--r--volatile10_pkg.ads537logplain
-rw-r--r--volatile11.adb1051logplain
-rw-r--r--volatile11_pkg.adb699logplain
-rw-r--r--volatile11_pkg.ads475logplain
-rw-r--r--volatile12.adb115logplain
-rw-r--r--volatile12.ads136logplain
-rw-r--r--volatile13.adb231logplain
-rw-r--r--volatile13.ads495logplain
-rw-r--r--volatile2.adb472logplain
-rw-r--r--volatile2.ads267logplain
-rw-r--r--volatile3.adb285logplain
-rw-r--r--volatile4.adb323logplain
-rw-r--r--volatile5.adb172logplain
-rw-r--r--volatile5_pkg.ads156logplain
-rw-r--r--volatile6.adb318logplain
-rw-r--r--volatile7.adb380logplain
-rw-r--r--volatile8.adb379logplain
-rw-r--r--volatile9.adb353logplain
-rw-r--r--volatile_aggregate.adb676logplain
-rw-r--r--warn1.adb288logplain
-rw-r--r--warn10.adb226logplain
-rw-r--r--warn10.ads194logplain
-rw-r--r--warn10_pkg.ads281logplain
-rw-r--r--warn11.adb438logplain
-rw-r--r--warn13.adb274logplain
-rw-r--r--warn14.adb1001logplain
-rw-r--r--warn15-core-main.adb202logplain
-rw-r--r--warn15-core.ads65logplain
-rw-r--r--warn15-interfaces.ads53logplain
-rw-r--r--warn15.ads30logplain
-rw-r--r--warn16.adb914logplain
-rw-r--r--warn17.adb492logplain
-rw-r--r--warn18.adb299logplain
-rw-r--r--warn19.adb335logplain
-rw-r--r--warn19.ads105logplain
-rw-r--r--warn19_pkg.ads117logplain
-rw-r--r--warn2.adb413logplain
-rw-r--r--warn20.adb190logplain
-rw-r--r--warn20_pkg.adb209logplain
-rw-r--r--warn20_pkg.ads146logplain
-rw-r--r--warn21.adb120logplain
-rw-r--r--warn21.ads445logplain
-rw-r--r--warn22.adb526logplain
-rw-r--r--warn23.adb263logplain
-rw-r--r--warn24.adb265logplain
-rw-r--r--warn25.adb568logplain
-rw-r--r--warn26.adb482logplain
-rw-r--r--warn27.adb334logplain
-rw-r--r--warn28.adb725logplain
-rw-r--r--warn28.ads189logplain
-rw-r--r--warn29.adb199logplain
-rw-r--r--warn29.ads100logplain
-rw-r--r--warn3.adb398logplain
-rw-r--r--warn30.adb215logplain
-rw-r--r--warn30.ads166logplain
-rw-r--r--warn31.adb125logplain
-rw-r--r--warn31.ads360logplain
-rw-r--r--warn32.adb534logplain
-rw-r--r--warn4.adb847logplain
-rw-r--r--warn5.adb835logplain
-rw-r--r--warn6.adb228logplain
-rw-r--r--warn6.ads219logplain
-rw-r--r--warn7.adb247logplain
-rw-r--r--warn8.adb123logplain
-rw-r--r--warn9.adb153logplain
-rw-r--r--weak2.adb124logplain
-rw-r--r--weak2.ads151logplain
-rw-r--r--weak3.adb211logplain
-rw-r--r--weak3.ads46logplain
-rw-r--r--wide_boolean.adb389logplain
-rw-r--r--wide_boolean_pkg.adb182logplain
-rw-r--r--wide_boolean_pkg.ads512logplain
-rw-r--r--wide_pi.adb117logplain
-rw-r--r--wide_test.adb348logplain
-rw-r--r--wide_wide_value1.adb2238logplain
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-05 01:37:09 +0000